3130 search results - page 17 / 626 » Design Correctness of Digital Systems |
EMSOFT
2004
Springer
14 years 28 days ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
EH
2000
IEEE
13 years 12 months ago
2000
IEEE
How do we know the correctness of an evolved circuit? While Evolutionary Hardware is exhibiting its effectiveness, we argue that it is very difficult to design a large-scale digit...
DALT
2009
Springer
14 years 2 months ago
2009
Springer
What distinguishes multiagent systems from other software systems is their emphasis on the interactions among autonomous, heterogeneous agents. This paper motivates and characteriz...
ERCIMDL
2000
Springer
13 years 11 months ago
2000
Springer
The ASU Libraries' staff had considerable experience creating digital library systems to satisfy the needs of a major university library. These systems were designed to be hig...
TIP
2008
13 years 7 months ago
2008
In this paper, we propose a hierarchical color correction algorithm for enhancing the color of digital images obtained from low quality digital image capture devices such as cell ...