326 search results - page 35 / 66 » Embedding Real Time in Stochastic Process Algebras |
TWC
2011
13 years 3 months ago
2011
Abstract—In this paper we consider wireless cooperative multihop networks, where nodes that have decoded the message at the previous hop cooperate in the transmission toward the ...
DAC
2011
ACM
12 years 8 months ago
2011
ACM
DVFS remains an important energy management technique for embedded systems. However, its negative impact on transient fault rates has been recently shown. In this paper, we propos...
PR
2007
13 years 8 months ago
2007
Classical clustering algorithms are based on the concept that a cluster center is a single point. Clusters which are not compact around a single point are not candidates for class...
AUTOMATICA
2008
13 years 8 months ago
2008
The standard approach in computer-controlled systems is to sample and control periodically. In certain applications, such as networked control systems or energy-constrained system...
DAC
1999
ACM
14 years 29 days ago
1999
ACM
Verification is one of the most critical and time-consuming tasks in today's design processes. This paper demonstrates the verification process of a 8.8 million gate design u...