1304 search results - page 227 / 261 » Model Checking C Programs Using F-SOFT |
103
click to vote
SAMOS
2005
Springer
15 years 8 months ago
2005
Springer
—We describe the generation of the simulation environment for the Sandbridge Sandblaster multithreaded processor. The processor model is described using the Sandblaster architect...
135
click to vote
CLOUDCOM
2010
Springer
15 years 15 days ago
2010
Springer
-- The MapReduce programming model, introduced by Google, has become popular over the past few years as a mechanism for processing large amounts of data, using sharednothing parall...
138
click to vote
DEBS
2008
ACM
15 years 4 months ago
2008
ACM
Several new Complex Event Processing (CEP) engines have been recently released, many of which are intended to be used in performance sensitive scenarios - like fraud detection, tr...
152
click to vote
ISCA
2012
IEEE
13 years 4 months ago
2012
IEEE
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...
140
click to vote
AFP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...