Sciweavers

4411 search results - page 359 / 883
» Communication Complexity and Its Applications
Sort
View
ESOP
2006
Springer
15 years 10 months ago
Type-Based Amortised Heap-Space Analysis
Abstract. We present a type system for a compile-time analysis of heapspace requirements of Java style object-oriented programs with explicit deallocation. Our system is based on a...
Martin Hofmann, Steffen Jost
187
Voted
EUROPAR
2010
Springer
15 years 7 months ago
Exceptions for Algorithmic Skeletons
Abstract. Algorithmic Skeletons offer high-level abstractions for parallel programming based on recurrent parallelism patterns. Patterns can be combined and nested into more comple...
Mario Leyton, Ludovic Henrio, José M. Pique...
CORR
2008
Springer
107views Education» more  CORR 2008»
15 years 6 months ago
A Computational Framework for the Near Elimination of Spreadsheet Risk
We present Risk Integrated's Enterprise Spreadsheet Platform (ESP), a technical approach to the near-elimination of spreadsheet risk in the enterprise computing environment, ...
Yusuf Jafry, Fredrika Sidoroff, Roger Chi
KI
2006
Springer
15 years 6 months ago
DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics
We present DiaWOz-II, a configurable software environment for Wizard-of-Oz studies in mathematics and engineering. Its interface is based on a structural wysiwyg editor which allow...
Christoph Benzmüller, Helmut Horacek, Ivana K...
TVCG
2008
128views more  TVCG 2008»
15 years 6 months ago
AD-Frustum: Adaptive Frustum Tracing for Interactive Sound Propagation
We present an interactive algorithm to compute sound propagation paths for transmission, specular reflection and edge diffraction in complex scenes. Our formulation uses an adaptiv...
Anish Chandak, Christian Lauterbach, Micah T. Tayl...