768 search results - page 104 / 154 » Symbolic and Abstract Interpretation for C C Programs |
166
click to vote
CC
2004
Springer
15 years 10 months ago
2004
Springer
When a compiler translates a procedure, it must lay out the procedure’s stack frame in a way that respects the calling convention. Many compilers respect the convention either by...
137
click to vote
PPOPP
1995
ACM
15 years 8 months ago
1995
ACM
paper we describe d/streams, a language-independent abstraction with a small set of simple primitives for buffered I/O on distributed data-structures. We describe the interface an...
130
Voted
EUROPAR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We describe compiler and run-time optimisations for effective autoparallelisation of C++ programs on the Cell BE architecture. Auto-parallelisation is made easier by anno...
157
click to vote
FAC
2000
15 years 5 months ago
2000
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
141
click to vote
AOSD
2005
ACM
15 years 10 months ago
2005
ACM
Improving the structure of code can help developers work with a software system more efficiently and more consistently. To aid developers in re-structuring the implementation of c...