2309 search results - page 152 / 462 » Efficient Topological Exploration |
ICCAD
2003
IEEE
14 years 5 months ago
2003
IEEE
This paper presents an efficient method for verifying hazard freedom in timed asynchronous circuits. Timed circuits are a class of asynchronous circuits that utilize explicit tim...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
There has been much recent progress in the technical infrastructure necessary to continuously characterize and archive all sounds, or more precisely auditory streams, that occur w...
IESS
2007
Springer
14 years 2 months ago
2007
Springer
To overcome the complexity in System-on-Chip (SoC) design, researchers have developed sophisticated design flows that significantly reduce the development time through automation...
ICDCS
2006
IEEE
14 years 2 months ago
2006
IEEE
Hyperspectral imaging is a new technique which has become increasingly important in many remote sensing applications, including automatic target recognition for military and defen...
CAV
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...