3307 search results - page 32 / 662 » The meaning of concurrent programs |
ISORC
2002
IEEE
14 years 3 months ago
2002
IEEE
Object-oriented, concurrent, and event-based programming models provide a natural framework in which to express the behavior of distributed and embedded software systems. However,...
CAV
2009
Springer
14 years 11 months ago
2009
Springer
Active testing has recently been introduced to effectively test concurrent programs. Active testing works in two phases. It first uses predictive off-the-shelf static or dynamic pr...
CP
2001
Springer
14 years 3 months ago
2001
Springer
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...
NJC
2002
13 years 10 months ago
2002
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...
JMLC
2000
Springer
14 years 2 months ago
2000
Springer
An enhancement to modular languages called module embedding facilitates the development and utilization of secure generic parallel algorithms.