Sciweavers

797 search results - page 47 / 160
» MODULA-2 and Its Compilation
Sort
View
DATE
2009
IEEE
101views Hardware» more  DATE 2009»
14 years 3 months ago
Static analysis to mitigate soft errors in register files
—With continuous technology scaling, soft errors are becoming an increasingly important design concern even for earth-bound applications. While compiler approaches have the poten...
Jongeun Lee, Aviral Shrivastava
TLDI
2003
ACM
108views Formal Methods» more  TLDI 2003»
14 years 1 months ago
Inferring annotated types for inter-procedural register allocation with constructor flattening
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
Torben Amtoft, Robert Muller
PEPM
1995
ACM
14 years 13 hour ago
Abstract Interpretation and Low-Level Code Optimization
Interpretation and Low-Level Code Optimization Saumya Debray Department of Computer Science University of Arizona Tucson, AZ 85715 Abstract interpretation is widely accepted as a ...
Saumya K. Debray
CSE
2008
IEEE
13 years 8 months ago
Provenance: The Bridge Between Experiments and Data
to compile abstract experiment designs into enactable workflows that utilise the best available resources. The automation of this step and of the workflow enactment, hides the deta...
Simon Miles, Paul T. Groth, Ewa Deelman, Karan Vah...
CORR
2000
Springer
110views Education» more  CORR 2000»
13 years 8 months ago
Finite-State Non-Concatenative Morphotactics
Finite-state morphology in the general tradition of the Two-Level and Xerox implementations has proved very successful in the production of robust morphological analyzer-generator...
Kenneth R. Beesley, Lauri Karttunen