Sciweavers

10848 search results - page 187 / 2170
» Programming in Biomolecular Computation
Sort
View
CCGRID
2003
IEEE
15 years 10 months ago
Distributed Computing with Hierarchical Master-worker Paradigm for Parallel Branch and Bound Algorithm
This paper discusses the impact of the hierarchical master-worker paradigm on performance of an application program, which solves an optimization problem by a parallel branch and ...
Kento Aida, Wataru Natsume, Yoshiaki Futakata
DIGRA
2003
Springer
15 years 10 months ago
Wargaming and Computer Games: Fun with the Future
This essay explores aspects of the history of wargaming in order to develop fresh perspectives on the analysis of contemporary computer games. Wargaming is considered in relation ...
Patrick Crogan
ICCL
1998
IEEE
15 years 9 months ago
Distributed Computations Driven by Resource Consumption
Millions of computers are now connected together by the Internet. At a fast pace, applications are taking advantage of these new capabilities, and are becoming parallel and distri...
Luc Moreau, Christian Queinnec
EUROPAR
2000
Springer
15 years 8 months ago
BitValue Inference: Detecting and Exploiting Narrow Bitwidth Computations
We present a compiler algorithm called BitValue, which can discover both unused and constant bits in dusty-deck C programs. BitValue uses forward and backward dataflow analyses, ge...
Mihai Budiu, Majd Sakr, Kip Walker, Seth Copen Gol...
ENTCS
2007
82views more  ENTCS 2007»
15 years 4 months ago
On the Computational Representation of Classical Logical Connectives
Many programming calculi have been designed to have a Curry-Howard correspondence with a classical logic. We investigate the effect that different choices of logical connective ha...
Jayshan Raghunandan, Alexander J. Summers