Sciweavers

2697 search results - page 257 / 540
» Developing Gestural Input
Sort
View
ITC
2003
IEEE
162views Hardware» more  ITC 2003»
15 years 12 months ago
Concurrent Error Detection in Linear Analog Circuits Using State Estimation
We present a novel methodology for concurrent error detection in linear analog circuits. We develop a rigorous theory that yields an error detection circuit of size that is, in ge...
Haralampos-G. D. Stratigopoulos, Yiorgos Makris
MSE
2003
IEEE
101views Hardware» more  MSE 2003»
15 years 12 months ago
Internet-based Tool for System-On-Chip Project Testing and Grading
A tool has been developed to automate the testing and grading of design projects implemented in reprogrammable hardware. The server allows multiple students to test circuits in FP...
Christopher K. Zuver, Christopher E. Neely, John W...
VR
2003
IEEE
132views Virtual Reality» more  VR 2003»
15 years 12 months ago
Syzygy: Native PC Cluster VR
The Syzygy software library consists of tools for programming VR applications on PC clusters. Since the PC cluster environment presents application development constraints, it is ...
Benjamin Schaeffer, Camille Goudeseune
ERSHOV
2003
Springer
15 years 11 months ago
Integration of Functional and Timed Testing of Real-Time and Concurrent Systems
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
Victor V. Kuliamin, Alexandre Petrenko, Nick V. Pa...
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
15 years 11 months ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra