3148 search results - page 456 / 630 » On the Dynamic Initialization of Parallel Computers |
159
click to vote
ICDCSW
2002
IEEE
15 years 8 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...
109
click to vote
DAC
1994
ACM
15 years 7 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...
131
Voted
AAAI
2010
15 years 4 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...
108
Voted
ENTCS
2006
15 years 3 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...
136
Voted
NAACL
2010
15 years 1 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...