4520 search results - page 563 / 904 » Algebraic Techniques for Timed Systems |
185
click to vote
DFT
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper presents an approach for integrating fault-tolerance techniques into microprocessors by utilizing instruction redundancy as well as time redundancy. Smaller and smaller...
214
click to vote
SBRN
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper proposes a simple methodology to construct an iterative neural network which mimics a given chaotic time series. The methodology uses the Gamma test to identify a suita...
179
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we consider the problem of maximizing the battery life (or duration of service) in battery-powered CMOS circuits. We first show that the battery efficiency (or utili...
165
click to vote
ICFP
1998
ACM
15 years 11 months ago
1998
ACM
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languag...
188
click to vote
SIGMOD
1996
ACM
15 years 11 months ago
1996
ACM
Decision support applications involve complex queries on very large databases. Since response times should be small, query optimization is critical. Users typically view the data ...