Sciweavers

2072 search results - page 36 / 415
» Multibook's test environment
Sort
View
ATS
2003
IEEE
98views Hardware» more  ATS 2003»
15 years 4 months ago
Automatic Design Validation Framework for HDL Descriptions via RTL ATPG
We present a framework for high-level design validation using an efficient register-transfer level (RTL) automatic test pattern generator (ATPG). The RTL ATPG generates the test ...
Liang Zhang, Michael S. Hsiao, Indradeep Ghosh
SIGCSE
1998
ACM
84views Education» more  SIGCSE 1998»
15 years 3 months ago
Integrating technology into computer science examinations
On-line programming tests and examinations were administered to approximately 120 first year computer science students in order to evaluate their practical skills. We describe ou...
David V. Mason, Denise M. Woit
EUROMED
2010
14 years 9 months ago
Teleimmersive Archaeology: Simulation and Cognitive Impact
Abstract. In this paper we present the framework for collaborative cyberarchaeology with support for teleimmersive communication which aims to provide more natural interaction and ...
Maurizio Forte, Gregorij Kurillo, Teenie Matlock
FATES
2006
Springer
15 years 2 months ago
A Test Calculus Framework Applied to Network Security Policies
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
Yliès Falcone, Jean-Claude Fernandez, Laure...
ICASSP
2010
IEEE
14 years 11 months ago
Training a support vector machine to classify signals in a real environment given clean training data
When building a classifier from clean training data for a particular test environment, knowledge about the environmental noise and channel should be taken into account. We propos...
Kevin Jamieson, Maya R. Gupta, Eric Swanson, Hyrum...