Sciweavers

770 search results - page 51 / 154
» Abstract Yourself With Modules
Sort
View
SCOPES
2004
Springer
15 years 8 months ago
Compact Procedural Implementation in DSP Software Synthesis Through Recursive Graph Decomposition
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...
ICRA
2003
IEEE
94views Robotics» more  ICRA 2003»
15 years 8 months ago
Enveloping obstacles with hexagonal metamorphic robots
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...
ICCS
2003
Springer
15 years 8 months ago
Parallel Finite Element Analysis Platform for the Earth Simulator: GeoFEM
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...
129
Voted
MKM
2009
Springer
15 years 7 months ago
Integrating Web Services into Active Mathematical Documents
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...
Jana Giceva, Christoph Lange 0002, Florian Rabe
118
Voted
CC
1999
Springer
107views System Software» more  CC 1999»
15 years 7 months ago
Link-Time Improvement of Scheme Programs
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...
Saumya K. Debray, Robert Muth, Scott A. Watterson