34202 search results - page 75 / 6841 » The Tera computer system |
112
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
Motivated by recent applications of pushdown systems to computer security problems, we present an efficient algorithm for the reachability problem of alternating pushdown systems. ...
120
click to vote
ICCS
2005
Springer
15 years 7 months ago
2005
Springer
The paper presents the Multi Agent System (MAS) designed for the large scale parallel computations. The special kind of diffusionbased scheduling enables to decompose and allocate...
132
click to vote
BERTINORO
2005
Springer
15 years 7 months ago
2005
Springer
Current computing environments are becoming increasingly complex in nature and exhibit unpredictable workloads. These environments create challenges to the design of systems that c...
127
click to vote
ICCS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. A data driven system implies the need to integrate data acquisition and signal processing into the same system that will interact with this information. This can be done ...
121
click to vote
DBISP2P
2003
Springer
15 years 7 months ago
2003
Springer
In this paper we give a robust logical and computational characterisation of peer-to-peer (p2p) database systems. We first define a precise model-theoretic semantics of a p2p sys...