2227 search results - page 72 / 446 » Reversibility and Models for Concurrency |
CONCUR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
POS
1998
Springer
14 years 2 months ago
1998
Springer
Concurrency is a central pillar of the Java programming language, is implicit in the transactional model of computation adopted by most persistent systems, and has been widely stu...
FASE
2005
Springer
14 years 3 months ago
2005
Springer
Scenarios are a popular means for capturing behavioural requirements of software systems early in the lifecycle. Scenarios show how components interact to provide system level func...
ENTCS
2006
13 years 10 months ago
2006
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...
CODES
2002
IEEE
14 years 3 months ago
2002
IEEE
Design for performance-optimization of programmable, semicustom SoCs requires the ability to model and optimize the behavior of the system as a whole. Neither the hardware-testben...