Sciweavers

3999 search results - page 428 / 800
» Design of Optical Access Systems using Computer Modeling
Sort
View
PASTE
2004
ACM
16 years 7 days ago
Validation of assembler programs for DSPs: a static analyzer
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
Matthieu Martel
ISER
2004
Springer
117views Robotics» more  ISER 2004»
16 years 5 days ago
Synthesis and Analysis of Non-Reactive Controllers for Multi-Robot Sequential Task Domains
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
Chris Jones, Maja J. Mataric
CORR
2010
Springer
198views Education» more  CORR 2010»
15 years 7 months ago
Space and the Synchronic A-Ram
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
Alexander Victor Berka
SIGMOD
2007
ACM
157views Database» more  SIGMOD 2007»
16 years 7 months ago
Compiling mappings to bridge applications and databases
Translating data and data access operations between applications and databases is a longstanding data management problem. We present a novel approach to this problem, in which the...
Sergey Melnik, Atul Adya, Philip A. Bernstein
CHI
2002
ACM
16 years 7 months ago
Creating principal 3D curves with digital tape drawing
Previous systems have explored the challenges of designing an interface for automotive styling which combine the metaphor of 2D drawing using physical tape with the simultaneous c...
Tovi Grossman, Ravin Balakrishnan, Gordon Kurtenba...