Sciweavers

21319 search results - page 3620 / 4264
» An Approach for Method Reengineering
Sort
View
SP
2003
IEEE
121views Security Privacy» more  SP 2003»
16 years 14 days ago
Specifying and Verifying Hardware for Tamper-Resistant Software
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
David Lie, John C. Mitchell, Chandramohan A. Thekk...
VTS
2003
IEEE
115views Hardware» more  VTS 2003»
16 years 14 days ago
Fault Testing for Reversible Circuits
Irreversible computation necessarily results in energy dissipation due to information loss. While small in comparison to the power consumption of today’s VLSI circuits, if curre...
Ketan N. Patel, John P. Hayes, Igor L. Markov
CASES
2003
ACM
16 years 14 days ago
Programming challenges in network processor deployment
Programming multi-processor ASIPs, such as network processors, remains an art due to the wide variety of architectures and due to little support for exploring different implement...
Chidamber Kulkarni, Matthias Gries, Christian Saue...
ISLPED
2003
ACM
85views Hardware» more  ISLPED 2003»
16 years 14 days ago
ILP-based optimization of sequential circuits for low power
The power consumption of a sequential circuit can be reduced by decomposing it into subcircuits which can be turned off when inactive. Power can also be reduced by careful state e...
Feng Gao, John P. Hayes
MM
2003
ACM
118views Multimedia» more  MM 2003»
16 years 14 days ago
Generation of interactive multi-level video summaries
In this paper, we describe how a detail-on-demand representation for interactive video is used in video summarization. Our approach automatically generates a hypervideo composed o...
Frank M. Shipman III, Andreas Girgensohn, Lynn Wil...
« Prev « First page 3620 / 4264 Last » Next »