3708 search results - page 399 / 742 » Programming with C Exceptions |
184
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...
185
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...
200
click to vote
CEFP
2007
Springer
16 years 1 months 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....
144
click to vote
EUROPAR
2007
Springer
16 years 1 months 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...
192
click to vote
VMCAI
2007
Springer
16 years 1 months 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...