Sciweavers

1045 search results - page 152 / 209
» Genetic Simulation Library
Sort
View
ICRA
1998
IEEE
154views Robotics» more  ICRA 1998»
14 years 2 months ago
Vibration Feedback Models for Virtual Environments
Vibrations can significantly enhance touch perception for virtual environment applications with minimal design complexity and cost. In order to create realistic vibrotactile feedb...
Allison M. Okamura, Stanford Dennerlein, Robert D....
SIGGRAPH
1996
ACM
14 years 2 months ago
Adding Force Feedback to Graphics Systems: Issues and Solutions
Integrating force feedback with a complete real-time virtual environment system presents problems which are more difficult than those encountered in building simpler forcefeedback...
William R. Mark, Scott C. Randolph, Mark Finch, Ja...
DNA
2009
Springer
194views Bioinformatics» more  DNA 2009»
14 years 1 months ago
A Domain-Specific Language for Programming in the Tile Assembly Model
We introduce a domain-specific language (DSL) for creating sets of tile types for simulations bstract Tile Assembly Model. The language defines objects known as tile templates, wh...
David Doty, Matthew J. Patitz
DATE
2004
IEEE
129views Hardware» more  DATE 2004»
14 years 1 months ago
On the Design and Verification Methodology of the Look-Aside Interface
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...
Ali Habibi, Asif Iqbal Ahmed, Otmane Aït Moha...
FM
2006
Springer
148views Formal Methods» more  FM 2006»
14 years 1 months ago
Automatic Translation from Circus to Java
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
Angela Freitas, Ana Cavalcanti