3146 search results - page 179 / 630 » The use of compiler optimizations for embedded systems softw... |
168
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
199
click to vote
IEEEPACT
2008
IEEE
16 years 25 days ago
2008
IEEE
Communication overheads are one of the fundamental challenges in a multiprocessor system. As the number of processors on a chip increases, communication overheads and the distribu...
151
click to vote
HASE
2007
IEEE
16 years 22 days ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
177
click to vote
TASE
2010
IEEE
15 years 1 months ago
2010
IEEE
Group elevator scheduling has received considerable attention due to its importance to transportation efficiency for mid-rise and high-rise buildings. One important trend to improv...
162
click to vote
SUTC
2010
IEEE
15 years 10 months ago
2010
IEEE
—To maximize the communication throughput for wireless sensing systems, designers have attempted various combinations of protocol design and manual code optimization. Although th...