Manuel Hermenegildo
Universidad Politécnica de Madrid - Technical University of Madrid
70 papers found
Refreshing results…
A Segment-Swapping Approach for Executing Trapped Computations
Download from www.researchgate.netA General Implementation Framework for Tabled CLP
UploadAnalyzing service-oriented systems using their data and structure
Download from www.researchgate.netInterval-Based Resource Usage Verification: Formalization and Prototype
Download from oa.upm.esParallel Backtracking with Answer Memoing for Independent And-Parallelism
Download from oa.upm.esAutomated Attribute Inference in Complex Service Workflows Based on Sharing Analysis
Download from citeseerx.ist.psu.eduAn overview of Ciao and its design philosophy
Download from arxiv.orgModular Extensions for Modular (Logic) Languages
Download from citeseerx.ist.psu.eduCertificate size reduction in Abstraction-Carrying Code
Download from arxiv.orgLock-free parallel dynamic programming
Download from www.researchgate.netIntroduction to the 26th International Conference on Logic Programming Special Issue
Download from arxiv.orgTowards Data-Aware QoS-driven Adaptation for Service Orchestrations.
Download from www.researchgate.netEfficient Local Unfolding with Ancestor Stacks
Download from arxiv.orgNon-strict independence-based program parallelization using sharing and freeness information
Download from www.researchgate.netIntegrating Software Testing and Run-Time Checking in an Assertion Verification Framework
Download from www.researchgate.netProgram Parallelization using Synchronized Pipelining
Download from www.researchgate.netAbstraction-Carrying Code: a Model for Mobile Code Safety
Download from link.springer.comIdentification of Heap-Carried Data Dependence Via Explicit Store Heap Models
Download from citeseerx.ist.psu.eduMissing publications? Search for publications with a matching author name.