Andreas Krall

Proceedings of the 2013 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, 2013

Optimal and Heuristic Global Code Motion for Minimal Spilling.

[BibT_eX]

[DOI]

Gergö Barany

Proceedings of the Compiler Construction - 22nd International Conference, 2013

2012

Special Issue: Compilers for Parallel Computing (CPC 2010).

[BibT_eX]

[DOI]

Gergö Barany

Concurr. Comput. Pract. Exp., 2012

Using Semantic Relatedness and Locality for Requirements Elicitation Guidance.

[BibT_eX]

Stefan Farfeleder

Thomas Moser

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

A Unified Processor Model for Compiler Verification and Simulation Using ASM.

[BibT_eX]

[DOI]

Roland Lezuo

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

Modeling application-specific processors for embedded systems.

[BibT_eX]

[DOI]

Viktor Pavlu

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

Ontology-Driven Guidance for Requirements Elicitation.

[BibT_eX]

[DOI]

Proceedings of the Semanic Web: Research and Applications, 2011

DODT: Increasing requirements formalism using domain ontologies for improved embedded systems development.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2011

2010

DSP Instruction Set Simulation.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Signal Processing Systems, 2010

2009

Stack allocation of objects in the CACAO virtual machine.

[BibT_eX]

[DOI]

Peter Molnar

Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 2009

Progressive spill code placement.

[BibT_eX]

[DOI]

Dietmar Ebner

Bernhard Scholz

Proceedings of the 2009 International Conference on Compilers, 2009

2008

Generalized instruction selection using <i>SSA</i>-graphs.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, 2008

08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation.

[BibT_eX]

[DOI]

Proceedings of the Emerging Uses and Paradigms for Dynamic Binary Translation, 26.10., 2008

2007

Compiler optimizations for processors with SIMD instructions.

[BibT_eX]

[DOI]

Ivan Pryanishnikov

Softw. Pract. Exp., 2007

Ultra fast cycle-accurate compiled emulation of inorder pipelined architectures.

[BibT_eX]

[DOI]

Stefan Farfeleder

J. Syst. Archit., 2007

Instruction Set Encoding Optimization for Code Size Reduction.

[BibT_eX]

[DOI]

Michael Med

Proceedings of the 2007 International Conference on Embedded Computer Systems: Architectures, 2007

Adaptive inlining and on-stack replacement in the CACAO virtual machine.

[BibT_eX]

[DOI]

Edwin Steiner

Christian Thalinger

Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, 2007

Leveraging Predicated Execution for Multimedia Processing.

[BibT_eX]

[DOI]

Dietmar Ebner

Proceedings of the 2007 5th Workshop on Embedded Systems for Real-Time Multimedia, 2007

Compiler generation from structural architecture descriptions.

[BibT_eX]

[DOI]

Dietmar Ebner

Proceedings of the 2007 International Conference on Compilers, 2007

Optimizations for Object-Oriented Languages.

[BibT_eX]

Proceedings of the Compiler Design Handbook: Optimizations and Machine Code Generation, 2007

2006

Effective compiler generation by architecture description.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, 2006

2005

Control Flow Graph Reconstruction for Assembly Language Programs with Delayed Instructions.

[BibT_eX]

[DOI]

Nerina Bermudo

Proceedings of the 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2005), 30 September, 2005

2004

xDSPcore: A Compiler-Based Configurable Digital Signal Processor.

[BibT_eX]

[DOI]

IEEE Micro, 2004

FSEL - Selective Predicated Execution for a Configurable DSP Core.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2004), 2004

A scalable embedded DSP core for SoC applications.

[BibT_eX]

[DOI]

Proceedings of the 2004 International Symposium on System-on-Chip, 2004

2003

Graph Coloring vs. Optimal Register Allocation for Optimizing Compilers.

[BibT_eX]

[DOI]

Ulrich Hirnschrott

Bernhard Scholz

Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2003

VLIW operation refinement for reducing energy consumption.

[BibT_eX]

[DOI]

Ulrich Hirnschrott

Proceedings of the 2003 International Symposium on System-on-Chip, 2003

2002

Vmgen - a generator of efficient virtual machine interpreters.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2002

Supporting Design by Contract in Java.

[BibT_eX]

[DOI]

Martin Lackner

Franz Puntigam

J. Object Technol., 2002

[BibT_eX]

[DOI]

Mark Probst

Bernhard Scholz

Proceedings of the 9th Working Conference on Reverse Engineering (WCRE 2002), 28 October, 2002

Optimizations for Object-Oriented Languages.

[BibT_eX]

[DOI]

Proceedings of the Compiler Design Handbook: Optimizations and Machine Code Generation, 2002

2001

Java for Large-Scale Scientific Computations?

[BibT_eX]

[DOI]

Philipp Tomsich

Proceedings of the Large-Scale Scientific Computing, Third International Conference, 2001

Implementing an Efficient Java Interpreter.

[BibT_eX]

[DOI]

David Gregg

Proceedings of the High-Performance Computing and Networking, 9th International Conference, 2001

2000

Compilation Techniques for Multimedia Processors.

[BibT_eX]

[DOI]

Sylvain Lelait

Int. J. Parallel Program., 2000

1999

Minimizing Cost of Local Variables Access for DSP-Processors.

[BibT_eX]

[DOI]

Erik Eckstein

Proceedings of the ACM SIGPLAN 1999 Workshop on Languages, 1999

Garbage Collection for Large Memory JAVA Applications.

[BibT_eX]

[DOI]

Philipp Tomsich

Proceedings of the High-Performance Computing and Networking, 7th International Conference, 1999

1998

Monitors and Exceptions: How to Implement Java Efficiently.

[BibT_eX]

[DOI]

Mark Probst

Concurr. Pract. Exp., 1998

Efficient JavaVM Just-in-Time Compilation.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, 1998

1997

CACAO - A 64-bit JavaVM Just-in-Time Compiler.

[BibT_eX]

[DOI]

Reinhard Grafl

Concurr. Pract. Exp., 1997

Efficient Type Inclusion Tests.

[BibT_eX]

[DOI]

Jan Vitek

Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1997

On Extending Java.

[BibT_eX]

[DOI]

Jan Vitek

Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 1997

Near Optimal Hierarchical Encoding of Types.

[BibT_eX]

[DOI]

Jan Vitek

Proceedings of the ECOOP'97, 1997

1996

The Vienna Abstract Machine.

[BibT_eX]

[DOI]

J. Log. Program., 1996

Removing Anti Dependences by Repairing.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 6th International Conference, 1996

1995

Trace software pipelining.

[BibT_eX]

[DOI]

Jian Wang

J. Comput. Sci. Technol., 1995

Incremental Global Compilation of Prolog with the Vienna Abstract Machine.

[BibT_eX]

Thomas Berger

Proceedings of the Logic Programming, 1995

High-Level Constraints over Finite Domains.

[BibT_eX]

[DOI]

Proceedings of the Constraint Processing, Selected Papers, 1995

Decomposed software pipelining with reduced register requirement.

[BibT_eX]

[DOI]

Jian Wang

Proceedings of the IFIP WG10.3 working conference on Parallel architectures and compilation techniques, 1995

1994

Implementation techniques for Prolog.

[BibT_eX]

Proceedings of the Tenth Logic Programming Workshop, 1994

A Progress Report on Incremental Global Compilation of Prolog.

[BibT_eX]

Thomas Berger

Proceedings of the ILPS 1994, 1994

Dependence-Conscious Global Register Allocation.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and System Architectures, 1994

Improving Semi-static Branch Prediction by Code Replication.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), 1994

Software pipelining with register allocation and spilling.

[BibT_eX]

[DOI]

Proceedings of the 27th Annual International Symposium on Microarchitecture, San Jose, California, USA, November 30, 1994

Trace Software Pipelining: A Novel Technique for Parallelization of Loops with Branches.

[BibT_eX]

[DOI]

Proceedings of the Parallel Architectures and Compilation Techniques, 1994

Delayed Exceptions - Speculative Execution of Trapping Instructions.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 5th International Conference, 1994

1993

Benutzerdefinierte Constraints.

[BibT_eX]

Proceedings of the 9. Workshop Logische Programmierung, 1993

1992

Fast Prolog with VAM1p based Prolog Compiler.

[BibT_eX]

[DOI]

Thomas Berger

Proceedings of the Programming Language Implementation and Logic Programming, 1992

Instruction Scheduling for Complex Pipelines.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 1992

1991

Optimal Instruction Scheduling using Constraint Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1991

1990

The Vienna Abstract Machine.

[BibT_eX]

[DOI]

Ulrich Neumerkel

Proceedings of the Programming Language Implementation and Logic Programming, 1990

1987

Implementation of a high-speed Prolog interpreter.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24, 1987

VIP: Eine integrierte Programmierumgebung für Prolog.

[BibT_eX]

[DOI]

Eva Kühn

Proceedings of the 3. Österreichische Artificial Intelligence-Tagung, 1987

1985

PEG - Ein Programmierumgebungsgenerator.

[BibT_eX]

[DOI]