Sciweavers

1989 search results - page 271 / 398
» Set functions for functional logic programming
Sort
View
ISPASS
2009
IEEE
15 years 10 months ago
Experiment flows and microbenchmarks for reverse engineering of branch predictor structures
Insights into branch predictor organization and operation can be used in architecture-aware compiler optimizations to improve program performance. Unfortunately, such details are ...
Vladimir Uzelac, Aleksandar Milenkovic
CRV
2006
IEEE
223views Robotics» more  CRV 2006»
15 years 9 months ago
Disparity Map Estimation Using A Total Variation Bound
This paper describes a new variational method for estimating disparity from stereo images. The stereo matching problem is formulated as a convex programming problem in which an ob...
Wided Miled, Jean-Christophe Pesquet
ECOOP
1999
Springer
15 years 7 months ago
Type-Safe Delegation for Run-Time Component Adaptation
Abstract. The aim of component technology is the replacement of large monolithic applications with sets of smaller software components, whose particular functionality and interoper...
Günter Kniesel
EPIA
1999
Springer
15 years 7 months ago
Combinatorial Optimization in OPL Studio
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the first modeling language to combine high-level algebraic and set notation...
Pascal Van Hentenryck, Laurent Michel, Philippe La...
SIGGRAPH
1994
ACM
15 years 7 months ago
TBAG: a high level framework for interactive, animated 3D graphics applications
We present a paradigm and toolkit for rapid prototyping of interactive, animated 3D graphics programs. The paradigm has its roots in declarative programming, emphasizing immutable...
Conal Elliott, Greg Schechter, Ricky Yeung, Salim ...