5171 search results - page 412 / 1035 » Deterministic Parallel Processing |
137
Voted
ICCAD
2006
IEEE
16 years 25 days ago
2006
IEEE
Meeting timing constraint is one of the most important issues for modern design automation tools. This situation is exacerbated with the existence of process variation. Current hi...
103
Voted
WDAG
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Wireless ad-hoc networks are being increasingly used in diverse contexts, ranging from casual meetings to disaster recovery operations. A promising approach is to model t...
113
Voted
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
119
Voted
OTM
2009
Springer
15 years 10 months ago
2009
Springer
When automating work, it is often desirable to compensate completed work by undoing the work done by one or more activities. In the context of workflow, where compensation actions...
118
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
Consider a set of sensors that wish to consent on the message broadcasted by a multi-antenna transmitter in the presence of white-noise jamming. The jammer’s interference introd...