5548 search results - page 124 / 1110 » Programming a Distributed System Using Shared Objects |
103
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Audio search plays an important role in analyzing audio data and retrieving useful audio information. In this paper, a Partially Overlapping Block-Parallel Active Search method (P...
123
Voted
IMC
2004
ACM
15 years 8 months ago
2004
ACM
This paper characterizes the query behavior of peers in a peer-topeer (P2P) file sharing system. In contrast to previous work, which provides various aggregate workload statistics...
131
Voted
LPAR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
134
Voted
IFL
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...
105
Voted
EUROPAR
2008
Springer
15 years 4 months ago
2008
Springer
nomic Management Abstractions M. Aldinucci1 , M. Danelutto1 , and P. Kilpatrick2 1 Dept. Computer Science, Univ. of Pisa, Italy 2 Dept. Computer Science, Queen's Univ. of Belf...