7961 search results - page 299 / 1593 » Input-Output Model Programs |
148
click to vote
HPCC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a...
150
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
146
click to vote
ECAL
2007
Springer
15 years 10 months ago
2007
Springer
The Bare Bones language is a programming language with a minimal set of operations that exhibits universal computation. We present a conceptual framework, Chemical Bare Bones, to c...
158
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
SBT is portable library and tool for on-line debugging and performance monitoring of shared-memory parallel programs using the single-program-multiple-data (SPMD) model of paralle...
110
click to vote
ICFP
1999
ACM
15 years 8 months ago
1999
ACM
The increasing popularity of component-based programming tools offer a big opportunity to designers of advanced programming languages, such as Haskell. If we can package our progr...