Sciweavers

2025 search results - page 73 / 405
» A Reliable Software Architecture for Complex Embedded System...
Sort
View
ISLPED
1999
ACM
100views Hardware» more  ISLPED 1999»
15 years 8 months ago
Selective instruction compression for memory energy reduction in embedded systems
We propose a technique for reducing the energy required by rmware code to execute on embedded systems. The method is based on the idea of compressing the most commonly executed in...
Luca Benini, Alberto Macii, Enrico Macii, Massimo ...
ASPDAC
2010
ACM
163views Hardware» more  ASPDAC 2010»
15 years 2 months ago
A PUF design for secure FPGA-based embedded systems
The concept of having an integrated circuit (IC) generate its own unique digital signature has broad application in areas such as embedded systems security, and IP/IC counterpiracy...
Jason Helge Anderson
CASCON
1997
208views Education» more  CASCON 1997»
15 years 5 months ago
An architectural approach to building systems from COTS software components
As software systems become increasingly complex to build developers are turning more and more to integrating pre-built components from third party developers into their systems. T...
Mark R. Vigder, John C. Dean
EUROMICRO
2000
IEEE
15 years 8 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
EUROMICRO
2007
IEEE
15 years 8 months ago
Guiding Component-Based Hardware/Software Co-Verification with Patterns
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...
Juncao Li, Fei Xie, Huaiyu Liu