1127 search results - page 78 / 226 » Theory Extension in ACL2(r) |
98
Voted
WOSP
2010
ACM
15 years 7 months ago
2010
ACM
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...
121
Voted
HASKELL
2009
ACM
15 years 7 months ago
2009
ACM
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in...
104
Voted
CCGRID
2008
IEEE
15 years 7 months ago
2008
IEEE
Collective operations and non-blocking point-to-point operations are two important parts of MPI that each provide important performance and programmability benefits. Although non...
115
click to vote
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— This paper considers the control problem for selfservowriting in disk drives where information propagation occurs in two independent directions, i.e. time and track num...
IJCNN
2008
IEEE
15 years 7 months ago
2008
IEEE
—Modeling of complex phenomena such as the mind presents tremendous computational complexity challenges. The neural modeling fields theory (NMF) addresses these challenges in a n...