Sciweavers

3073 search results - page 102 / 615
» Real World Verification
Sort
View
IV
2003
IEEE
118views Visualization» more  IV 2003»
14 years 2 months ago
Mental Representations and Visualization Processes in Organizational Memories
Visual metaphors describe cognitive processes in every part of life and function as a connection between what we see and what we think. Mental activities and perceptional interact...
Stefan Smolnik, Ludwig Nastansky, Torsten Knieps
FCCM
2002
IEEE
208views VLSI» more  FCCM 2002»
14 years 2 months ago
The Effects of Datapath Placement and C-Slow Retiming on Three Computational Benchmarks
C-slow retiming (changing a design to support multiple instances of a computation) and datapath-aware placement have long been advocated by members of the FPGA synthesis community...
Nicholas Weaver, John Wawrzynek
UIST
1993
ACM
14 years 1 months ago
A Toolset for Navigation in Virtual Environments
Maintaining knowledge of current position and orientation is frequently a problem for people in virtual environments. In this paper we present a toolset of techniques based on pri...
Rudolph P. Darken, John L. Sibert
AMAST
2008
Springer
13 years 11 months ago
Simulation Using Orchestration
d Abstract) David Kitchin, Evan Powell, and Jayadev Misra The University of Texas at Austin The real world is inherently concurrent and temporal. For simulating physical phenomena ...
David Kitchin, Evan Powell, Jayadev Misra
JUCS
2008
119views more  JUCS 2008»
13 years 9 months ago
A Model of Interaction for CVEs Based on the Model of Human Communication
: This paper summarizes a model of interaction for CVEs inspired by the process followed in human communication in the real world, detailing both the main elements and the communic...
Diego Martínez, Arturo S. García, Jo...