349 search results - page 6 / 70 » Digital Systems Architectures Based on On-line Checkers |
DAC
1996
ACM
13 years 12 months ago
1996
ACM
Aggressive voltage scaling to 1V and below through technology, circuit, and architecture optimization has been proven to be the key to ultra low-power design. The key technology t...
TIM
2010
13 years 2 months ago
2010
In this paper, the authors propose and analyze a network-based control architecture for power-electronicsbuilding-block-based converters. The objective of the proposed approach is ...
DAC
1997
ACM
13 years 11 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
ISCAS
1995
IEEE
13 years 11 months ago
1995
IEEE
Embryological electronics or “Embryonics” is a new paradigm for developing digital systems of any complexity, endowed of universal computation, self-repair and self-reproducti...
ICMCS
2007
IEEE
14 years 2 months ago
2007
IEEE
With the improvement of network bandwidth, multimedia services based on streaming live media have gained much attention recently, among which IPTV has become a hot topic. After em...