Sciweavers

743 search results - page 3 / 149
» Constraint Programming Architectures: Review and a New Propo...
Sort
View
LISP
2007
124views more  LISP 2007»
14 years 11 months ago
A new generic scheme for functional logic programming with constraints
In this paper we propose a new generic scheme CFLP(D ), intended as a logical and semantic framework for lazy Constraint Functional Logic Programming over a parametrically given co...
Francisco Javier López-Fraguas, Mario Rodr&...
SIGCOMM
1990
ACM
15 years 3 months ago
Architectural Considerations for a New Generation of Protocols
The current generation of protocol architectures, such as TCP/IP or the IS0 suite, seem successful at meeting the demands of todays networks. However, a number of new requirements...
David D. Clark, David L. Tennenhouse
IVC
2000
175views more  IVC 2000»
14 years 11 months ago
Uncalibrated Euclidean reconstruction: a review
This paper provides a review on techniques for computing a three-dimensional model of a scene from a single moving camera, with unconstrained motion and unknown parameters. In the...
Andrea Fusiello
CORR
2010
Springer
67views Education» more  CORR 2010»
14 years 11 months ago
Using ATL to define advanced and flexible constraint model transformations
Abstract. Transforming constraint models is an important task in recent constraint programming systems. User-understandable models are defined during the modeling phase but rewriti...
Raphaël Chenouard, Laurent Granvilliers, Rica...
HPCA
2007
IEEE
15 years 12 months ago
Colorama: Architectural Support for Data-Centric Synchronization
With the advent of ubiquitous multi-core architectures, a major challenge is to simplify parallel programming. One way to tame one of the main sources of programming complexity, n...
Luis Ceze, Pablo Montesinos, Christoph von Praun, ...