Search Sciweavers | Sciweavers

3575 search results - page 62 / 715

» Modeling Concurrency with Geometry

120

click to vote

DAC
2002
ACM

92views Computer Architecture» more DAC 2002»

A detailed cost model for concurrent use with hardware/software co-design

16 years 7 months ago

Download www.enme.umd.edu

Daniel Ragan, Peter Sandborn, Paul Stoaks

claim paper

Read More »

131

click to vote

TOOLS
2009
IEEE

119views Programming Languages» more TOOLS 2009»

Programming Models for Concurrency and Real-Time

16 years 24 days ago

Download www.cs.purdue.edu

Jan Vitek

claim paper

Read More »

137

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 »

115

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 »

165

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 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers