Sciweavers

4426 search results - page 82 / 886
» Concurrent Constraint Programming
Sort
View
ICLP
2010
Springer
15 years 8 months ago
Constraint Answer Set Programming Systems
Abstract. We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a ve...
Christian Drescher
113
Voted
IPCO
2007
101views Optimization» more  IPCO 2007»
15 years 5 months ago
An Integer Programming Approach for Linear Programs with Probabilistic Constraints
James Luedtke, Shabbir Ahmed, George L. Nemhauser
CONCURRENCY
2004
124views more  CONCURRENCY 2004»
15 years 3 months ago
Checking ownership and confinement
Abstract. A number of formal proposals to manage aliasing in Java-like programming languages have been advanced over the last five years. Unfortunately, it is not clear how practic...
Alex Potanin, James Noble, Robert Biddle
SAC
2010
ACM
15 years 11 months ago
A real-time architecture design language for multi-rate embedded control systems
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...
Julien Forget, Frédéric Boniol, Davi...