enter search term and/or author name
An optimization framework for embedded processors with auto-addressing mode
Xiaotong Zhuang, Santosh Pande
Article No.: 11
Modern embedded processors with dedicated address generation unit support memory accesses through auto-increment/decrement addressing mode. The auto-increment/decrement mode, if properly utilized, can save address arithmetic instructions, reduce...
Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation
Peter Sewell, Paweł T. Wojciechowski, Asis Unyapoth
Article No.: 12
Mobile computation, in which executing computations can move from one physical computing device to another, is a recurring theme: from OS process migration, to language-level mobility, to virtual machine migration. This article reports on the...
Scratchpad allocation for concurrent embedded software
Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra
Article No.: 13
Software-controlled scratchpad memory is increasingly employed in embedded systems as it offers better timing predictability compared to caches. Previous scratchpad allocation algorithms typically consider single-process applications. But embedded...
Santa Claus: Formal analysis of a process-oriented solution
Peter H. Welch, Jan B. Pedersen
Article No.: 14
With the commercial development of multicore processors, the challenges of writing multithreaded programs to take advantage of these new hardware architectures are becoming more and more pertinent. Concurrent programming is necessary to achieve...
Although register allocation is critical for performance, the implementation of register allocation algorithms is difficult, due to the complexity of the algorithms and target machine architectures. It is particularly difficult to detect register...