A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
Filters
Resource Usage Analysis for the π-Calculus
2006
Logical Methods in Computer Science
Preserved Fulltext
Other Versions
We propose a type-based resource usage analysis for the π-calculus extended with resource creation/access primitives. ...
To the authors' knowledge, ours is the first type-based resource usage analysis that deals with an expressive concurrent language like the pi-calculus. ...
We would also like to thank anonymous referees for useful comments and suggestions. ...
doi:10.2168/lmcs-2(3:4)2006
fatcat:noihreh7ajcpznilngoi7auzsi
Uniqueness Typing for Resource Management in Message-Passing Concurrency
2010
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
To study this problem, we extend the pi-calculus with primitives for channel allocation and deallocation and allow channels to be reused to communicate values of different types. ...
Inevitably, the added expressiveness increases the possibilities for runtime errors. ...
Fig. 1 shows the syntax for the resource pi-calculus. ...
doi:10.4204/eptcs.22.3
fatcat:yke4z7wagzcflcmwl5vbilr43y
Uniqueness typing for resource management in message-passing concurrency
2012
Journal of Logic and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
To study this problem, we extend the pi-calculus with primitives for channel allocation and deallocation and allow channels to be reused to communicate values of different types. ...
Inevitably, the added expressiveness increases the possibilities for runtime errors. ...
Fig. 1 shows the syntax for the resource pi-calculus. ...
doi:10.1093/logcom/exs022
fatcat:ktsdc2v2vrfxveosd6h5gimg6u
Resource Usage Analysis for the π-Calculus
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
We propose a type-based resource usage analysis for the πcalculus extended with resource creation/access primitives. ...
Based on the algorithm, we have implemented a prototype resource usage analyzer for the π-calculus. ...
We would also like to thank anonymous referees for useful comments and suggestions. ...
doi:10.1007/11609773_20
fatcat:mfdryvrmbzetxhvm3oozwdjmlm
Occam-pi as a High-Level Language for Coarse-Grained Reconfigurable Architectures
2011
2011 IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The constructs of occam-pi combine ideas from CSP and pi-calculus to facilitate expressing parallelism, communication, and reconfigurability. ...
In this paper, we demonstrate the applicability of occam-pi for programing an array of functional units, eXtreme Processing Platform (XPP). ...
ACKNOWLEDGMENT The authors would like to thank PACT XPP Technologies for giving access to their software development suite. ...
doi:10.1109/ipdps.2011.147
dblp:conf/ipps/Zain-ul-AbdinS11
fatcat:dq6luivjlfekbdzeuerwvlq424
Predicting global usages of resources endowed with local policies
2011
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Formally, our model takes the shape of an extension of pi-calculus with primitives to manage resources. ...
We develop a Control Flow Analysis computing a static approximation of process behaviour and therefore of the resource usages. ...
Control Flow Analysis In this section, we present a CFA for our calculus, extending the one for π-calculus [5] . ...
doi:10.4204/eptcs.58.4
fatcat:pvfgu3kyivdvbg7k6a4g3rzar4
Formal Verification of Temporal Properties for Reduced Overhead in Grid Scientific Workflows
2011
Journal of Computer Science and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Performance evaluation results show that the RRA approach can dramatically reduce CPU time and memory usage of formal verification ...
A state Pi calculus is proposed and implemented in this work, which not only enables flexible abstraction and management of historical grid system events, but also facilitates modeling and temporal verification ...
Conclusions In this work, We propose state Pi calculus, an extension of the existing Pi calculus for formal representation of grid services. ...
doi:10.1007/s11390-011-1198-4
fatcat:inptypzadzf25fxirjd6zsgzle
On the Impact of Formal Methods in the SOA
2006
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Despite the shared interest in these weaker transactions, supported by most languages for Web service coordination and composition, in many cases there is not an agreement on their semantics. ...
We present an overview of recent research that provide a formal analysis of coordination and composition in Service Oriented Architectures. ...
[9] proposed πt-calculus to address the formal analysis of long running transactions, as specified in XLANG and implemented by Microsoft BizTalk. πt-calculus is an extension of the asynchronous pi calculus ...
doi:10.1016/j.entcs.2006.05.018
fatcat:6cs4luj6mre3vbxpa7gcjhuub4
The Omniscient Garbage Collector: A Resource Analysis Framework
2014
2014 14th International Conference on Application of Concurrency to System Design
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
To illustrate the approach, we study experimentally the resource consumption of pi-calculus processes using a prototype analysis tool. ...
In this paper we propose a simple yet effective characterization of resource usages and develop for it a complete analysis framework. ...
This simple form of garbage collection is implemented by all the analysis tools for the pi-calculus that we are aware of. ...
doi:10.1109/acsd.2014.18
dblp:conf/acsd/DeharbeP14
fatcat:zei6v7vwifagfcvmpd7lqk2pgy
Symmetric Tragedies: Commons and Anticommons
2000
The Journal of law & economics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We analyze the anticommons problem in which resources are inefficiently underutilized rather than overutilized, as in the familiar commons setting. ...
(ADAM SMITH, The Wealth of Nations (1776), bk. 1, ch. 3) * Helpful comments were offered by participants in a seminar at the Center for Study of Public Choice, George Mason University, and particularly ...
In the limit, if the resource is fully open for usage, all the net value of the resource will be dissipated. ...
doi:10.1086/467445
fatcat:ifnbxwlbifhm3k2i64ss7svyzi
Gingival bleeding and calculus among 12-year-old Chinese adolescents: a multilevel analysis
2020
BMC Oral Health
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The objectives of this study were to (1) explore associated factors of gingival bleeding and calculus among 12-year-old adolescents; (2) find predictive models for gingivitis management. ...
For the gingival bleeding cases, the model showed the significant associated indicators were hukou (OR = 0.61, 95% CI: 0.52-0.72), family size (OR = 1.41, 95% CI: 1.19-1.68), parental educational level ...
Acknowledgements The authors thank the technical assistance provided by the Sichuan Centre for Disease Control and Prevention, survey team from the West China Hospital of Stomatology, Sichuan University ...
doi:10.1186/s12903-020-01125-3
pmid:32429918
fatcat:kggb6sjfpnesjiwu27njhlxgtm
Mobile Processes: A Commented Bibliography
[chapter]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
π-calculus of Milner, Parrow and Walker for example, and motile processes, which can exhibit motion, as modelled in the ambient calculus of Cardelli and Gordon. ...
A common characteristic of the algebraic frameworks presented in this paper is the use of names as first class values and the support for the dynamic generation of new, fresh names. ...
Acknowledgments I would like to thank Uwe Nestmann and Peter Sewell for helpful comments. Luca Cardelli and Andy Gordon commented on a previous version of this text. ...
doi:10.1007/3-540-45510-8_11
fatcat:ksp2ci37rbc5jbwokvcs2ugspq
Engineering virtualized services
2013
Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies - NordiCloud '13
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
and quantitative service levels and (2) the dynamic control of resources such as storage and processing capacities according to the internal policies of the services. ...
To foster the industrial adoption of virtualized services, it is necessary to address two important problems: (1) the efficient analysis, dynamic composition and deployment of services with qualitative ...
A different, more abstract SLA formalism is CC-pi [8] , a combination of concurrent constraint programming and pi-calculus formalisms, which models computational processes for specifying and negotiating ...
doi:10.1145/2513534.2513545
dblp:conf/nordicloud/AlbertBHJL13
fatcat:ngwwtqbegffltfehsjprtxtrlm
A Pi-calculus formalism for discrete event simulation
2008
2008 Winter Simulation Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
This paper presents PiDES, a formalism for discrete event simulation based on Pi-calculus. PiDES provides a rigorous semantics of behavior modeling and coordination for simulation federates. ...
The usage of PiDES is illustrated through a case study of a flexible manufacturing system consisting of two machines, two parts, and a robot. ...
For quantitative analysis, the emphasis is often the key performance indices (i.e., waiting time, queue length and resource utilization) of the systems. ...
doi:10.1109/wsc.2008.4736132
dblp:conf/wsc/WangW08
fatcat:hihigstgfzcwlegwr73zlalvnm
Performance Optimization of Temporal Reasoning for Grid Workflows Using Relaxed Region Analysis
2008
22nd International Conference on Advanced Information Networking and Applications - Workshops (aina workshops 2008)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The approach is implemented in GridPiAnalyzer, a Pi Calculus based formal verifier for grid workflows, and validated using gravitational wave data analysis workflows. ...
Relaxed Region Analysis (RRA) is proposed in this work for performance optimization of grid workflow verification by decomposing workflows into separate standard regions with parallel branches. ...
It automatically transforms grid workflow specifications into the process algebra of Pi Calculus and deduces the result into labeled transition systems according to the operational semantics of Pi calculus ...
doi:10.1109/waina.2008.48
dblp:conf/aina/XuCLW08
fatcat:4f33qc6qgrbutl3qy673arggwe
« Previous
Showing results 1 — 15 out of 2,456 results