3148 search results - page 456 / 630 » On the Dynamic Initialization of Parallel Computers |
146
click to vote
ICDCSW
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper we focus on the design of high performance peer-to-peer content sharing systems. In particular, our goal is to achieve global load balancing and short user-request r...
DAC
1994
ACM
15 years 6 months ago
1994
ACM
- This paper describes a symbolic formulation that allows incorporation of speculative operation execution (preexecution) in an exact control-dependent scheduling of arbitrary forw...
118
click to vote
AAAI
2010
15 years 3 months ago
2010
Auctions are promising decentralized methods for teams of agents to allocate and re-allocate tasks among themselves in dynamic, partially known and time-constrained domains with p...
96
Voted
ENTCS
2006
15 years 1 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...
118
click to vote
NAACL
2010
14 years 11 months ago
2010
Adaptor grammars extend probabilistic context-free grammars to define prior distributions over trees with "rich get richer" dynamics. Inference for adaptor grammars seek...