1164 search results - page 16 / 233 » Case Studies in Event-Driven Control |
DAC
1997
ACM
14 years 1 days ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
ICIDS
2010
Springer
13 years 7 months ago
2010
Springer
The author summarizes his experience creating a story-based simulation from raw documentary footage taken in the aftermath of the 2010 earthquake in Haiti. The use of Propp’s typ...
IROS
2009
IEEE
14 years 3 months ago
2009
IEEE
— Autonomous underwater vehicles (AUVs) are an indispensable tool for marine scientists to study the world’s oceans. The Slocum glider is a buoyancy driven AUV designed for mis...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
One form of group support system that has received much attention from cross-disciplinary research is electronic brainstorming (EBS). While it is generally held that group cohesiv...
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper describes our progress in creating a case study on optimistic computing for the Grid using parallel mesh generation. For the implementation of both methods we will be u...