891 search results - page 111 / 179 » Implementation, Compilation, Optimization of Object-Oriented... |
241
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
125
Voted
VLSID
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract Code optimization for digital signal processors DSPs has been identi ed as an important new topic in system-level design of embedded systems. Both DSP processors and algor...
130
click to vote
SBCCI
2004
ACM
15 years 9 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
132
click to vote
LCTRTS
1998
Springer
15 years 8 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
90
Voted
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Visibility is a property of a programming language’s memory model that determines when values stored by one concurrent computation become visible to other computations. Our work...