Sciweavers

5355 search results - page 597 / 1071
» Modules
Sort
View
DATE
2004
IEEE
174views Hardware» more  DATE 2004»
15 years 10 months ago
Graph-Based Functional Test Program Generation for Pipelined Processors
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...
Prabhat Mishra, Nikil Dutt
CHES
2006
Springer
74views Cryptology» more  CHES 2006»
15 years 10 months ago
Optically Enhanced Position-Locked Power Analysis
Abstract. This paper introduces a refinement of the power-analysis attack on integrated circuits. By using a laser to illuminate a specific area on the chip surface, the current th...
Sergei P. Skorobogatov
ECOOP
2004
Springer
15 years 10 months ago
Programming with Crosscutting Effective Views
Abstract. Aspect-oriented systems claim to improve modularity by providing explicit mechanisms that allow modularization of concerns which crosscut the object-oriented decompositio...
Doug Janzen, Kris De Volder
ECRTS
2004
IEEE
15 years 10 months ago
A Variable Rate Execution Model
We present a task model for adaptive real-time tasks in which a task's execution rate requirements are allowed to change at any time. The model, variable rate execution (VRE)...
Steve Goddard, Xin Liu
CLEF
2006
Springer
15 years 10 months ago
Towards Entailment-Based Question Answering: ITC-irst at CLEF 2006
This year, besides providing support to other groups participating in cross-language Question Answering (QA) tasks, and submitting runs both for the monolingual Italian and the cr...
Milen Kouylekov, Matteo Negri, Bernardo Magnini, B...