619 search results - page 111 / 124 » The Design and Implementation of a Certifying Compiler |
EUROSYS
2007
ACM
14 years 5 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...
PPOPP
2010
ACM
14 years 3 months ago
2010
ACM
This paper presents an analytical model to predict the performance of general-purpose applications on a GPU architecture. The model is designed to provide performance information ...
PLDI
2009
ACM
14 years 3 months ago
2009
ACM
Software evolves to fix bugs and add features. Stopping and restarting programs to apply changes is inconvenient and often costly. Dynamic software updating (DSU) addresses this ...
PPOPP
2006
ACM
14 years 2 months ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...
SAC
2004
ACM
14 years 2 months ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...