1597 search results - page 178 / 320 » A Design Method for Object-Oriented Programming |
149
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
We apply speculative multithreading to sequential Java programs in software to achieve speedup on existing multiprocessors. A common speculation library supports both Java bytecod...
136
click to vote
MICRO
2000
IEEE
15 years 7 months ago
2000
IEEE
Value prediction breaks data dependencies in a program thereby creating instruction level parallelism that can increase program performance. Hardware based value prediction techni...
117
click to vote
APLAS
2000
ACM
15 years 7 months ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
136
click to vote
IPCO
2008
15 years 4 months ago
2008
Orbital branching is a method for branching on variables in integer programming that reduces the likelihood of evaluating redundant, isomorphic nodes in the branch-and-bound proce...
133
Voted
SBMF
2009
Springer
15 years 9 months ago
2009
Springer
Motivated by issues in designing practical total functional programming languages, we are interested in structured recursive equations that uniquely describe a function not because...