562 search results - page 73 / 113 » Concurrent Turing Machines |
DAC
1996
ACM
15 years 4 months ago
1996
ACM
In this paper we present an integrated simulation paradigm in which parallel mixed-mode co-simulation is accomplished by integrating sequential simulators in a software simulation ...
111
click to vote
POPL
2000
ACM
15 years 3 months ago
2000
ACM
Systems that authenticate a user based on a shared secret (such as a password or PIN) normally allow anyone to query whether the secret is a given value. For example, an ATM machi...
103
click to vote
PPDP
2000
Springer
15 years 3 months ago
2000
Springer
Erlang is a concurrent functional programming language designed to ease the development of large-scale distributed soft real-time control applications. It has so far been quite su...
NIPS
2004
15 years 1 months ago
2004
Motivated by the particular problems involved in communicating with "locked-in" paralysed patients, we aim to develop a braincomputer interface that uses auditory stimul...
CASCON
1997
15 years 1 months ago
1997
This paper describes the implementation of a reliable Get-Put interface written for a distributed memory environment. The asynchronous semantics of the Put as well as the split tr...