10870 search results - page 1765 / 2174 » Model Checking Programs |
159
click to vote
IPSN
2005
Springer
16 years 11 days ago
2005
Springer
Abstract— There is widespread agreement that a higher level programming model for sensor networks is needed. A variety of models have been developed, but the community is far fro...
187
click to vote
OOPSLA
2005
Springer
16 years 10 days ago
2005
Springer
Currently, the most adopted criterion to invoke garbage collection is heap space exhaustion. In other words, garbage collection is invoked when the heap space (either the entire s...
152
click to vote
SAMOS
2005
Springer
16 years 10 days 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...
179
click to vote
TARK
2005
Springer
16 years 10 days ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
232
Voted
BIRTHDAY
2004
Springer
16 years 7 days ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...