Sciweavers

334 search results - page 19 / 67
» Concurrency Among Strangers
Sort
View
SAINT
2005
IEEE
14 years 1 months ago
Design and Analysis of an e-Transaction Protocol Tailored for OCC
In this work we present a protocol ensuring the eTransaction guarantee (i.e. a recently proposed end-to-end reliability guarantee) in a Web based, three-tier transactional system....
Paolo Romano, Francesco Quaglia, Bruno Ciciani
CONCURRENCY
2010
112views more  CONCURRENCY 2010»
13 years 7 months ago
Performance results of running parallel applications on the InteGrade
The InteGrade project is an on-going project with the participation of several research groups in Brazil. It is an opportunistic grid middleware that intends to exploit the idle t...
E. N. Cáceres, Henrique Mongelli, L. Lourei...
WDAG
2004
Springer
134views Algorithms» more  WDAG 2004»
14 years 25 days ago
An Optimistic Approach to Lock-Free FIFO Queues
Abstract. First-in-first-out (FIFO) queues are among the most fundamental and highly studied concurrent data structures. The most effective and practical dynamic-memory concurren...
Edya Ladan-Mozes, Nir Shavit
CONCUR
2000
Springer
13 years 11 months ago
Formal Models for Communication-Based Design
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, L...
CONCURRENCY
1998
130views more  CONCURRENCY 1998»
13 years 7 months ago
JPVM: network parallel computing in Java
The JPVM library is a software system for explicit message-passing based distributed memory MIMD parallel programming in Java. The library supports an interface similar to the C a...
Adam Ferrari