Sciweavers

1342 search results - page 181 / 269
» MEMS Design And Verification
Sort
View
FSR
2003
Springer
115views Robotics» more  FSR 2003»
15 years 11 months ago
Case Studies of a Borehole Deployable Robot for Limestone Mine Profiling and Mapping
Inherent dangers in mining operations motivate the use of robotic technology for addressing hazardous situations that prevent human access. In the context of this case study, we e...
Aaron Morris, Derek Kurth, Daniel Huber, Warren Wh...
ITNG
2010
IEEE
15 years 11 months ago
BAUT: A Bayesian Driven Tutoring System
—This paper presents the design of BAUT, a tutoring system that explores statistical approach for providing instant project failure analysis. Driven by a Bayesian Network (BN) in...
Song Tan, Kai Qian, Xiang Fu, Prabir Bhattacharya
EUROMICRO
2000
IEEE
15 years 10 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
ARITH
1999
IEEE
15 years 10 months ago
Moduli for Testing Implementations of the RSA Cryptosystem
Comprehensive testing of any implementation of the RSA cryptosystem requires the use of a number of moduli with specific properties. It is shown how to generate a sufficient varie...
Colin D. Walter
ADAEUROPE
1997
Springer
15 years 10 months ago
Systematic Unit-Testing of Ada Programs
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
Joachim Wegener, Ines Fey