10988 search results - page 2026 / 2198 » Algorithmic Folding Complexity |
192
click to vote
ISCA
2005
IEEE
16 years 13 days ago
2005
IEEE
Memory latency tolerant architectures support thousands of in-flight instructions without scaling cyclecritical processor resources, and thousands of useful instructions can compl...
191
click to vote
TPHOL
2005
IEEE
16 years 13 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
182
click to vote
VISUALIZATION
2005
IEEE
16 years 13 days ago
2005
IEEE
Existing parallel or remote rendering solutions rely on communicating pixels, OpenGL commands, scene-graph changes or application-specific data. We propose an intermediate soluti...
189
click to vote
VISUALIZATION
2005
IEEE
16 years 13 days ago
2005
IEEE
Recent years have seen an immense increase in the complexity of geometric data sets. Today’s gigabyte-sized polygon models can no longer be completely loaded into the main memor...
230
click to vote
ICAIL
2005
ACM
16 years 13 days ago
2005
ACM
Computational resources for research in legal environments have historically implied remote access to large databases of legal documents such as case law, statutes, law reviews an...