Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
Ming-Yung Ko, Praveen K. Murthy, Shuvra S. Bhattac...
Abstract— The problem addressed is the distributed reconfiguration of a metamorphic robot system composed of any number of two dimensional robots (modules). The initial configu...
Jennifer E. Walter, Elizabeth M. Tsai, Nancy M. Am...
Abstract. GeoFEM has been developed as a finite element solid earth simulator using the Earth Simulator (ES) (35.61 Tflops/peak according to the Linpack benchmark test). It is comp...
Hiroshi Okuda, Kengo Nakajima, Mikio Iizuka, Li Ch...
Abstract. Active mathematical documents are distinguished from traditional paper-oriented ones by their ability to interactively adapt to a reader’s inputs. This includes changes...
Abstract. Optimizing compilers typically limit the scope of their analyses and optimizations to individual modules. This has two drawbacks: rst, library code cannot be optimized to...