2520 search results - page 314 / 504 » Model-checking behavioral programs |
159
click to vote
CL
2007
Springer
15 years 2 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
110
click to vote
JSS
2006
15 years 2 months ago
2006
Current software systems contain increasingly more elements that have not usually been considered in software engineering research and studies. Source artifacts, understood as the...
125
click to vote
TCS
2008
15 years 2 months ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
127
click to vote
PC
1998
15 years 2 months ago
1998
The difficulty of handling out-of-core data limits the performance of supercomputers as well as the potential of the parallel machines. Since writing an efficient out-of-core ve...
122
click to vote
ISOLA
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. Memory models of shared memory concurrent programs define the values a read of a shared memory location is allowed to see. Such memory models are typically weaker than t...