Filters








2,456 Hits in 4.9 sec

Resource Usage Analysis for the π-Calculus

Naoki Kobayashi, Kohei Suenaga, Lucian Wischik, Davide Sangiorgi
2006 Logical Methods in Computer Science  
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

Edsko de Vries, Adrian Francalanza, Matthew Hennessy
2010 Electronic Proceedings in Theoretical Computer Science  
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

E. DeVries, A. Francalanza, M. Hennessy
2012 Journal of Logic and Computation  
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]

Naoki Kobayashi, Kohei Suenaga, Lucian Wischik
2005 Lecture Notes in Computer Science  
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

Zain-ul-Abdin, Bertil Svensson
2011 2011 IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum  
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

Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari
2011 Electronic Proceedings in Theoretical Computer Science  
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

Jun-Wei Cao, Fan Zhang, Ke Xu, Lian-Chen Liu, Cheng Wu
2011 Journal of Computer Science and Technology  
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

Laura Bocchi, Paolo Ciancarini
2006 Electronical Notes in Theoretical Computer Science  
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

Aurelien Deharbe, Frederic Peschanski
2014 2014 14th International Conference on Application of Concurrency to System Design  
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

James M. Buchanan, Yong J. Yoon
2000 The Journal of law & economics  
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

Hong Chen, Rui Zhang, Ran Cheng, Ting Xu, Tao Zhang, Xiao Hong, Xing Zhao, Yunyun Wu, Li Cheng, Tao Hu
2020 BMC Oral Health  
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]

Silvano Dal Zilio
2001 Lecture Notes in Computer Science  
π-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

Elvira Albert, Frank de Boer, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve
2013 Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies - NordiCloud '13  
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

Jianrui Wang, Richard A. Wysk
2008 2008 Winter Simulation Conference  
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

Ke Xu, Junwei Cao, Lianchen Liu, Cheng Wu
2008 22nd International Conference on Advanced Information Networking and Applications - Workshops (aina workshops 2008)  
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