7891 search results - page 962 / 1579 » A Distributed Scheduling Framework |
165
click to vote
DEBS
2007
ACM
15 years 11 months ago
2007
ACM
Event-driven systems are used in a wide range of applications such as responding to missile attacks, interdicting potential terrorists, exploiting arbitrage opportunities and resp...
228
click to vote
RT
1995
Springer
15 years 10 months ago
1995
Springer
: This paper introduces an efficient hierarchical algorithm capable of simulating light transfer for complex scenes containing non-diffuse surfaces. The algorithmstemsfroma newfor...
182
Voted
USENIX
2008
15 years 9 months ago
2008
This paper explores the challenges associated with distributed application management in large-scale computing environments. In particular, we investigate several techniques for e...
217
Voted
FMOODS
2007
15 years 8 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
185
Voted
NIPS
2004
15 years 8 months ago
2004
We consider the problem of structured classification, where the task is to predict a label y from an input x, and y has meaningful internal structure. Our framework includes super...