Sciweavers

5239 search results - page 685 / 1048
» Model-Integrated Embedded Systems
Sort
View
DATE
2008
IEEE
117views Hardware» more  DATE 2008»
16 years 1 months ago
Architecture Exploration of NAND Flash-based Multimedia Card
In this paper, we present an architecture exploration methodology for low-end embedded systems where the reduction of cost is a primary design concern. The architecture exploratio...
Sungchan Kim, Chanik Park, Soonhoi Ha
ADAEUROPE
2008
Springer
16 years 1 months ago
Fast Scheduling of Distributable Real-Time Threads with Assured End-to-End Timeliness
We consider networked, embedded real-time systems that operate under run-time uncertainties on activity execution times and arrivals, node failures, and message losses. We consider...
Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Je...
ACISICIS
2007
IEEE
16 years 1 months ago
Nanorobots for Laparoscopic Cancer Surgery
This paper presents an innovative hardware architecture for medical nanorobots, using nanobioelectronics, clinical data, and wireless technologies, as embedded integrated system d...
Adriano Cavalcanti, Bijan Shirinzadeh, Declan Murp...
IPPS
2007
IEEE
16 years 1 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...
QEST
2007
IEEE
16 years 1 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns