4516 search results - page 411 / 904 » Automated System Design for Availability |
176
click to vote
GLVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
Threshold logic is gaining prominence as an alternative to Boolean logic. The main reason for this trend is the availability of devices that implement these circuits efficiently (...
199
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Dynamic power management schemes (also called policies) can be used to control the power consumption levels of electronic systems, by setting their components in different states,...
168
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
In this paper we propose a method for generating reduced models for a class of nonlinear dynamical systems, based on truncated balanced realization (TBR) algorithm and a recently ...
175
click to vote
ICIP
2005
IEEE
16 years 13 days ago
2005
IEEE
Automated analysis of facial images for the estimation of the displayed expression is essential in the design of intuitive and accessible human computer interaction systems. In ex...
161
click to vote
FROCOS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...