2824 search results - page 449 / 565 » Text Generation from Keywords |
151
Voted
ISPD
2012
ACM
13 years 11 months ago
2012
ACM
There are two prominent problems with technology scaling: increasing design complexity and more challenges with interconnect design, including routability. High-level synthesis ha...
145
click to vote
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
Software-based fault isolation (SFI), as used in Google’s Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for com...
133
click to vote
DAC
2012
ACM
13 years 5 months ago
2012
ACM
In this work we address the problem of managing interconnect timing in high-level synthesis by generating a layoutfriendly microarchitecture. A metric called spreading score is pr...
136
Voted
ECCV
2002
Springer
16 years 5 months ago
2002
Springer
We propose a method for constructing a video sequence of high space-time resolution by combining information from multiple lowresolution video sequences of the same dynamic scene. ...
114
click to vote
DAC
2007
ACM
16 years 4 months ago
2007
ACM
The ability of modern SAT solvers to produce proofs of unsatisfiability for Boolean formulas has become a powerful tool for EDA applications. Proofs are generated from a resolve t...