Sciweavers

1701 search results - page 134 / 341
» Computer Science and State Machines
Sort
View

News
96views
15 years 2 months ago
Syracuse DWI Lawyer
New York's dedicated DWI DUI DWAI defense lawyer. Hire an experienced Syracuse DWI Lawyer who will protect your rights. Don't let a New York State DWI Ruin your life, ple...
ASM
2005
ASM
15 years 3 months ago
CoreASM: An Extensible ASM Execution Engine
In this paper we introduce a new research effort in making state machines executable. The aim is to specify and implement an execution engine for a language that is as close as po...
Roozbeh Farahbod, Vincenzo Gervasi, Uwe Gläss...
PODC
2004
ACM
15 years 3 months ago
On the design of distributed protocols from differential equations
We propose a framework to translate certain subclasses of differential equation systems into distributed protocols that are practical. The synthesized protocols are state machine...
Indranil Gupta
ENTCS
2007
174views more  ENTCS 2007»
14 years 10 months ago
Quantum Patterns and Types for Entanglement and Separability
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
Simon Perdrix
EWHCI
1994
15 years 2 months ago
Positive Effects of Sound Feedback During the Operation of a Plant Simulator
An experiment was carried out to estimate the effect of sound feedback on the work of a plant operator. Eight students of computer science operated a process simulation program of...
Matthias Rauterberg, Erich Styger