Sciweavers

2523 search results - page 154 / 505
» Correct Development of Embedded Systems
Sort
View
ECRTS
2010
IEEE
14 years 11 months ago
Minimizing Multi-resource Energy for Real-Time Systems with Discrete Operation Modes
Energy conservation is an important issue in the design of embedded systems. Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two widely used techniques for sav...
Fanxin Kong, Yiqun Wang, Qingxu Deng, Wang Yi
IFM
2010
Springer
133views Formal Methods» more  IFM 2010»
14 years 8 months ago
Towards Probabilistic Modelling in Event-B
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
SAMOS
2005
Springer
15 years 3 months ago
A Case for Visualization-Integrated System-Level Design Space Exploration
Design space exploration plays an essential role in the system-level design of embedded systems. It is imperative therefore to have efficient and effective exploration tools in th...
Andy D. Pimentel
ASAP
1997
IEEE
92views Hardware» more  ASAP 1997»
15 years 1 months ago
Optimized software synthesis for synchronous dataflow
This paper reviews a set of techniques for compiling dataflow-based, graphical programs for embedded signal processing applications into efficient implementations on programmable ...
Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward...
WSTFEUS
2003
IEEE
15 years 3 months ago
DOLPHIN: An Autonomous Indoor Positioning System in Ubiquitous Computing Environment
Determining physical location of indoor objects is one of the key issues in development of context-aware applications in ubiquitous computing environment. This is mainly because c...
Yasuhiro Fukuju, Masateru Minami, Hiroyuki Morikaw...