5866 search results - page 976 / 1174 » An e-Process Selection Model |
162
click to vote
ICCD
2001
IEEE
16 years 3 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
153
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
In this paper we propose a novel analog design optimization methodology to address two key aspects of top-down system-level design: (1) how to optimally compare and select analog ...
197
Voted
SOSP
2009
ACM
16 years 3 months ago
2009
ACM
Data-intensive applications are increasingly designed to execute on large computing clusters. Grouped aggregation is a core primitive of many distributed programming models, and i...
196
Voted
TCC
2010
Springer
16 years 3 months ago
2010
Springer
We construct a fully secure HIBE scheme with short ciphertexts. The previous construction of Boneh, Boyen, and Goh was only proven to be secure in the selective model, under a non...
168
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
We present a method which enables rapid and dense reconstruction of scenes browsed by a single live camera. We take point-based real-time structure from motion (SFM) as our starti...