1972 search results - page 88 / 395 » The Timed Asynchronous Distributed System Model |
114
Voted
EDOC
2007
IEEE
15 years 8 months ago
2007
IEEE
The paper considers distributed applications where interactions between constituent services take place via messages in an asynchronous environment with unpredictable communicatio...
122
Voted
ESANN
2006
15 years 3 months ago
2006
Abstract. Despite several previous studies, little progress has been made in building successful neural systems for image segmentation in digital hardware. Spiking neural networks ...
125
Voted
ICPP
2007
IEEE
15 years 8 months ago
2007
IEEE
Performance and power are critical design constraints in today’s high-end computing systems. Reducing power consumption without impacting system performance is a challenge for t...
132
click to vote
SASN
2003
ACM
15 years 7 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
128
Voted
IJCAI
2001
15 years 3 months ago
2001
This paper presents an efficient online mode estimation algorithm for a class of sensor-rich, distributed embedded systems, the so-called hybrid systems. A central problem in dist...