Search Sciweavers | Sciweavers

748 search results - page 33 / 150

» concurrency 2008

122

click to vote

TOPLAS
1998

55views more TOPLAS 1998»

Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules

15 years 5 months ago

Download www.cparity.com

Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata

claim paper

Read More »

114

click to vote

TON
2002

75views more TON 2002»

Concurrent round-robin-based dispatching schemes for Clos-network switches

15 years 5 months ago

Download web.njit.edu

Eiji Oki, Zhigang Jing, Roberto Rojas-Cessa, H. Jo...

claim paper

Read More »

click to vote

TSE
2002

54views more TSE 2002»

Incremental Integration Testing of Concurrent Programs

15 years 5 months ago

Download www.cs.umd.edu

Pramod V. Koppol, Richard H. Carver, Kuo-Chung Tai

claim paper

Read More »

152

click to vote

TSE
2002

85views more TSE 2002»

Knowledge-Based Automation of a Design Method for Concurrent Systems

15 years 5 months ago

Download www.itl.nist.gov

Kevin L. Mills, Hassan Gomaa

claim paper

Read More »

click to vote

SIGOPS
2010

71views more SIGOPS 2010»

Scalable concurrent hash tables via relativistic programming

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers