1163 search results - page 79 / 233 » Case Studies of Model Checking for Embedded System Designs |
111
click to vote
FPL
2003
Springer
15 years 9 months ago
2003
Springer
This paper introduces the notion of a software decelerator, to be used in logic-centric system architectures. Functions are offloaded from logic to a processor, accepting a speed ...
134
Voted
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...
133
click to vote
HIPEAC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Power efficiency has become a key design trade-off in embedded system designs. For system-on-a-chip embedded systems, an external bus interconnects embedded processor co...
142
click to vote
JUCS
2008
15 years 4 months ago
2008
: The mining of generic software components from legacy systems can be used as an auxiliary technique to revitalize systems. This paper presents a software maintenance approach tha...
144
click to vote
ISORC
1998
IEEE
15 years 8 months ago
1998
IEEE
Many engineers are still reluctant to adopt advanced object-oriented technologies (such as high modularity, dynamic binding, automatic garbage collection, etc.) for embedded syste...