3154 search results - page 129 / 631 » Computing Closed Skycubes |
CONCUR
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. We apply the theory of asynchronous automata to the synthesis problem of closed distributed systems. We use safe asynchronous automata as implementation model, and charac...
ICCS
2003
Springer
14 years 3 months ago
2003
Springer
This paper focuses on modelling and visualisation of mineral shells of foraminifera (unicellular aquatic, mainly marine, organisms). Our recent model follows the moving reference a...
APCCAS
2002
IEEE
14 years 3 months ago
2002
IEEE
The pyramid networks are well-known as suitable structures for parallel computations such as image processing. This paper shows a practical 3D VLSI layout of the N-vertex pyramid ...
CEEMAS
2001
Springer
14 years 2 months ago
2001
Springer
Multiagent systems (MAS) are spreading, in the academic world as well as in industry. Nevertheless, MAS design is still a problem. The agent community now has some experience. So, ...
WIA
2001
Springer
14 years 2 months ago
2001
Springer
A vector algorithm is an algorithm that applies a bounded number of vector operations to an input vector, regardless of the length of the input. In this paper, we describe the link...