1559 search results - page 223 / 312 » The Semantics of Future and Its Use in Program Optimizations |
181
click to vote
TLDI
2010
ACM
16 years 2 months ago
2010
ACM
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
158
click to vote
IEEEPACT
2002
IEEE
15 years 11 months ago
2002
IEEE
Traditional compilers perform their code generation tasks based on a fixed, pre-determined instruction set. This paper describes the implementation of a compiler that determines ...
189
click to vote
JMLR
2012
13 years 8 months ago
2012
In this paper, we propose a second order optimization method to learn models where both the dimensionality of the parameter space and the number of training samples is high. In ou...
151
click to vote
CP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Multi-Point Constructive Search maintains a small set of “elite solutions” that are used to heuristically guide constructive search through periodically restarting se...
140
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
: A reliable multicast algorithm, called RMA, for mobile ad hoc networks is presented that is based on a new cost criterion, called link lifetime, for determining the optimal path ...