3404 search results - page 320 / 681 » C Programming Tutorial |
213
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
117
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
Software libraries rely increasingly on iterators to provide generic traversal of data structures. These iterators can be represented either as objects that maintain state or as p...
150
click to vote
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
124
Voted
IEEEPACT
2008
IEEE
15 years 9 months ago
2008
IEEE
Achieving good performance on a modern machine with a multi-level memory hierarchy, and in particular on a machine with software-managed memories, requires precise tuning of progr...
153
click to vote
CSMR
2007
IEEE
15 years 9 months ago
2007
IEEE
A dynamic object process graph is a view on the control flow graph from the perspective of a single object. It has been shown that such a graph can be a useful starting point for...