Sciweavers

2510 search results - page 5 / 502
» The Discipline of Embedded Systems Design
Sort
View
IPPS
2002
IEEE
14 years 12 days ago
An Approach to Compositional Model Checking
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
Hector A. Andrade, Beverly Sanders
ICSE
2009
IEEE-ACM
14 years 2 months ago
Save-IDE - A tool for design, analysis and implementation of component-based embedded systems
The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...
Séverine Sentilles, Anders Pettersson, Dag ...
FPL
2003
Springer
89views Hardware» more  FPL 2003»
14 years 20 days ago
Reconfigurable Systems in Education
This paper describes methods and tools that have been used for teaching disciplines dedicated to the design of reconfigurable digital systems. It demonstrates students' projec...
Valery Sklyarov, Iouliia Skliarova
WETICE
2003
IEEE
14 years 22 days ago
Coordination in Pervasive Computing Environments
Computer science and engineering nowadays appears to be challenged (and driven) by technological progress and quantitative growth. Among the technological progress challenges are ...
Alois Ferscha
SIES
2007
IEEE
14 years 1 months ago
Design of a FFT/IFFT module as an IP core suitable for embedded systems
Julian Viejo, Alejandro Millán, Manuel J. B...