4323 search results - page 337 / 865 » Callback Implementations in C |
145
Voted
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...
165
Voted
ICESS
2007
Springer
16 years 1 months ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
200
click to vote
PADL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract The Haskell String type is notoriously inefficient. We introduce a new data type, ByteString, based on lazy lists of byte arrays, combining the speed benefits of strict a...
176
click to vote
SSS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We study the problem of global predicate detection in presence of permanent and transient failures. We term the transient failures as small faults. We show that it is imp...
195
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...