Sciweavers

2039 search results - page 65 / 408
» Teaching Standards to Engineers
Sort
View
FM
2006
Springer
127views Formal Methods» more  FM 2006»
15 years 10 months ago
Using Domain-Independent Problems for Introducing Formal Methods
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
Raymond T. Boute
ISCC
2002
IEEE
15 years 11 months ago
Test++: an adaptive training system on the Internet
We present an adaptive system for training and teaching. Our system integrates an adaptive training environment and a cooperative environment for exams both accessible via Interne...
Maria Barra, A. Lannaccone, Giuseppina Palmieri, V...
ICRA
2000
IEEE
106views Robotics» more  ICRA 2000»
15 years 10 months ago
Planning of Joint Trajectories for Humanoid Robots Using B-Spline Wavelets
The formulation and optimization of joint trajectories for humanoid robots is quite different from this same task for standard robots because of the complexity of the humanoid rob...
Ales Ude, Christopher G. Atkeson, Marcia Riley
FECS
2010
161views Education» more  FECS 2010»
15 years 4 months ago
Distributed Laboratories: A Finite State Machine Module
: This paper presents an experimental module for teaching finite state machine concepts. This module is designed for use in a lecture-based course that does not currently have a la...
Bonnie Ferri, Jill Auerbach, Hongyi Qu
MSE
2005
IEEE
150views Hardware» more  MSE 2005»
16 years 2 hour ago
A Cohesive FPGA-Based System-on-Chip Design Curriculum
A graduate-level computer engineering course sequence at the OGI School of Science and Engineering teaches state-of-the-art digital system design practices and system-on-chip desi...
John D. Lynch, Daniel Hammerstrom, Roy Kravitz