Search Sciweavers | Sciweavers

2227 search results - page 56 / 446

» Reversibility and Models for Concurrency

133

click to vote

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

15 years 11 months ago

Download www.inf.ethz.ch

Ishai Rabinovitz, Orna Grumberg

claim paper

Read More »

108

click to vote

CAV
2004
Springer

97views Hardware» more CAV 2004»

Zing: A Model Checker for Concurrent Software

15 years 11 months ago

Download research.microsoft.com

Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jak...

claim paper

Read More »

160

click to vote

EDCC
2010
Springer

230views Applied Computing» more EDCC 2010»

Eventual Leader Election in Infinite Arrival Message-Passing System Model with Bounded Concurrency

15 years 10 months ago

Download edcc.dependability.org

Sara Tucci Piergiovanni, Roberto Baldoni

claim paper

Read More »

109

click to vote

SIGADA
1999
Springer

89views Programming Languages» more SIGADA 1999»

Formal modeling of synchronization methods for concurrent objects in Ada 95

15 years 10 months ago

Download www.sigada.org

Ravi K. Gedela, Sol M. Shatz, Haiping Xu

claim paper

Read More »

128

click to vote

LICS
1996
IEEE

96views Automated Reasoning» more LICS 1996»

Model-Checking of Correctness Conditions for Concurrent Objects

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers