272 search results - page 27 / 55 » Communicating sequential processes for distributed constrain... |
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
Phylospaces is a novel framework for reconstructing evolutionary trees in tuple space, a distributed shared memory that permits processes to communicate and coordinate with each o...
166
click to vote
TASE
2012
IEEE
13 years 5 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
ISCAS
2005
IEEE
15 years 3 months ago
2005
IEEE
—As process variations become a significant problem in deep sub-micron technology, a shift from deterministic static timing analysis to statistical static timing analysis for hig...
GLOBECOM
2006
IEEE
15 years 3 months ago
2006
IEEE
— We consider the problem of distributing a content of finite size to a group of users connected through an overlay network that is built by a peer-to-peer application. The goal...
110
click to vote
PARELEC
2006
IEEE
15 years 3 months ago
2006
IEEE
We have developed an application-driven methodology for implementing parallel and heterogeneous programmable platforms. We deploy our flow for network access platforms where we h...