3820 search results - page 644 / 764 » Bounded Model Debugging |
130
click to vote
APSEC
2000
IEEE
15 years 6 months ago
2000
IEEE
For the past 40 years, the techniques, processes and methods of software development have been dominated by supply-side issues, giving rise to a software industry oriented towards...
118
click to vote
ICCAD
2000
IEEE
15 years 6 months ago
2000
IEEE
A high accuracy system for transistor-level static timing analysis is presented. Accurate static timing verification requires that individual gate and interconnect delays be accu...
106
click to vote
SIGGRAPH
2000
ACM
15 years 6 months ago
2000
ACM
We propose the use of interactive, user-in-the-loop techniques for controlling physically-based animated characters. With a suitably designed interface, the continuous and discret...
103
click to vote
ASIACRYPT
2000
Springer
15 years 6 months ago
2000
Springer
nded abstract of this work appears Advances in Cryptology — Asiacrypt 2000, Tatsuaki Okamoto, editor, Lecture Notes in Computer Science vol. 1976, Springer-Verlag, 2000. c IACR A...
134
click to vote
INFOCOM
1999
IEEE
15 years 6 months ago
1999
IEEE
We propose a flow-control scheme for multicast ABR services in ATM networks. At the heart of the proposed scheme is an optimal secondorder rate control algorithm, called the -contr...