24554 search results - page 133 / 4911 » Dependable distributed systems |
145
click to vote
ECOOP
2003
Springer
15 years 9 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
170
click to vote
SIGIR
2008
ACM
15 years 4 months ago
2008
ACM
The classical probabilistic models attempt to capture the Ad hoc information retrieval problem within a rigorous probabilistic framework. It has long been recognized that the prim...
128
Voted
JASIS
1998
15 years 4 months ago
1998
This article develops a theoretical framework of distributed representations to explore the representational properties in group problem solving. The basic principle of distribute...
141
click to vote
EUROPAR
2007
Springer
15 years 10 months ago
2007
Springer
The performance of many scientific applications for distributed memory platforms can be increased by utilizing multiprocessor-task programming. To obtain the minimum parallel runt...
156
click to vote
OSDI
2006
ACM
16 years 4 months ago
2006
ACM
Operating systems are complex and their behavior depends on many factors. Source code, if available, does not directly help one to understand the OS's behavior, as the behavi...