] Filters: First Letter Of Title is C [Clear All Filters]
"CP-Based Local Branching",
Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, pp. 847-855, 2007.
"Constriant Programming Links with Math Programming",
Wiley Encyclopedia of Operations Research and Management Science, vol. 2, pp. 951--965, 2011.
"A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband Engine",
Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, pp. 21-35, 2008.
"Constraint Programming",
Intelligenza Artificiale, vol. 3, no. 1-2, pp. 28-34, 2006.
"Constraint based scheduling to deal with uncertain durations and self timed execution",
Principles and Practice of Constraint Programming 16th International Conference, CP 2010, St. Andrews, Scotland, pp. 383-397, 2010.
"A constraint based approach to cyclic RCPSP",
Principles and Practice of Constraint Programming, Perugia, Spinger, 2011.
"Constraint and Optimization techniques for supporting Policy Making",
International Symposium on Artificial Intelligence and Mathematics, ISAIM, 2012, 01/2012.
"Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge",
Business Process Management Workshops, vol. 100, Clermont-Ferrand, France, Springer Berlin Heidelberg, pp. 200-211, 01/2012.
"A Configurable Rete-OO Engine for Reasoning with Different Types of Imperfect Information",
IEEE Transactions on Knowledge and Data Engineering, vol. 22, Los Alamitos, CA, USA, IEEE Computer Society, pp. 1535-1548, 2010.
Download: Sottara, Mello, Proctor - A configurable Rete-OO engine for Reasoning with Different Types of Imperfect Information - 2010.pdf (1.78 MB)
"Concurrency and Communication in Transaction Logic",
Proceedings of the Joint International Conference and Symposium on Logic Programming (JICSLP '96): MIT Press, pp. 142-156, 1996.
"A Computational Logic Application Framework for Service Discovery and Contracting",
International Journal Web Service Research, vol. 8, no. 3: IGI Global, pp. 1-25, 2011.
"Communication-aware stochastic allocation and scheduling framework for conditional task graphs in multi-processor systems-on-chip",
Proceedings of the 7th ACM {&} IEEE International conference on Embedded software, EMSOFT 2007, pp. 47-56, 2007.
"Communication-aware allocation and scheduling framework for stream-oriented multi-processor systems-on-chip",
Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, pp. 3-8, 2006.
"Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs",
Proceedings of the 14th International Conference on Application and Theory of Petri Nets, vol. 691: Springer, pp. 186-205, 1993.
"A CHR-based implementation of known arc-consistency",
Theory and Practice of Logic Programming, vol. 5, no. 4-5, pp. 419-440, 2005.
"Challenging Scheduling Problem in the field of System Design",
presented at the ICAPS07 workshop: Scheduling a Scheduling Competition, 2007.
Download: WS.pdf (208.34 KB)
"Cellflow: A Parallel Application Development Environment with Run-Time Support for the Cell BE Processor",
11th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2008, Parma, Italy, pp. 645-650, 2008.