4810 search results - page 26 / 962 » Modeling Value Speculation |
IPPS
2009
IEEE
15 years 4 months ago
2009
IEEE
HMMer is a widely-used bioinformatics software package that uses profile HMMs (Hidden Markov Models) to model the primary structure consensus of a family of protein or nucleic aci...
CAV
2001
Springer
15 years 1 months ago
2001
Springer
Compositional model checking is used to verify a processor microarchitecture containing most of the features of a modern microprocessor, including branch prediction, speculative ex...
IJAR
2008
14 years 10 months ago
2008
Using Shafer and Vovk's game-theoretic framework for probability, we derive a capital asset pricing model from an efficient market hypothesis, with no assumptions about the b...
ANSS
2007
IEEE
15 years 1 months ago
2007
IEEE
This paper proposes a parallel cycle-accurate microarchitectural simulator which efficiently executes its workload by splitting the simulation process along time-axis into many in...
138
click to vote
STOC
2012
ACM
13 years 8 days ago
2012
ACM
Option contracts are a type of financial derivative that allow investors to hedge risk and speculate on the variation of an asset’s future market price. In short, an option has...