Sciweavers

1133 search results - page 11 / 227
» Modeling and Control of Distributed Asynchronous Computation...
Sort
View
GCC
2003
Springer
14 years 2 months ago
CoAuto: A Formal Model for Cooperative Processes
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
ENTCS
2007
140views more  ENTCS 2007»
13 years 9 months ago
Secured Information Flow for Asynchronous Sequential Processes
We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...
Isabelle Attali, Denis Caromel, Ludovic Henrio, Fe...
ECSCW
2007
13 years 10 months ago
Semi-Synchronous Conflict Detection and Resolution in Asynchronous Software Development
Previous work has found that (a) when software is developed collaboratively, concurrent accesses to related pieces of code are made, and (b) when these accesses are coordinated asy...
Prasun Dewan, Rajesh Hegde
IPPS
2007
IEEE
14 years 3 months ago
Java and asynchronous iterative applications: large scale experiments
This paper focuses on large scale experiments with Java and asynchronous iterative applications. In those applications, tasks are dependent and the use of distant clusters may be ...
Jacques M. Bahi, Raphaël Couturier, David Lai...
PDP
2010
IEEE
13 years 7 months ago
Investigation of Transient Fault Effects in an Asynchronous NoC Router
— This paper presents Investigation of Transient Fault Effects in an asynchronous NoC router. The experiment is based on simulation-based fault injection method to assess the fau...
Pooria M. Yaghini, Ashkan Eghbal, Hossein Pedram, ...