Search Sciweavers | Sciweavers

603 search results - page 9 / 121

» concurrency 2010

Voted

ATVA
2010
Springer

153views Hardware» more ATVA 2010»

Non-monotonic Refinement of Control Abstraction for Concurrent Programs

14 years 9 months ago

Download www.model.in.tum.de

ion for Concurrent Programs Ashutosh Gupta, Corneliu Popeea, and Andrey Rybalchenko Technische Universit

Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenk...

claim paper

Read More »

click to vote

APLAS
2010
ACM

125views Programming Languages» more APLAS 2010»

Concurrency Can't Be Observed, Asynchronously

14 years 6 months ago

Download www.math.unipd.it

Abstract. The paper is devoted to an analysis of the concurrent features of asynchronous systems. A preliminary step is represented by the

Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giac...

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

Download edcc.dependability.org

Sara Tucci Piergiovanni, Roberto Baldoni

claim paper

Read More »

click to vote

ICECCS
2010
IEEE

139views Hardware» more ICECCS 2010»

Formal Modeling for UML/MARTE Concurrency Resources

14 years 9 months ago

Download www.teisa.unican.es

Pablo Peñil, Hector Posadas, Eugenio Villar

claim paper

Read More »

click to vote

CORR
2010
Springer

52views Education» more CORR 2010»

Automating Fine Concurrency Control in Object-Oriented Databases

14 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers