982 search results - page 76 / 197 » A Layered Analysis of Consensus |
161
click to vote
PEPM
1993
ACM
15 years 10 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
187
click to vote
DEXA
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we introduce a novel architecture for data processing, based on a functional fusion between a data and a computation layer. We show how such an architecture can be le...
177
click to vote
3DPVT
2006
IEEE
15 years 9 months ago
2006
IEEE
Detection and analysis of ocean surface phenomena have so far relied on manual analysis of long sequences of satellite images or images produced from the mathematical models. In t...
161
click to vote
ACSW
2007
15 years 7 months ago
2007
This paper addresses the problem of performance analysis based on communication modelling of largescale heterogeneous distributed systems with emphases on enterprise grid computin...
188
click to vote
CSREASAM
2006
15 years 7 months ago
2006
Due to many inherent deficiencies and flaws, current intrusion detection systems (IDS) are plagued by numerous problems. Intrusion Detection Systems are often inefficient and inef...