8719 search results - page 1506 / 1744 » Visualization of Distributed Processes Using |
123
click to vote
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
139
click to vote
SIGIR
2009
ACM
15 years 10 months ago
2009
ACM
Modern techniques for distributed information retrieval use a set of documents sampled from each server, but these samples have been underutilised in server selection. We describe...
127
click to vote
CCGRID
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper examines the potential of the Cell processor as a platform for secure data mining on the future volunteer computing systems. Volunteer computing platforms have the p...
130
click to vote
CSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Conventional e-mail systems are prone to problems that affect their dependability. E-mail systems operate following a “push-based” approach: the sender side server pushes the ...
139
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
As feature sizes decrease, power dissipation and heat generation density exponentially increase. Thus, temperature gradients in Multiprocessor Systems on Chip (MPSoCs) can serious...