Sciweavers

4604 search results - page 213 / 921
» Concurrency in Synchronous Systems
Sort
View
DATE
2008
IEEE
115views Hardware» more  DATE 2008»
15 years 11 months ago
Synthesizing Synchronous Elastic Flow Networks
This paper describes an implementation language and synthesis system for automatically generating latency insensitive synchronous digital designs. These designs decouple behaviora...
Greg Hoover, Forrest Brewer
ASPDAC
2005
ACM
101views Hardware» more  ASPDAC 2005»
15 years 6 months ago
A clustering technique to optimize hardware/software synchronization
— In this paper we present a scheme for reducing the amount of synchronization overhead needed between components, after HW/SW partitioning, to preserve the original control flo...
Junyu Peng, Samar Abdi, Daniel Gajski
CHI
2006
ACM
16 years 4 months ago
Synchronous broadcast messaging: the use of ICT
IBM Community Tools (ICT) is a synchronous broadcast messaging system in use by a very large, globally distributed organization. ICT is interesting for a number of reasons, includ...
Justin D. Weisz, Thomas Erickson, Wendy A. Kellogg
MOMPES
2008
IEEE
15 years 10 months ago
Architectural Concurrency Equivalence with Chaotic Models
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...
Dionisio de Niz
APN
2005
Springer
15 years 10 months ago
The (True) Concurrent Markov Property and Some Applications to Markov Nets
Abstract. We study probabilistic safe Petri nets, a probabilistic extension of safe Petri nets interpreted under the true-concurrent semantics. In particular, the likelihood of pro...
Samy Abbes