Sciweavers

3146 search results - page 129 / 630
» The use of compiler optimizations for embedded systems softw...
Sort
View
VEE
2006
ACM
150views Virtualization» more  VEE 2006»
16 years 8 days ago
Evaluating fragment construction policies for SDT systems
Software Dynamic Translation (SDT) systems have been used for program instrumentation, dynamic optimization, security policy enforcement, intrusion detection, and many other uses....
Jason Hiser, Daniel Williams, Adrian Filipi, Jack ...
SERA
2007
Springer
16 years 13 days ago
A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis
Robustness is an important feature required for embedded systems. This paper presents a methodology to test robustness of such systems. We investigate system behaviour aspects. We...
Antoine Rollet, Fares Saad-Khorchef
ISSS
1996
IEEE
123views Hardware» more  ISSS 1996»
15 years 10 months ago
Memory Organization for Improved Data Cache Performance in Embedded Processors
Code generation for embedded processors creates opportunities for several performance optimizations not applicable for traditional compilers. We present techniques for improving d...
Preeti Ranjan Panda, Nikil D. Dutt, Alexandru Nico...
LCPC
2007
Springer
16 years 14 days ago
Revisiting SIMD Programming
Massively parallel SIMD array architectures are making their way into embedded processors. In these architectures, a number of identical processing elements having small private st...
Anton Lokhmotov, Benedict R. Gaster, Alan Mycroft,...
ER
2007
Springer
108views Database» more  ER 2007»
16 years 15 days ago
A Framework Supporting the Utilization of Domain Knowledge Embedded in Software
Software systems embed in them knowledge about the domain in which they operate. However, this knowledge is “latent”. Making such knowledge accessible could be of great value ...
Eran Rubin, Yair Wand