Search Sciweavers | Sciweavers

645 search results - page 14 / 129

» concurrency 2007

Voted

ENTCS
2007

116views more ENTCS 2007»

DisCComp - A Formal Model for Distributed Concurrent Components

14 years 9 months ago

Download agrausch.informatik.uni-kl.de

Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...

Andreas Rausch

claim paper

Read More »

click to vote

ICSE
2007
IEEE-ACM

88views Software Engineering» more ICSE 2007»

Reliability Analysis of Concurrent Systems Using LTSA

15 years 9 months ago

Download eprints.ucl.ac.uk

Genaína Nunes Rodrigues, David S. Rosenblum...

claim paper

Read More »

click to vote

ESOP
2007
Springer

147views Programming Languages» more ESOP 2007»

A Concurrent Calculus with Atomic Transactions

15 years 3 months ago

Download www.irit.fr

Lucia Acciai, Michele Boreale, Silvano Dal-Zilio

claim paper

Read More »

Voted

LCPC
2007
Springer

113views System Software» more LCPC 2007»

Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers

15 years 3 months ago

Download polaris.cs.uiuc.edu

Yuan Zhang, Evelyn Duesterwald, Guang R. Gao

claim paper

Read More »

click to vote

CONEXT
2007
ACM

111views Computer Networks» more CONEXT 2007»

Capture-aware staggering for concurrent transmissions

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers