Sciweavers

1022 search results - page 30 / 205
» The Modelling of Embedded Systems Using HASoC
Sort
View
VLSID
2002
IEEE
151views VLSI» more  VLSID 2002»
16 years 6 months ago
Mode Selection and Mode-Dependency Modeling for Power-Aware Embedded Systems
Among the many techniques for system-level power management, it is not currently possible to guarantee timing constraints and have a comprehensive system model at the same time. S...
Dexin Li, Pai H. Chou, Nader Bagherzadeh
WSC
2004
15 years 7 months ago
IAGO Project and Development of Compound Agents
The IAGO Project explores the question of whether a software model, in the form of a computational model of cognitive behavior, can contribute to better anticipation of asymmetric...
John E. Hiles
RTCSA
2008
IEEE
16 years 9 days ago
Verification of COMDES-II Systems Using UPPAAL with Model Transformation
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Chri...
ICCAD
1994
IEEE
144views Hardware» more  ICCAD 1994»
15 years 10 months ago
Power analysis of embedded software: a first step towards software power minimization
Embedded computer systems are characterized by the presence of a dedicated processor and the software that runs on it. Power constraints are increasingly becoming the critical com...
Vivek Tiwari, Sharad Malik, Andrew Wolfe
151
Voted
WORDS
2002
IEEE
15 years 10 months ago
Evaluating UMl Extensions for Modeling Real-Time Systems
Rather recently object-oriented modeling languages, tools, and methods attract the interest of embedded (realtime) system developers. This is especially true if embedded (real-tim...
Lutz Bichler, Ansgar Radermacher, Andy Schürr