1879 search results - page 288 / 376 » Computational geometry algorithms library |
169
click to vote
ISQED
2002
IEEE
15 years 9 months ago
2002
IEEE
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
139
click to vote
ASAP
2004
IEEE
15 years 8 months ago
2004
IEEE
Decreasing feature sizes allow additional functionality to be added to future microprocessors to improve the performance of important application domains. As a result of rapid gro...
146
click to vote
FGCS
2006
15 years 4 months ago
2006
Tw o parallel programming models represented b y OpenMP and MPI are compared for PDE solvers based on regular sparse numerical operators. As a typical representative of such an app...
143
click to vote
TCS
2008
15 years 4 months ago
2008
We present algorithmic, complexity and implementation results concerning real root isolation of integer univariate polynomials using the continued fraction expansion of real algeb...
126
click to vote
STTT
2010
15 years 2 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...