Sciweavers

6274 search results - page 667 / 1255
» From query complexity to computational complexity
Sort
View
BROADNETS
2007
IEEE
16 years 1 months ago
IP fast rerouting for single-link/node failure recovery
—Failure recovery in IP networks is critical to high quality service provisioning. The main challenge is how to achieve fast recovery without introducing high complexity and reso...
Kang Xi, H. Jonathan Chao
163
Voted
DATE
2007
IEEE
127views Hardware» more  DATE 2007»
16 years 1 months ago
A calculator for Pareto points
This paper presents the Pareto Calculator, a tool for compositional computation of Pareto points, based on the algebra of Pareto points. The tool is a useful instrument for multidi...
Marc Geilen, Twan Basten
BIRTHDAY
2007
Springer
16 years 1 months ago
A Denotational Semantics for Handel-C
We present a denotational semantics for a fully functional subset of the Handel-C hardware compilation language [1], based on the concept of typed assertion traces. We motivate the...
Andrew Butterfield
205
Voted
ACCV
2007
Springer
16 years 1 months ago
Multiperspective Distortion Correction Using Collineations
We present a new framework for correcting multiperspective distortions using collineations. A collineation describes the transformation between the images of a camera due to change...
Yuanyuan Ding and Jingyi Yu
173
Voted
LCPC
2007
Springer
16 years 1 months ago
Compiler-Enhanced Incremental Checkpointing
As modern supercomputing systems reach the peta-flop performance range, they grow in both size and complexity. This makes them increasingly vulnerable to failures from a variety o...
Greg Bronevetsky, Daniel Marques, Keshav Pingali, ...