10038 search results - page 1979 / 2008 » Model Checking for Managers |
143
Voted
ASPLOS
2006
ACM
15 years 6 months ago
2006
ACM
This paper proposes new network interface controller (NIC) designs that take advantage of integration with the host CPU to provide increased flexibility for operating system kerne...
128
Voted
COOPIS
2004
IEEE
15 years 6 months ago
2004
IEEE
Abstract. This paper introduces ThreadMill - a distributed and parallel component architecture for applications that process large volumes of streamed (time-sequenced) data, such a...
116
Voted
COOPIS
2004
IEEE
15 years 6 months ago
2004
IEEE
We report on an a set of experiments carried out in the context of the Flemish OntoBasis project. Our purpose is to extract semantic relations from text corpora in an unsupervised ...
130
click to vote
CF
2006
ACM
15 years 6 months ago
2006
ACM
This paper presents our experience mapping OpenMP parallel programming model to the IBM Cyclops-64 (C64) architecture. The C64 employs a many-core-on-a-chip design that integrates...
130
Voted
CIKM
2006
Springer
15 years 6 months ago
2006
Springer
We present a novel approach for classifying documents that combines different pieces of evidence (e.g., textual features of documents, links, and citations) transparently, through...