1972 search results - page 189 / 395 » The Timed Asynchronous Distributed System Model |
169
click to vote
GECCO
2009
Springer
16 years 27 days ago
2009
Springer
Solving complex, real-world problems with genetic programming (GP) can require extensive computing resources. However, the highly parallel nature of GP facilitates using a large n...
155
click to vote
IJCNN
2008
IEEE
16 years 23 days ago
2008
IEEE
Abstract— This paper introduces a novel design of an artificial neural network tailored for wafer-scale integration. The presented VLSI implementation includes continuous-time a...
193
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
167
click to vote
SPAA
2006
ACM
16 years 9 days ago
2006
ACM
Suppose we have a parallel or distributed system whose nodes have limited capacities, such as processing speed, bandwidth, memory, or disk space. How does the performance of the s...
161
click to vote
MOBIHOC
2003
ACM
16 years 6 months ago
2003
ACM
In this paper, we address the problem of energy-conscious cache placement in wireless ad hoc networks. We consider a network comprising a server with an interface to the wired net...