Sciweavers

297 search results - page 26 / 60
» Issues in Temporal Reasoning for Autonomous Control Systems
Sort
View
ICPPW
2006
IEEE
14 years 1 months ago
Model Checking Control Communication of a FACTS Device
This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...
David A. Cape, Bruce M. McMillin, James K. Townsen...
EMSOFT
2004
Springer
14 years 1 months ago
A metrics system for quantifying operational coupling in embedded computer control systems
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...
De-Jiu Chen, Martin Törngren
RECSYS
2009
ACM
14 years 2 months ago
A partial-order based active cache for recommender systems
Recommender systems aim to substantially reduce information overload by suggesting lists of similar items that users may find interesting. Caching has been a useful technique for...
Umar Qasim, Vincent Oria, Yi-fang Brook Wu, Michae...
ISSS
1995
IEEE
59views Hardware» more  ISSS 1995»
13 years 11 months ago
Multiple-process behavioral synthesis for mixed hardware-software systems
Systems composed of microprocessors interacting with ASICs are necessarily multiple-process systems, since the controller in the microprocessor is separate from any controllers on...
Jay K. Adams, Donald E. Thomas
ICRA
2005
IEEE
180views Robotics» more  ICRA 2005»
14 years 1 months ago
Transference of Evolved Unmanned Aerial Vehicle Controllers to a Wheeled Mobile Robot
— Transference of controllers evolved in simulation to real vehicles is an important issue in evolutionary robotics (ER). We have previously evolved autonomous navigation control...
Gregory J. Barlow, Leonardo Mattos, Edward Grant, ...