3146 search results - page 320 / 630 » The use of compiler optimizations for embedded systems softw... |
199
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Portable systems such as cell phones and portable media players commonly use non-volatile RAM (NVRAM) to hold all of their data and metadata, and larger systems can store metadata...
187
click to vote
VMCAI
2005
Springer
16 years 3 days ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
168
click to vote
CGO
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we present a technique for reducing the overhead of collecting path profiles in the context of a dynamic optimizer. The key idea to our approach, called Targeted Pa...
184
click to vote
ADHOC
2008
15 years 6 months ago
2008
Virtual machines (VM) are promising as system software in sensor networks. A major impediment to their widespread acceptance is their performance overhead. Compiling VM bytecode to...
223
click to vote
WOTUG
2008
15 years 8 months ago
2008
Most motion control systems for mechatronic systems are implemented on digital computers. In this paper we present an FPGA based solution implemented on a low cost Xilinx Spartan I...