246 search results - page 3 / 50 » A Proof System for Asynchronously Communicating Deterministi... |
CONCUR
1998
Springer
13 years 10 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
ICMCS
2009
IEEE
13 years 3 months ago
2009
IEEE
In this paper, the development of a framework based on the Realtime Database (RTDB) for processing multimodal data is presented. This framework allows readily integration of input...
REST
2010
ACM
13 years 10 months ago
2010
ACM
Traditionally, distributed computing problems have been solved by partitioning data into chunks able to be handled by commodity hardware. Such partitioning is not possible in case...
ISCAS
2007
IEEE
14 years 6 days ago
2007
IEEE
— Event-driven spike-based processing systems offer new possibilities for real-time vision. Signals are encoded asynchronously in time thus preserving the time information of the...
ASYNC
2001
IEEE
13 years 9 months ago
2001
IEEE
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...