7840 search results - page 1372 / 1568 » On generalized Ramsey numbers |
192
click to vote
RTAS
2005
IEEE
16 years 6 days ago
2005
IEEE
While caches have become invaluable for higher-end architectures due to their ability to hide, in part, the gap between processor speed and memory access times, caches (and partic...
165
click to vote
SMI
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper considers computation of visibility for twodimensional shapes whose boundaries are C1 continuous curves. We assume we are given a one-parameter family of candidate view...
176
click to vote
TPHOL
2005
IEEE
16 years 6 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...
141
click to vote
VISUALIZATION
2005
IEEE
16 years 6 days ago
2005
IEEE
VisTrails is a new system that enables interactive multiple-view visualizations by simplifying the creation and maintenance of visualization pipelines, and by optimizing their exe...
172
Voted
ANCS
2005
ACM
16 years 6 days ago
2005
ACM
Network edge packet-processing systems, as are commonly implemented on network processor platforms, are increasingly required to support a rich set of services. These multi-servic...