Sciweavers

1781 search results - page 327 / 357
» Visualizing program execution using user abstractions
Sort
View
PVM
2000
Springer
13 years 11 months ago
Runtime Checking of Datatype Signatures in MPI
Abstract. The MPI standard provides a way to send and receive complex combinations of datatypes (e.g., integers and doubles) with a single communication operation. The MPI standard...
William Gropp
FORTE
2003
13 years 9 months ago
Generation of All Counter-Examples for Push-Down Systems
We present a new, on-the-fly algorithm that given a push-down model representing a sequential program with (recursive) procedure calls and an extended finite-state automaton repr...
Samik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott ...
CDC
2010
IEEE
122views Control Systems» more  CDC 2010»
13 years 2 months ago
Closed-loop optimal experiment design: The partial correlation approach
Abstract-- We consider optimal experiment design for parametric prediction error system identification of linear timeinvariant systems in closed loop. The optimisation is performed...
Roland Hildebrand, Michel Gevers, Gabriel Solari
DAGSTUHL
2010
13 years 8 months ago
Real-time Terrain Mapping
Abstract. We present an interactive, real-time mapping system for digital elevation maps (DEMs), which allows Earth scientists to map and therefore understand the deformation of th...
Tony Bernardin, Eric Cowgil, Ryan D. Gold, Bernd H...
JUCS
2008
134views more  JUCS 2008»
13 years 7 months ago
Gaze-based Interaction for Virtual Environments
Abstract We present an alternative interface that allows users to perceive new sensations in virtual environments. Gaze-based interaction in virtual environments creates the feelin...
Jorge Jimenez, Diego Gutierrez, Pedro Latorre