3107 search results - page 417 / 622 » Parallel Communication |
163
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
173
click to vote
ISCAS
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract— In this paper we present a feature-extracting image sensor targeted to wireless image sensor networks. The image sensor was designed and fabricated on a 3D integrated 0...
171
click to vote
ICDCSW
2005
IEEE
16 years 3 days ago
2005
IEEE
Publish/subscribe is emerging as an appropriate communication paradigm for large-scale, widely-distributed systems. In this paper, we describe our work on integrating active datab...
171
click to vote
CF
2004
ACM
15 years 12 months ago
2004
ACM
Centralized register file architectures scale poorly in terms of clock rate, chip area, and power consumption and are thus not suitable for consumer electronic devices. The conse...
170
click to vote
COORDINATION
2009
Springer
16 years 7 months ago
2009
Springer
This paper presents a transactional framework for low-latency, high-performance, concurrent event processing in Java. At the heart of our framework lies Reflexes, a restricted prog...