Sciweavers

3256 search results - page 129 / 652
» Integrated Environment for Embedded Control Systems Design
Sort
View
ICOST
2007
Springer
15 years 9 months ago
Characterizing Safety of Integrated Services in Home Network System
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
Ben Yan, Masahide Nakamura, Lydie du Bousquet, Ken...
ICRA
2005
IEEE
263views Robotics» more  ICRA 2005»
15 years 9 months ago
An Integrated Path Planning and Control Framework for Nonholonomic Unicycles
— In this paper, navigation and control of autonomous mobile unicycle robots in a complex and partially known obstacleridden environment is considered. The unicycle dynamic model...
Kaustubh Pathak, Sunil Kumar Agrawal
ADAEUROPE
1997
Springer
15 years 7 months ago
The SPIF Project
This paper introduces the current developments of the SPIF (Syst`eme de Prototypage `a Implantation rapide et Faible coˆut) project. The goal of SPIF is to provide a low cost envi...
Bertrand Dupouy, Olivier Hainque, Laurent Pautet, ...
HPCA
2008
IEEE
16 years 3 months ago
System level analysis of fast, per-core DVFS using on-chip switching regulators
Portable, embedded systems place ever-increasing demands on high-performance, low-power microprocessor design. Dynamic voltage and frequency scaling (DVFS) is a well-known techniq...
Wonyoung Kim, Meeta Sharma Gupta, Gu-Yeon Wei, Dav...
ICONS
2008
IEEE
15 years 10 months ago
Analysis of Hybrid Systems Using HySAT
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
Christian Herde, Andreas Eggers, Martin Fränz...