7623 search results - page 1084 / 1525 » Constructive Volume Modeling |
198
click to vote
IPPS
2003
IEEE
16 years 3 days ago
2003
IEEE
SBT is portable library and tool for on-line debugging and performance monitoring of shared-memory parallel programs using the single-program-multiple-data (SPMD) model of paralle...
153
click to vote
IPPS
2003
IEEE
16 years 3 days ago
2003
IEEE
A number of software packages are available for the construction of comprehensive human genetic maps. In this paper we parallelize the widely used package Genehunter. We restrict ...
163
click to vote
ISCAS
2003
IEEE
16 years 3 days ago
2003
IEEE
∑= += N i firiT 1 0 )( ττ (1) This paper presents a time-domain method for estimating the jitter in ring oscillators that is due to power supply noise. The method is used to a...
190
Voted
IV
2003
IEEE
16 years 3 days ago
2003
IEEE
It is often useful to get high-level views of datasets in order to identify areas of interest worthy of further exploration. In relational databases, the high-level view can be de...
166
click to vote
LICS
2003
IEEE
16 years 3 days ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...