Sciweavers

2825 search results - page 390 / 565
» Support for Object-Oriented Testing
Sort
View
104
Voted
ISESE
2006
IEEE
15 years 8 months ago
A literature survey of the quality economics of defect-detection techniques
Over the last decades, a considerable amount of empirical knowledge about the efficiency of defect-detection techniques has been accumulated. Also a few surveys have summarised th...
Stefan Wagner
ISQED
2006
IEEE
101views Hardware» more  ISQED 2006»
15 years 8 months ago
Compiler-Directed Power Density Reduction in NoC-Based Multi-Core Designs
As transistor counts keep increasing and clock frequencies rise, high power consumption is becoming one of the most important obstacles, preventing further scaling and performance...
Sri Hari Krishna Narayanan, Mahmut T. Kandemir, Oz...
116
Voted
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
15 years 8 months ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
ACIVS
2006
Springer
15 years 8 months ago
Discrete Choice Models for Static Facial Expression Recognition
In this paper we propose the use of Discrete Choice Analysis (DCA) for static facial expression classification. Facial expressions are described with expression descriptive units ...
Gianluca Antonini, Matteo Sorci, Michel Bierlaire,...
ACMACE
2006
ACM
15 years 8 months ago
AI-based world behaviour for emergent narratives
Research in Interactive Narrative has developed new approaches to the behaviour of virtual actors, but has dedicated little attention to the physical behaviour of the environment ...
Jean-Luc Lugrin, Marc Cavazza