90 search results - page 10 / 18 » Design, Implementation, and Validation of a New Class of Int... |
CAV
2006
Springer
13 years 11 months ago
2006
Springer
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...
ISQED
2003
IEEE
14 years 25 days ago
2003
IEEE
Mind-boggling complexity of EDA tools necessitates reuse of intellectual property in any large-scale commercial or academic operation. However, due to the nature of software, a to...
ISCAS
2003
IEEE
14 years 25 days ago
2003
IEEE
Spatial image processing chips, known as silicon retinas, are based on the architecture of vertebrate retina and can be mathematically represented as the Laplacian of Gaussian (LO...
HPN
1994
13 years 9 months ago
1994
Dynamic synchronous Transfer Mode (DTM) is a new protocol suite based on synchronous fast circuit switching. The DTM network is based on bandwidth reservation and supports dynamic...
NOCS
2009
IEEE
14 years 2 months ago
2009
IEEE
We propose Connection then Credits (CTC) as a new end-to-end flow control protocol to handle messagedependent deadlocks in networks-on-chip (NoC) for multicore systems-on-chip. C...