Sciweavers

93 search results - page 17 / 19
» A Genetic Testing Framework for Digital Integrated Circuits
Sort
View
NN
2007
Springer
13 years 8 months ago
From memory-based decisions to decision-based movements: A model of interval discrimination followed by action selection
The interval discrimination task is a classical experimental paradigm that is employed to study working memory and decision making and typically involves four phases. First, the s...
Prashant Joshi
HOST
2009
IEEE
13 years 6 months ago
Experiences in Hardware Trojan Design and Implementation
Abstract-- We report our experiences in designing and implementing several hardware Trojans within the framework of the Embedded System Challenge competition that was held as part ...
Yier Jin, Nathan Kupp, Yiorgos Makris
WWW
2005
ACM
14 years 9 months ago
eBag: a ubiquitous Web infrastructure for nomadic learning
This paper describes the eBag infrastructure, which is a generic infrastructure inspired from work with school children who could bene t from a electronic schoolbag for collaborat...
Christina Brodersen, Bent Guldbjerg Christensen, K...
DIMEA
2008
122views Multimedia» more  DIMEA 2008»
13 years 10 months ago
Multiplayer role games applied to problem based learning
The educational community is willing to approach the learning applications to the engaging and immersive formats of multimedia and video games as a way of increasing the motivatio...
Pilar Sancho, Pedro Pablo Gómez-Martí...
DAC
2010
ACM
13 years 12 months ago
Scalable specification mining for verification and diagnosis
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
Wenchao Li, Alessandro Forin, Sanjit A. Seshia