Search Sciweavers | Sciweavers

3575 search results - page 62 / 715

» Modeling Concurrency with Geometry

click to vote

DAC
2002
ACM

92views Computer Architecture» more DAC 2002»

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

15 years 10 months ago

Download www.enme.umd.edu

Daniel Ragan, Peter Sandborn, Paul Stoaks

claim paper

Read More »

click to vote

TOOLS
2009
IEEE

119views Programming Languages» more TOOLS 2009»

Programming Models for Concurrency and Real-Time

15 years 4 months ago

Download www.cs.purdue.edu

Jan Vitek

claim paper

Read More »

click to vote

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

15 years 3 months ago

Download www.inf.ethz.ch

Ishai Rabinovitz, Orna Grumberg

claim paper

Read More »

click to vote

CAV
2004
Springer

97views Hardware» more CAV 2004»

Zing: A Model Checker for Concurrent Software

15 years 3 months ago

Download research.microsoft.com

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

claim paper

Read More »

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers