9267 search results - page 271 / 1854 » Expectation-Oriented Analysis and Design |
164
click to vote
ISPD
1998
ACM
15 years 11 months ago
1998
ACM
We propose a simple, isometry invariant pattern matching algorithm for an effective data reduction useful in layout-related data processing of very complex IC designs. The repeata...
165
click to vote
ERCIMDL
1998
Springer
15 years 11 months ago
1998
Springer
As experimental digital library testbeds gain wider acceptance and develop significant user bases, it becomes important to investigate the ways in which users interact with the sys...
174
click to vote
TACAS
1998
Springer
15 years 11 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
182
click to vote
DILS
2007
Springer
15 years 10 months ago
2007
Springer
Information about small genetic variations in organisms, known as single nucleotide polymorphism (SNPs), is crucial to identify candidate genes that have a role in disease suscepti...
158
click to vote
ASYNC
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents new timing analysis algorithms for efficient state space exploration during timed circuit synthesis. Timed circuits are a class of asynchronous circuits that i...