3994 search results - page 311 / 799 » A Linear Logical Framework |
173
click to vote
DAC
2009
ACM
15 years 10 months ago
2009
ACM
Structured ASICs have recently emerged as an exciting alternative to ASIC or FPGA design style as they provide a new trade-off between the high performance of ASIC design and low ...
166
click to vote
CVIU
2006
15 years 6 months ago
2006
We introduce a generic structure-from-motion approach based on a previously introduced, highly general imaging model, where cameras are modeled as possibly unconstrained sets of p...
179
click to vote
TOG
2002
15 years 6 months ago
2002
Finite element solvers are a basic component of simulation applications; they are common in computer graphics, engineering, and medical simulations. Although adaptive solvers can ...
193
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we propose a new technique, referred to as virtual probe (VP), to efficiently measure, characterize and monitor both inter-die and spatially-correlated intra-die va...
165
click to vote
TCS
2008
15 years 6 months ago
2008
Density elimination, a close relative of cut elimination, consists of removing applications of the Takeuti-Titani density rule from derivations in Gentzen-style (hypersequent) cal...