5810 search results - page 1007 / 1162 » An Approach to Programming Based on Concepts |
194
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
182
click to vote
DISOPT
2011
14 years 10 months ago
2011
In recent years there has been growing interest in generating valid inequalities for mixedinteger programs using sets with 2 or more constraints. In particular, Andersen et al. (2...
196
click to vote
ACL
2012
13 years 8 months ago
2012
In this work we present two extensions to the well-known dynamic programming beam search in phrase-based statistical machine translation (SMT), aiming at increased efficiency of ...
176
click to vote
CODES
2007
IEEE
16 years 23 days ago
2007
IEEE
We present a co-synthesis approach that accelerates reactive software processing by moving the calculation of complex expressions into external combinational hardware. The startin...
170
click to vote
IPPS
2006
IEEE
16 years 13 days ago
2006
IEEE
As the desire of scientists to perform ever larger computations drives the size of today’s high performance computers from hundreds, to thousands, and even tens of thousands of ...