Sciweavers

2523 search results - page 300 / 505
» Correct Development of Embedded Systems
Sort
View
EMSOFT
2011
Springer
14 years 2 months ago
RT-Xen: towards real-time hypervisor scheduling in xen
As system integration becomes an increasingly important challenge for complex real-time systems, there has been a significant demand for supporting real-time systems in virtualiz...
Sisu Xi, Justin Wilson, Chenyang Lu, Christopher D...
HICSS
2009
IEEE
131views Biometrics» more  HICSS 2009»
15 years 9 months ago
Challenges in Software Product Line Composition
The idea to develop applications and infrastructure software as software product lines (SPLs) is continuously growing in acceptance throughout the software industry. The ability t...
Horst Schirmeier, Olaf Spinczyk
ICC
2009
IEEE
147views Communications» more  ICC 2009»
15 years 9 months ago
A Distributed Protocol for Virtual Device Composition in Mobile Ad Hoc Networks
— The dynamic composition of systems of networked appliances, or virtual devices, in MANETs, enables users to generate, on-the-fly, complex strong specific systems. Current work ...
Eric Karmouch, Amiya Nayak
130
Voted
DATE
2008
IEEE
167views Hardware» more  DATE 2008»
15 years 9 months ago
Accuracy-Adaptive Simulation of Transaction Level Models
Simulation of transaction level models (TLMs) is an established embedded systems design technique. Its use cases include virtual prototyping for early software development, platfo...
Martin Radetzki, Rauf Salimi Khaligh
130
Voted
IPPS
2007
IEEE
15 years 8 months ago
A General Purpose Partially Reconfigurable Processor Simulator (PReProS)
An innovative technique to model and simulate partial and dynamic reconfigurable processors is presented in this paper. The basis for development is a SystemC kernel modified for ...
Alisson Vasconcelos De Brito, Matthias Kühnle...