800 search results - page 80 / 160 » Programming Models for Concurrency and Real-Time |
CONCURRENCY
2008
15 years 1 months ago
2008
Computational steering is a valuable mechanism for scientific investigation in which the parameters of a running program can be altered and the results visualized immediately. In ...
188
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
126
click to vote
GECCO
2007
Springer
15 years 5 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
105
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
The memory consistency model is a fundamental system property characterizing a multiprocessor. The relative merits of strict versus relaxed memory models have been widely debated ...
CAISE
1999
Springer
15 years 5 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...