Sciweavers

DATE
2005
IEEE
172views Hardware» more  DATE 2005»
13 years 10 months 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...
ETFA
2006
IEEE
13 years 10 months ago
Operating Systems Portability: 8 bits and beyond
Embedded software often needs to be ported from one system to another. This may happen for a number of reasons among which are the need for using less expensive hardware or the ne...
Hugo Marcondes, Arliones Stevert Hoeller, Lucas Fr...
IESS
2007
Springer
143views Hardware» more  IESS 2007»
13 years 10 months ago
Embedded Software Development in a System-Level Design Flow
Abstract System level design is considered a major approach to tackle the complexity of modern System-on-Chip designs. Embedded software within SoCs is gaining importance as it add...
Gunar Schirner, Gautam Sachdeva, Andreas Gerstlaue...
CSSE
2008
IEEE
13 years 10 months ago
Model Curriculum Construction of Embedded System in Zhejiang University
Embedded systems have been used widely promoted by the advancement of semiconductor technology. This also makes embedded system education a challenge for the universities. The cur...
Tianzhou Chen, Qingsong Shi, Hu Wei, Jolly Wang, N...
DATE
2009
IEEE
128views Hardware» more  DATE 2009»
13 years 11 months ago
A case study in distributed deployment of embedded software for camera networks
—We present an embedded software application for the real-time estimation of building occupancy using a network of video cameras. We analyze a series of alternative decomposition...
Francesco Leonardi, Alessandro Pinto, Luca P. Carl...