1997 search results - page 227 / 400 » On the convergence of Hill's method |
123
click to vote
FM
2003
Springer
15 years 6 months ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
122
click to vote
HYBRID
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...
131
click to vote
IPPS
2002
IEEE
15 years 6 months ago
2002
IEEE
Accurate estimation of signal delay is critical to the design and verification of VLSI circuits. At very high frequencies, signal delay in circuits with small feature sizes is do...
119
click to vote
MICCAI
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. The registration of multimodal medical images is an important tool in surgical applications, since different scan modalities highlight complementary anatomical structures...
100
click to vote
RTSS
1997
IEEE
15 years 5 months ago
1997
IEEE
Static-priority scheduling is popular for traffic scheduling in ATM switches because it is less costly than dynamic priority scheduling while being sensitive to the delay constra...