3628 search results - page 692 / 726 » Approaching the Physical Limits of Computing |
143
click to vote
SIGCOMM
2006
ACM
15 years 11 months ago
2006
ACM
An understanding of the topological structure of the Internet is needed for quite a number of networking tasks, e.g., making decisions about peering relationships, choice of upstr...
148
click to vote
ICPPW
2005
IEEE
15 years 10 months ago
2005
IEEE
Thread-level speculation is a technique that brings thread-level parallelism beyond the data-flow limit by executing a piece of code ahead of time speculatively before all its inp...
144
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
Power consumption is a troublesome design constraint for emergent systems such as IBM’s BlueGene /L. If current trends continue, future petaflop systems will require 100 megawat...
204
click to vote
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
189
click to vote
AFRIGRAPH
2004
ACM
15 years 10 months ago
2004
ACM
We describe techniques for exploring 3D scenes by combining non-linear projections with the interactive data mining of camera navigations from previous explorations. Our approach ...