12084 search results - page 288 / 2417 » Effect Systems with Subtyping |
212
click to vote
OSDI
1994
ACM
15 years 8 months ago
1994
ACM
We describe the lockingarchitecture of a new operating system, HURRICANE, designed for large scale shared-memory multiprocessors. Many papers already describe kernel lockingtechni...
196
click to vote
IANDC
2008
15 years 7 months ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
201
click to vote
ITSSA
2006
15 years 7 months ago
2006
Abstract. A growing amounts of information are currently being generated and stored in the World Wide Web (WWW), in particular, researchers in any field can find a lot of publicati...
210
click to vote
JMLR
2006
15 years 7 months ago
2006
Parallel software for solving the quadratic program arising in training support vector machines for classification problems is introduced. The software implements an iterative dec...
169
click to vote
TCSV
2008
15 years 7 months ago
2008
We observe that an effect of "disk resource sharing" of multi-copy movie traffic has great impact on the blocking performance of a video-on-demand system. This observatio...