846 search results - page 50 / 170 » The Use of Z |
ISCA
1998
IEEE
14 years 1 months ago
1998
IEEE
For maximum performance, an out-of-order processor must issue load instructions as early as possible, while avoiding memory-order violations with prior store instructions that wri...
COMPGEOM
1997
ACM
14 years 1 months ago
1997
ACM
Abstract: We propose an e cient method that determines the sign of a multivariate polynomial expression with integer coe cients. This is a central operation on which the robustness...
ISER
2000
Springer
14 years 19 days ago
2000
Springer
: Six DOF offset sensing between two plates is important for automatic docking mechanisms. This paper presents an easy and inexpensive implementation of such a system using four co...
TACAS
2000
Springer
14 years 19 days ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
DAGSTUHL
2007
13 years 10 months ago
2007
We address the problem of finding sparse wavelet representations of high-dimensional vectors. We present a lower-bounding technique and use it to develop an algorithm for computi...