4604 search results - page 162 / 921 » Concurrency in Synchronous Systems |
118
click to vote
ICFP
2004
ACM
16 years 4 months ago
2004
ACM
This paper presents an approach to searching for deadlocks in Concurrent Haskell programs. The search is based on a redefinition of the IO monad which allows the reversal of Concu...
SIGOPSE
2000
ACM
15 years 8 months ago
2000
ACM
154
click to vote
RTCSA
2000
IEEE
15 years 8 months ago
2000
IEEE
In a real-time database system, it is difficult to meet all timing constraints due to the consistency requirements of the underlying database. However, when the transactions in t...
142
click to vote
KBSE
1997
IEEE
15 years 8 months ago
1997
IEEE
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
133
click to vote
MIC
2003
15 years 5 months ago
2003
The possibilities of studying nonlinear physical systems by small feedback action are discussed. Analytical bounds of possible system energy change by feedback are established. Th...