Sciweavers

748 search results - page 33 / 150
» concurrency 2008
Sort
View
81
Voted
TOPLAS
1998
55views more  TOPLAS 1998»
15 years 10 days ago
Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules
Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata
TON
2002
75views more  TON 2002»
15 years 10 days ago
Concurrent round-robin-based dispatching schemes for Clos-network switches
Eiji Oki, Zhigang Jing, Roberto Rojas-Cessa, H. Jo...
TSE
2002
54views more  TSE 2002»
15 years 10 days ago
Incremental Integration Testing of Concurrent Programs
Pramod V. Koppol, Richard H. Carver, Kuo-Chung Tai
102
Voted
TSE
2002
85views more  TSE 2002»
15 years 10 days ago
Knowledge-Based Automation of a Design Method for Concurrent Systems
Kevin L. Mills, Hassan Gomaa
55
Voted
SIGOPS
2010
71views more  SIGOPS 2010»
14 years 11 months ago
Scalable concurrent hash tables via relativistic programming
Josh Triplett, Paul E. McKenney, Jonathan Walpole