1104 search results - page 138 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
164
click to vote
DDECS
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract-- Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution times. Timing anomalies are counterintuitive...
136
click to vote
TCAD
2008
15 years 3 months ago
2008
Physical synthesis tools are responsible for achieving timing closure. Starting with 130nm designs, multiple cycles are required to cross the chip, making latch placement critical...
117
Voted
ICIAP
2003
ACM
16 years 4 months ago
2003
ACM
This paper deals with the problem of error estimation in 3D reconstruction. It shows how interval analysis can be used in this way for 3D vision applications. The description of a...
111
Voted
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Advances in recent years have made it possible in some cases to locate a bug (the source of a failure) automatically. But debugging is also about correcting bugs. Can tools do thi...
149
Voted
STOC
2000
ACM
15 years 8 months ago
2000
ACM
Multiple sequence alignment is a fundamental problem in computational biology. Because of its notorious difficulties, aligning sequences within a constant band (c-diagonal) is a ...