Search Sciweavers | Sciweavers

645 search results - page 14 / 129

» concurrency 2007

112

click to vote

ENTCS
2007

116views more ENTCS 2007»

DisCComp - A Formal Model for Distributed Concurrent Components

15 years 4 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

16 years 4 months ago

Download eprints.ucl.ac.uk

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

claim paper

Read More »

101

click to vote

ESOP
2007
Springer

147views Programming Languages» more ESOP 2007»

A Concurrent Calculus with Atomic Transactions

15 years 10 months ago

Download www.irit.fr

Lucia Acciai, Michele Boreale, Silvano Dal-Zilio

claim paper

Read More »

122

click to vote

LCPC
2007
Springer

113views System Software» more LCPC 2007»

Concurrency Analysis for Shared Memory Programs with Textually Unaligned Barriers

15 years 10 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 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers