1285 search results - page 185 / 257 » Structural Operators for Modeling 3-Manifolds |
211
click to vote
ICCD
2006
IEEE
16 years 2 months ago
2006
IEEE
— Leakage power dissipation becomes a dominant component in operation power in nanometer devices. This paper describes a design methodology to implement runtime power gating in a...
184
click to vote
XSYM
2009
Springer
16 years 16 days ago
2009
Springer
Abstract. We propose a mapping from the Enhanced Entity Relationship conceptual model to the W3C XML Schema Language with the following properties: information and integrity constr...
162
click to vote
ICMI
2009
Springer
16 years 15 days ago
2009
Springer
Spatial language video retrieval is an important real-world problem that forms a test bed for evaluating semantic structures for natural language descriptions of motion on natural...
156
click to vote
SPIN
2009
Springer
16 years 14 days ago
2009
Springer
Existing techniques for approximate storage of visited states in a model checker are too special-purpose and too DRAM-intensive. Bitstate hashing, based on Bloom filters, is good ...
154
click to vote
IPPS
2007
IEEE
16 years 7 days ago
2007
IEEE
We present a study of multithreaded implementations of Thorup’s algorithm for solving the Single Source Shortest Path (SSSP) problem for undirected graphs. Our implementations l...