4520 search results - page 624 / 904 » Algebraic Techniques for Timed Systems |
154
click to vote
FPGA
1999
ACM
15 years 11 months ago
1999
ACM
One of the major overheads in reconfigurable computing is the time it takes to reconfigure the devices in the system. The configuration compression algorithm presented in our prev...
163
click to vote
VLSID
1999
IEEE
15 years 11 months ago
1999
IEEE
To minimize the time to market and cost of new sub 0.25um process technologies and products, PDF Solutions, Inc., has developed a new comprehensive approach based on the use of pr...
156
click to vote
ICCBR
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The development of successful case-based design aids depends both on the CBR processes themselves and on crucial questions of integrating the CBR system into the larger t...
143
click to vote
FSTTCS
1998
Springer
15 years 11 months ago
1998
Springer
Partial order methods have been introduced to avoid the state explosion problem in veri cation resulting from the representation of multiple interleavings of concurrent transitions...
204
click to vote
CAIP
1997
Springer
15 years 11 months ago
1997
Springer
This paper addresses the problem of accurately tracking the 3D motion of a monocular camera in a known 3D environment and dynamically estimating the 3D camera location. For that pu...