800 search results - page 35 / 160 » Programming Models for Concurrency and Real-Time |
ENTCS
2007
13 years 8 months ago
2007
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
ICFEM
2010
Springer
13 years 7 months ago
2010
Springer
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
ARES
1998
Springer
14 years 22 days ago
1998
Springer
Distributed programming environments commonly restrict programmers to one form of intercomponent interaction. This forces programmers to emulate other interaction styles in terms o...
HICSS
1997
IEEE
14 years 21 days ago
1997
IEEE
This paper describes ThreadMon, a monitoring tool for improving the performance of multithreaded programs, and how we have used it to examine various aspects of the many-to-many (...
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...