2227 search results - page 8 / 446 » Reversibility and Models for Concurrency |
FOSSACS
2006
Springer
14 years 1 months ago
2006
Springer
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
ICLP
2009
Springer
14 years 10 months ago
2009
Springer
In this paper, we study the modelization of biochemical reaction by using concurrent constraint programming idioms. In particular we will consider the stochastic concurrent constra...
ICFP
2004
ACM
14 years 9 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...
SIGMOD
2008
ACM
14 years 10 months ago
2008
ACM
Reverse skyline queries over uncertain databases have many important applications such as sensor data monitoring and business planning. Due to the existence of uncertainty in many...
WCNC
2008
IEEE
14 years 4 months ago
2008
IEEE
—Neighbors of both the transmitter and the receiver must keep quiet in a 802.11 wireless network as it requires bidirectional exchange, i.e., nodes reverse their roles as transmi...