Metabuscador

Filtrado por:

Temas

Idiomas

Recursos

Año

Aproximadamente 2 registro(s) hasta el momento: (base de datos)

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Object oriented modeling of resource assignment problems formulated as CSPs
Rueda, Luis G. - Arias, Ivanna - Ibáñez, Francisco S. - Forradellas Martinez, Raymundo Quilez

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Discrete combinatorial problems can be solved with Constraint Programming (CP) as long as they are formulated as Constraint Satisfaction Problems (CSP). In this paper we propose an object oriented model to solve combinatorial problems of resource assignment including applications in…
Fecha:	2012-11-09
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Diseño y construcción de programas mediante CSP
Aguilar Cornejo, Manuel - Ruiz Barradas, Hector

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	En este artículo presentamos, a través de un caso de estudio, el desarrollo de programas paralelos mediante métodos formales. El caso de estudio es el núcleo básico de un sistema operativo multitarea, y el método formal utilizado es la teoría…
Fecha:	2012-11-09
Recurso:	Unversidad Nacional de La Plata