3708 search results - page 399 / 742 » Programming with C Exceptions |
162
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
The ubiquity of multicore processors in commodity computing systems has raised a significant programming challenge for their effective use. An attractive but challenging approach...
162
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper argues that semantic information encoded in natural language identifiers is a largely neglected resource for program analysis. First we show that words in Java class n...
168
click to vote
CEFP
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. In this paper we sketch some experiments with the construction of a simple compiler for a high level intermediate lazy functional language, with C++ as a target language....
131
click to vote
EUROPAR
2007
Springer
16 years 26 days ago
2007
Springer
STL dictionaries like map and set are commonly used in C++ programs. We consider parallelizing two of their bulk operations, namely the construction from many elements, and the ins...
172
click to vote
VMCAI
2007
Springer
16 years 24 days ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...