Filters: First Letter Of Title is M [Clear All Filters]
"Multi-stage Benders Decomposition for Optimizing Multicore Architectures",
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008, Paris, France, pp. 36-50, 2008.
"MPOpt-Cell: a high-performance data-flow programming environment for the CELL BE processor",
Conf. Computing Frontiers, pp. 11, 2011.
"Monitoring Time-Aware Commitments Within Agent-Based Simulation Environments",
Cybernetics and Systems, vol. 42, issue 7, no. 7: Taylor & Francis, pp. 21, 2011.
"Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions",
Intelligenza Artificiale, vol. 5, issue 1/2011, no. 1, pp. 101-105, 02/2011.
"A min-flow algorithm for Minimal Critical Set detection in Resource Constrained Project Scheduling",
Artificial Intelligence, 2012.
"Methods for Designing Reliable Probe Arrays",
BIBE, pp. 306-307, 2010.
"Measuring Efficiency and Executability of Allocation and Scheduling in Multi-Processor Systems-on-Chip",
Intelligenza Artificiale, vol. 2, no. 3, pp. 13-20, 2005.
"Making Choices Using Structure at the Instance Level within a Case Based Reasoning Framework",
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, First International Conference, CPAIOR 2004, pp. 380-386, 2004.
"MAGMA: a multiagent architecture for metaheuristics",
IEEE Transactions on Systems, Man, and Cybernetics, Part B, vol. 34, no. 2, pp. 925-941, 2004.

]