9842 search results - page 683 / 1969 » Compositional timing analysis |
152
click to vote
GECCO
2005
Springer
16 years 29 days ago
2005
Springer
Although the interest in nature-inspired optimization of dynamic problems has been growing constantly over the past decade, very little has been done to analyze and characterize a...
199
click to vote
ASPDAC
2004
ACM
16 years 26 days ago
2004
ACM
Abstract— This paper presents a power grid analyzer that combines a divide-and-conquer strategy with a random-walk engine. A single-level hierarchical method is first described ...
208
click to vote
IUI
2004
ACM
16 years 26 days ago
2004
ACM
One of the limitations in traditional instant messaging platforms is that they predominantly rely on text messages as the primary form of expression. This paper presents FAIM, an ...
223
click to vote
AUSAI
2004
Springer
16 years 25 days ago
2004
Springer
The quality of the fingerprint images greatly affects the performance of the minutiae extraction. In order to improve the performance of the system, many researchers have been made...
211
click to vote
CAV
2004
Springer
16 years 25 days ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...