Search Sciweavers | Sciweavers

6756 search results - page 48 / 1352

» Distributed Shared State

105

click to vote

GCC
2003
Springer

105views Distributed And Parallel Com...» more GCC 2003»

CoAuto: A Formal Model for Cooperative Processes

15 years 5 months ago

Download sunschlichter0.informatik.tu-muenchen.de

A formal model called CoAuto (Cooperative Automaton) is proposed ibe and analyze cooperative processes. A basic CoAuto abstracts the behaviors of a single active entity. It separat...

Jinlei Jiang, Meilin Shi

claim paper

Read More »

click to vote

ICTAC
2009
Springer

135views Applied Computing» more ICTAC 2009»

A Deadlock-Free Semantics for Shared Memory Concurrency

15 years 6 months ago

Download ftp-sop.inria.fr

Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...

Gérard Boudol

claim paper

Read More »

click to vote

IPPS
2008
IEEE

105views Distributed And Parallel Com...» more IPPS 2008»

Simplifying resource sharing in voluntary grid computing with the grid appliance

15 years 6 months ago