Sciweavers

1569 search results - page 200 / 314
» Programming contest strategy
Sort
View
ICCS
2003
Springer
14 years 2 months ago
Performance Instrumentation and Measurement for Terascale Systems
As computer systems grow in size and complexity, tool support is needed to facilitate the efficient mapping of large-scale applications onto these systems. To help achieve this ma...
Jack Dongarra, Allen D. Malony, Shirley Moore, Phi...
DATE
2002
IEEE
104views Hardware» more  DATE 2002»
14 years 1 months ago
A Compiler-Based Approach for Improving Intra-Iteration Data Reuse
Intra-iteration data reuse occurs when multiple array references exhibit data reuse in a single loop iteration. An optimizing compiler can exploit this reuse by clustering (in the...
Mahmut T. Kandemir
NIME
2001
Springer
126views Music» more  NIME 2001»
14 years 1 months ago
Problems and Prospects for Intimate Musical Control of Computers
In this paper we describe our efforts towards the development of live performance computer-based musical instrumentation. Our design criteria include initial ease of use coupled w...
David Wessel, Matthew Wright
ICRA
1999
IEEE
93views Robotics» more  ICRA 1999»
14 years 1 months ago
Contact Analysis of Spatial Fixed-Axes Pairs Using Configuration Spaces
We presentthe first configurationspacecomputationalgorithm for pairs of rigid parts that move along fixed spatial axes. The motivation is contactanalysisformechanical design of sp...
Iddo Drori, Leo Joskowicz, Elisha Sacks
CADE
1998
Springer
14 years 1 months ago
A Proof Environment for the Development of Group Communication Systems
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
Christoph Kreitz, Mark Hayden, Jason Hickey