Sciweavers

4770 search results - page 281 / 954
» Using System-on-a-Programmable-Chip Technology to Design Emb...
Sort
View
FORMATS
2007
Springer
15 years 10 months ago
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
AH
2008
Springer
16 years 1 months ago
Automatic Generation of User Adapted Learning Designs: An AI-Planning Proposal
Abstract. A Learning Design(LD) definition under the IMS-LD standard is a complex task for the instructor because it requires a lot of time, effort and previous knowledge of the ...
Lluvia Morales, Luis A. Castillo, Juan Ferná...
ISCAS
2007
IEEE
129views Hardware» more  ISCAS 2007»
16 years 28 days ago
Modeling of self-adaptive systems with SCADE
— An important property of embedded systems is dependability. Today this addresses mostly safety and reliability. Guaranteeing these properties is normally done by adding redunda...
Matthias Güdemann, Andreas Angerer, Frank Ort...
177
Voted
VLSID
1999
IEEE
102views VLSI» more  VLSID 1999»
15 years 11 months ago
A Low-Power Wireless Camera System
This paper describes the system design of a lowpower wireless camera. A system level approach is used to reduce energy dissipation and maximize battery lifetime. System properties...
Anantha Chandrakasan, Abram P. Dancy, James Goodma...
CAV
2010
Springer
227views Hardware» more  CAV 2010»
15 years 4 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé