4940 search results - page 698 / 988 » On the Complexity of Universal Programs |
202
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
237
click to vote
ASPLOS
2012
ACM
14 years 2 months ago
2012
ACM
Despite a burgeoning demand for parallel programs, the tools available to developers working on shared-memory multicore processors have lagged behind. One reason for this is the l...
177
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. This article presents a novel method for acquiring high-quality solid models of complex 3D shapes from multiple calibrated photographs. After the purely geometric constra...
207
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
In standard predictive video coders, intra-mode coding of macroblocks (MBs) provides packet loss resilience, at the cost of reduced compression efficiency. Conventional mode selec...
177
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
In this paper, a novel automatic approach for the concurrent topology and routing optimization that achieves a high quality network layout is proposed. This optimization is based ...