] Filters: First Letter Of Title is R [Clear All Filters]
"Runtime Addition of Integrity Constraints in Abductive Logic Programs",
Proceedings of the 26th International Conference on Logic Programming (ICLP 2010), 2010.
"Role Monitoring in Open Agent Societies",
Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, vol. LNCS 6070, Gdynia, Poland, Springer, 06/2010.
"Robust Scheduling of Task Graphs under Execution Time Uncertainty",
IEEE Transactions on Computers, vol. 62, issue 1, no. 99: IEEE, pp. 90--111, 2013.
"Robust non-preemptive hard real-time scheduling for clustered multicore platforms",
Design, Automation and Test in Europe, DATE 2009, Nice, France, pp. 803-808, 2009.
"A Retrospective on the Reactive Event Calculus and Commitment Modeling Language",
Declarative Agent Languages and Technologies IX, vol. 7169: Springer Berlin / Heidelberg, pp. 120-127, 2012.
Abstract
"Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming",
24th International Conference of Logic Programming, ICLP 2008, Udine, Italy, pp. 470-484, 2008.
"Reducing the Abstraction and Optimality Gaps in the Allocation and Scheduling for Variable Voltage/Frequency MPSoC Platforms",
IEEE Trans. on CAD of Integrated Circuits and Systems, vol. 28, no. 3, pp. 378-391, 2009.
"A REC-Based Commitment Tracking Tool",
Demo at the 10th AI*IA/TABOO Italian Joint Workshop ``From Objects to Agents'' (WOA 2009), 2009.