Sciweavers

5239 search results - page 230 / 1048
» Model-Integrated Embedded Systems
Sort
View
DATE
2005
IEEE
172views Hardware» more  DATE 2005»
16 years 6 days ago
Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development
Embedded software design for real time reactive system
Massimo Baleani, Alberto Ferrari, Leonardo Mangeru...
MSE
2005
IEEE
148views Hardware» more  MSE 2005»
16 years 5 days ago
Teaching System-Level Design Using SpecC and SystemC
System-level design of embedded computer systems is essential to manage complexity and enhance designer productivity. Viewing designs at t abstraction levels allows developers to ...
Robert D. Walstrom, Joseph Schneider, Diane T. Rov...
DSN
2004
IEEE
15 years 10 months ago
Assured Reconfiguration of Embedded Real-Time Software
It is often the case that safety-critical systems have to be reconfigured during operation because of issues such as changes in the system's operating environment or the fail...
Elisabeth A. Strunk, John C. Knight
ICCD
2002
IEEE
106views Hardware» more  ICCD 2002»
16 years 3 months ago
A Distributed Computation Platform for Wireless Embedded Sensing
We present a low cost wireless microsensor node architecture for distributed computation and sensing in massively distributed embedded systems. Our design focuses on the developme...
Andreas Savvides, Mani B. Srivastava