Sciweavers

5964 search results - page 152 / 1193
» A theory of speculative computation
Sort
View
GCC
2006
Springer
15 years 10 months ago
BSM: A scheduling algorithm for dynamic jobs based on economics theory
In this paper, we propose a new scheduling algorithm with economic theory, called Black Scholes Market (BSM) algorithm for a class of Dynamic Jobs (DJ). BSM is based on the classi...
Bo Cao, Yongwei Wu, Guangwen Yang, Jia Liu, Jianji...
HAID
2008
Springer
15 years 8 months ago
An Audio-Haptic Aesthetic Framework Influenced by Visual Theory
Sound is touch at a distance. The vibration of pressure waves in the air creates sounds that our ears hear, at close range, these pressure waves may also be felt as vibration. This...
Angela Chang, Conor O'Sullivan
164
Voted
CORR
2008
Springer
149views Education» more  CORR 2008»
15 years 7 months ago
Gaussian Belief Propagation for Solving Systems of Linear Equations: Theory and Application
The canonical problem of solving a system of linear equations arises in numerous contexts in information theory, communication theory, and related fields. In this contribution, we...
Ori Shental, Danny Bickson, Paul H. Siegel, Jack K...
JFP
2008
135views more  JFP 2008»
15 years 7 months ago
Hoare type theory, polymorphism and separation
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...
Aleksandar Nanevski, J. Gregory Morrisett, Lars Bi...
153
Voted
JCC
2002
67views more  JCC 2002»
15 years 6 months ago
Quasi-degenerate perturbation theory with general multiconfiguration self-consistent field reference functions
: The quasi-degenerate perturbation theory (QDPT) with complete active space (CAS) self-consistent field (SCF) reference functions is extended to the general multiconfiguration (MC...
Haruyuki Nakano, Ryuma Uchiyama, Kimihiko Hirao