3441 search results - page 259 / 689 » Parallel Logic Programming Systems |
133
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
145
click to vote
ICDCS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a scalable and adaptive decentralized metadata lookup scheme for ultra large-scale file systems (≥ Petabytes or even Exabytes). Our scheme logically organiz...
124
Voted
HPCC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract—In this paper, a novel architecture for a streaming intrusion detection system for Grid computing environments is presented. Detection mechanisms based on traditional lo...
117
click to vote
HPDC
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we introduce the Join-Elect-Leave (JEL) model, a simple yet powerful model for tracking the resources participating in an application. This model is based on the co...
169
Voted
ICCPOL
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper describes a methodology for constructing aligned German-Chinese corpora from movie subtitles. The corpora will be used to train a special machine translation s...