9626 search results - page 476 / 1926 » Invariant Based Programming |
182
click to vote
PPDP
2004
Springer
16 years 6 days ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
172
click to vote
CISIS
2010
IEEE
16 years 5 days ago
2010
IEEE
—A new parallel programming framework for DNA sequence alignment in homogeneous multi-core processor architectures is proposed. Contrasting with traditional coarse-grained parall...
207
click to vote
ICARCV
2002
IEEE
15 years 11 months ago
2002
IEEE
Cooperative robotic systems provide design and implementation challenges that are not easy to solve. This paper describes a parallel implementation for evolving cooperative roboti...
181
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
—TD learning and its refinements are powerful tools for approximating the solution to dynamic programming problems. However, the techniques provide the approximate solution only...
191
click to vote
DAC
2009
ACM
15 years 11 months ago
2009
ACM
We propose GRIP, a scalable global routing technique via Integer Programming (IP). GRIP optimizes wirelength and via cost without going through a layer assignment phase. GRIP sele...