Sciweavers

5186 search results - page 431 / 1038
» Embedded Systems
Sort
View
SEUS
2007
IEEE
16 years 1 months ago
GENSEN: A Topology Generator for Real Wireless Sensor Networks Deployment
Network Simulators are important tools in network research. As the selected topology often influences the outcome of the simulation, realistic topologies are required to produce re...
Tiago Camilo, Jorge Sá Silva, André ...
SIES
2007
IEEE
16 years 1 months ago
Design Space Exploration with Evolutionary Multi-Objective Optimisation
— High level synthesis is one of the next major steps to improve the hw/sw co-design process. The advantages of high nthesis are two-fold. At first the level of abstraction is r...
Martin Holzer 0002, Bastian Knerr, Markus Rupp
SIES
2007
IEEE
16 years 1 months ago
Synchronization for an optimal real-time scheduling algorithm on multiprocessors
— We consider several object sharing synchronization mechanisms including lock-based, lock-free, and wait-free sharing for LNREF [1], an optimal real-time scheduling algorithm on...
Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
16 years 27 days ago
Combining simulation and formal methods for system-level performance analysis
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
Simon Künzli, Francesco Poletti, Luca Benini,...
RTAS
2006
IEEE
16 years 25 days ago
A Real-time Java Virtual Machine for Avionics - An Experience Report
We report on our experience with the implementation of the Real-time Specification for Java (RTSJ) in the DARPA Program Composition for Embedded System (PCES) program. Within the...
Jason Baker, Antonio Cunei, Chapman Flack, Filip P...