] Filters: First Letter Of Title is C [Clear All Filters]
"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.
"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)
"A CHR-based implementation of known arc-consistency",
Theory and Practice of Logic Programming, vol. 5, no. 4-5, pp. 419-440, 2005.
"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.
"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.
"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.
"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.
"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 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)
"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.
"Constraint and Optimization techniques for supporting Policy Making",
International Symposium on Artificial Intelligence and Mathematics, ISAIM, 2012, 01/2012.
"A constraint based approach to cyclic RCPSP",
Principles and Practice of Constraint Programming, Perugia, Spinger, 2011.
"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.
"Constraint Programming",
Intelligenza Artificiale, vol. 3, no. 1-2, pp. 28-34, 2006.
"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.
"Constriant Programming Links with Math Programming",
Wiley Encyclopedia of Operations Research and Management Science, vol. 2, pp. 951--965, 2011.
"CP-Based Local Branching",
Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, pp. 847-855, 2007.