5962 search results - page 454 / 1193 » Working with Patterns and Code |
158
click to vote
ENTCS
2008
15 years 7 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
179
click to vote
CMPB
2007
15 years 6 months ago
2007
This paper describes a method to integrate digital topology informations in image processing libraries. This additional information allows a library user to write algorithms respe...
185
click to vote
MP
2006
15 years 6 months ago
2006
We present a primal-dual interior-point algorithm with a filter line-search method for nonlinear programming. Local and global convergence properties of this method were analyzed i...
189
click to vote
JFP
2002
15 years 6 months ago
2002
Higher-order languages, such as Haskell, encourage the proto build abstractions by composing functions. A good compiler must inline many of these calls to recover an e ciently exe...
160
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Real-time high-definition video encoding is a computationhungry task that challenges software-based solutions. For that, in this work we adopted an Intel software implementation o...