7099 search results - page 55 / 1420 » Context for models of concurrency |
SIGSOFT
2007
ACM
14 years 10 months ago
2007
ACM
Concurrency bugs are becoming increasingly important due to the prevalence of concurrent programs. A fundamental problem of concurrent program bug detection and testing is that th...
CSL
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
KES
2000
Springer
14 years 1 months ago
2000
Springer
This paper presents an open, concurrent model of adaptive hypermedia all its functionality and data are completely distributed on a web of autonomous actors. The model that enable...
LICS
1994
IEEE
14 years 2 months ago
1994
IEEE
We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way. In the spirit of pro...
RV
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Concurrent trace programs (CTPs) are slices of the concurrent programs that generate the concrete program execution traces, where inter-thread event order specific to th...