Juan Francisco Díaz

Learn More
We propose PiCO, a calculus integrating concurrent objects and constraints, as a base for music composition tools. In contrast with calculi such as [5], [9] or TyCO [16], both constraints and objects are primitive notions in PiCO. In PiCO a base object model is extended with constraints by orthogonally adding the notion of constraint system found in the(More)
The problem of reconfiguring power distribution system to reduce power losses has been extensively studied because of its significant economic impact. A variety of approximation computational models have recently been proposed. We describe a constraint programming model for this problem, using the MOzArt system. To handle real world reconfiguration systems(More)
Here we introduce DePathos, a graphical tool for a time-tabling constraint engine (Pathos). Since the core of Pathos is text-based and provides little user-interaction, finding an appropriate solution for large problems (1000-2000 variables) can be a very time consuming process requiring the constant supervision of a constraint programming expert. DePathos(More)
Grid computing (GC) systems are large-scale virtual machines, built upon a massive pool of resources (processing time, storage, software) that often span multiple distributed domains. Concurrent users interact with the grid by adding new tasks; the grid is expected to assign resources to tasks in a fair, trustworthy way. These distinctive features of GC(More)