6245 search results - page 988 / 1249 » A Case for Aggregate Networks |
178
click to vote
EMSOFT
2005
Springer
16 years 7 days ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
203
click to vote
FMCO
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
212
click to vote
ICANN
2005
Springer
16 years 6 days ago
2005
Springer
Small mobile robots typically have little on-board processing power for time-consuming vision algorithms. Here we show how they can quickly extract very dense yet highly useful inf...
172
click to vote
ISAAC
2005
Springer
16 years 6 days ago
2005
Springer
This paper presents the SkipTree, a new balanced, distributed data structure for storing data with multidimensional keys in a peer-topeer network. The SkipTree supports range quer...
177
click to vote
MKM
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...