4770 search results - page 117 / 954 » Using System-on-a-Programmable-Chip Technology to Design Emb... |
126
click to vote
ISMVL
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we propose three novel cache models using Multiple-Valued Logic (MVL) paradigm to reduce the cache data storage area and cache energy consumption for embedded syste...
139
click to vote
MBEES
2010
15 years 4 months ago
2010
: Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statem...
138
click to vote
ICRE
1998
IEEE
15 years 7 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
107
Voted
POLICY
2005
Springer
15 years 8 months ago
2005
Springer
Policy rules define what behavior is desired in a softwarebased system, they do not describe the corresponding action and event sequences that actually “produce” desired (“...
136
Voted
CODES
2002
IEEE
15 years 8 months ago
2002
IEEE
High-speed serial network interfaces are gaining wide use in connecting multiple processors and peripherals in modern embedded systems, thanks to their size advantage and power ef...