Sciweavers

770 search results - page 89 / 154
» Abstract Yourself With Modules
Sort
View
DATE
2004
IEEE
174views Hardware» more  DATE 2004»
15 years 4 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 4 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 4 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
100
Voted
EWCBR
2004
Springer
15 years 4 months ago
Using CBR for Semantic Analysis of Software Specifications
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
Nuno Seco, Paulo Gomes, Francisco C. Pereira
96
Voted
EDUTAINMENT
2006
Springer
15 years 4 months ago
Mental Vision: A Computer Graphics Teaching Platform
Abstract. We have developed a learning platform to simplify and improve teaching and practice of Computer Graphics for beginners and advanced students. Our goal is to offer a set o...
Achille Peternier, Daniel Thalmann, Fréd&ea...