Sciweavers

615 search results - page 72 / 123
» Meta-Programming Techniques for Distributed Real-time and Em...
Sort
View
IPPS
2006
IEEE
14 years 3 months ago
Timed automata based analysis of embedded system architectures
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
Martijn Hendriks, Marcel Verhoef
ASAP
2004
IEEE
171views Hardware» more  ASAP 2004»
14 years 24 days ago
CHARMED: A Multi-Objective Co-Synthesis Framework for Multi-Mode Embedded Systems
In this paper, we present a modular co-synthesis framework called CHARMED that solves the problem of hardware-software co-synthesis of periodic, multi-mode, distributed, embedded ...
Vida Kianzad, Shuvra S. Bhattacharyya
DATE
2000
IEEE
105views Hardware» more  DATE 2000»
14 years 1 months ago
System Synthesis for Multiprocessor Embedded Applications
This paper presents the system synthesis techniques available in S3 E2 S, a CAD environment for the specification, simulation, and synthesis of embedded electronic systems that ca...
Luigi Carro, Márcio Eduardo Kreutz, Fl&aacu...
RTCSA
2009
IEEE
14 years 3 months ago
PLL Based Time Synchronization in Wireless Sensor Networks
Abstract—Time synchronization is a key component in numerous wireless sensor network applications. Most of the current software based time synchronization approaches suffer from ...
Gang Zhou, Sachin Shetty, George Simms, Min Song
RTAS
2008
IEEE
14 years 3 months ago
TOSSTI: Saving Time and Energy in TinyOS with Software Thread Integration
Many wireless sensor nodes (motes) interface with slow peripheral devices, requiring the processor to wait. These delays waste time, energy and power, which are valuable but limit...
Zane D. Purvis, Alexander G. Dean