Sciweavers

1660 search results - page 224 / 332
» A Behavior Model for Next Generation Test Systems
Sort
View
IROS
2006
IEEE
128views Robotics» more  IROS 2006»
15 years 4 months ago
A Laserscanner-Vision Fusion System Implemented on the TerraMax Autonomous Vehicle
— This paper presents a sensor fusion model developed for the 2005 Grand Challenge competition, an autonomous ground vehicle race across the Mojave desert organized by DARPA1 . T...
Alberto Broggi, Stefano Cattani, Pier Paolo Porta,...
RTCSA
2006
IEEE
15 years 4 months ago
An RTOS API Translator for Model-Driven Embedded Software Development
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...
Ji Chan Maeng, Jong-Hyuk Kim, Minsoo Ryu
WSC
1997
14 years 11 months ago
A Performance Monitoring Application for Distributed Interactive Simulations (DIS)
This paper discusses the design, development, and use of a performance monitoring tool for Distributed Interactive Simulations (DIS). A typical DIS environment consists of hundred...
David B. Cavitt, C. Michael Overstreet, Kurt Maly
FASE
2009
Springer
15 years 4 months ago
Controller Synthesis from LSC Requirements
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
Hillel Kugler, Cory Plock, Amir Pnueli
HOPL
2007
15 years 1 months ago
Statecharts in the making: a personal account
This paper is a highly personal and subjective account of how the language of statecharts came into being. The main novelty of the language is in being a fully executable visual f...
David Harel