Search Sciweavers | Sciweavers

1179 search results - page 23 / 236

» Programming in Hybrid Constraint Languages

click to vote

IWOMP
2010
Springer

147views Programming Languages» more IWOMP 2010»

Enabling Low-Overhead Hybrid MPI/OpenMP Parallelism with MPC

14 years 2 months ago

Download mpc.sourceforge.net

Abstract. With the advent of multicore- and manycore-based supercomputers, parallel programming models like MPI and OpenMP become more widely used to express various levels of para...

Patrick Carribault, Marc Pérache, Herv&eacu...

claim paper

Read More »

click to vote

WCFLP
2005
ACM

247views Artificial Intelligence» more WCFLP 2005»

A declarative debugger of incorrect answers for constraint functional-logic programs

14 years 3 months ago

Download gpd.sip.ucm.es

Debugging is one of the essential parts of the software development cycle. However, the usual debugging techniques used in imperative languages such as the step by step execution ...

Rafael Caballero

claim paper

Read More »

click to vote

TNN
2010

182views Management» more TNN 2010»

A discrete-time neural network for optimization problems with hybrid constraints

13 years 4 months ago

Download www1.i2r.a-star.edu.sg

Abstract--Recurrent neural networks have become a prominent tool for optimizations including linear or nonlinear variational inequalities and programming, due to its regular mathem...

Huajin Tang, Haizhou Li, Zhang Yi

claim paper

Read More »

click to vote

ICLP
2007
Springer

138views Automated Reasoning» more ICLP 2007»

Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming

14 years 4 months ago

Download gpd.sip.ucm.es

Rafael Caballero, Mario Rodríguez-Artalejo,...

claim paper

Read More »