Sciweavers

748 search results - page 31 / 150
» concurrency 2008
Sort
View
TCS
2008
15 years 6 months ago
Automatic generation of path conditions for concurrent timed systems
Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros...
SIMULATION
2002
107views more  SIMULATION 2002»
15 years 5 months ago
Concurrent Evaluation of Web Cache Replacement and Coherence Strategies
Adam Belloum, Louis O. Hertzberger
TCS
2002
15 years 5 months ago
Truly concurrent constraint programming
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat