Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Pilegaard, Henrik"'
Autor:
Nielsen, Bo Friis, Nielson, Flemming, Pilegaard, Henrik, Smith, Michael James Andrew, Yüksel, Ender, Zeng, Kebin, Zhang, Lijun
This document was prepared as part of the MT-LAB research centre. The research centre studies the Modelling of Information Technology and is a VKR Centre of Excellence funded for five years by the VILLUM Foundation. You can read more about MT-LAB at
Externí odkaz:
http://arxiv.org/abs/1209.6578
Publikováno v:
In Journal of Logic and Algebraic Programming May 2012 81(4):522-540
Publikováno v:
In Journal of Logic and Algebraic Programming 2008 77(1):92-130
Publikováno v:
In Electronic Notes in Theoretical Computer Science 14 May 2007 175(1):57-70
Autor:
Pilegaard, Henrik
Publikováno v:
Pilegaard, H 2007, Language Based Techniques for Systems Biology . DTU Compute PHD, Technical University of Denmark, DTU Informatics, Building 321, Kgs. Lyngby .
Process calculus is the common denominator for a class of compact, idealised, domain-specific formalisms normally associated with the study of reactive concurrent systems within Computer Science. With the rise of the interactioncentred science of Sys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1202::b9c5f1d254ed3da0eeb458c9aa6692c0
https://orbit.dtu.dk/en/publications/8279b91d-2a9b-45db-979f-d8e8b92e078e
https://orbit.dtu.dk/en/publications/8279b91d-2a9b-45db-979f-d8e8b92e078e
Autor:
Pilegaard, Henrik
Publikováno v:
Pilegaard, H 2003, A feasibility Study: The Succinct Solver v2.0, XSB Prolog v2.6, and Flow-Logic Based Program Analysis for Carmel .
We perform a direct comparison of the {Succinct Solver v2.0} and {XSB Prolog v2.6} based on experiments with {Control Flow Analyses} of scalable {Discretionary Ambient programs} and {Carmel programs}. To facilitate this comparison we expand ALFP clau
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1202::a915e22a795da046541861ec29fc2776
http://orbit.dtu.dk/ws/files/2796593/imm3193.pdf
http://orbit.dtu.dk/ws/files/2796593/imm3193.pdf
Publikováno v:
In Information Processing Letters 2007 103(5):188-194
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Nielson, Flemming, Nielson, Hanne Riis, Bauer, Jörg, Nielsen, Christoffer Rosenkilde, Pilegaard, Henrik
Publikováno v:
Trustworthy Global Computing (9783540786627); 2008, p73-89, 17p
Publikováno v:
Static Analysis (9783540691631); 2008, p32-46, 15p