( en | de | ru )

 

Disambiguierung von "Carro, Manuel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring.

, , und . ICSOC/ServiceWave Workshops, Volume 6275 von Lecture Notes in Computer Science, Seite 414-424. (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Vicente Rodríguez Carro

Aaron E Carroll

Rebecca Carroll

John Carroll

Mary Carroll

 

Weitere Publikationen von Autoren mit dem selben Namen

A model-driven approach to teaching concurrency., , und . TOCE, 13 (1): 5:1-5:19 (2013)Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations., , und . ICSOC, Volume 7084 von Lecture Notes in Computer Science, Seite 62-76. Springer, (2011)Towards execution time estimation in abstract machine-based languages., , , und . PPDP, Seite 174-184. ACM, (2008)Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns., , , und . TFM, Volume 3294 von Lecture Notes in Computer Science, Seite 85-106. Springer, (2004)A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation., , und . ICLP, Volume 5366 von Lecture Notes in Computer Science, Seite 795-800. Springer, (2008)Some Paradigms for Visualizing Parallel Execution of Logic Programs., , und . ICLP, Seite 184-200. MIT Press, (1993)The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems., , , , , , und . APPIA-GULP-PRODE, Seite 105-110. (1996)Description, Implementation, and Evaluation of a Generic Design for Tabled CLP., und . CoRR, (2018)Automatic Coding Rule Conformance Checking Using Logic Programs, , , , , und . CoRR, (2007)Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems., , , und . CoRR, (2016)