241 search results - page 37 / 49 » Symbolic Analysis Methods for Masks, Circuits, and Systems |
TWC
2008
13 years 6 months ago
2008
We deal with the concept of physical-layer fairness in amplify and forward cooperative diversity systems, which reflects the need for equally allocating the consumed power among th...
CAV
1999
Springer
13 years 11 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
INFOCOM
1995
IEEE
13 years 10 months ago
1995
IEEE
Modern high speed networks and ATM networks in particular use resource reservation as a basic means of establishing communications. One-way on-the- y reservation is a method for...
IOLTS
2005
IEEE
14 years 9 days ago
2005
IEEE
— In this paper, an innovative self-checking Reed Solomon encoder architecture is described. The presented architecture exploits some properties of the arithmetic operations in G...
DAC
2009
ACM
14 years 7 months ago
2009
ACM
Elevated chip temperatures are true limiters to the scalability of computing systems. Excessive runtime thermal variations compromise the performance and reliability of integrated...