2634 search results - page 68 / 527 » Faster Than Uppaal |
DCC
2006
IEEE
14 years 8 months ago
2006
IEEE
In scientific computing environments, large amounts of floating-point data often need to be transferred between computers as well as to and from storage devices. Compression can r...
ICCAD
2004
IEEE
14 years 5 months ago
2004
IEEE
This paper introduces an efficient and accurate interconnect simulation technique. A new formulation for typical VLSI interconnect structures is proposed which, in addition to pr...
SI3D
2010
ACM
14 years 3 months ago
2010
ACM
We present a new and simple data-driven technique for modeling 3D brushes for use in realistic painting programs. Our technique simplifies and accelerates simulation of the const...
ICCSA
2010
Springer
14 years 3 months ago
2010
Springer
String matching with mismatches is a basic concept of information retrieval with some kinds of approximation. This paper proposes an FFT-based algorithm for the problem of string ...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
— Path planning algorithms that incorporate risk and uncertainty need to be able to predict the evolution of pathfollowing error statistics for each candidate plan. We present an...