Filters








9,276 Hits in 7.7 sec

Probabilistic Analysis of the Quality Calculus [chapter]

Hanne Riis Nielson, Flemming Nielson
2013 Lecture Notes in Computer Science  
This paper develops a probabilistically based trust analysis supporting the Quality Calculus.  ...  We consider a fragment of the Quality Calculus, previously introduced for defensive programming of software components such that it becomes natural to plan for default behaviour in case the ideal behaviour  ...  Table 1 . 1 A fragment of the Quality Calculus Table 2 . 2 Structural congruence of the Quality Calculus Table 3 . 3 Transition rules of the Quality Calculus  ... 
doi:10.1007/978-3-642-38592-6_18 fatcat:3kcjsndvzfavfisakja23pzarq

An End-to-End Probabilistic Network Calculus with Moment Generating Functions

Markus Fidler
2006 IEEE International Workshop on Quality of Service, IWQoS  
to-end probabilistic network calculus with moment generating functions • Basic properties Jiang, Jiang, and Kong: Analysis of generalized stochastically bounded bursty traffic for communication networks  ...  with Effective Bandwidth, Technical Report, 2003. • Ciucu, Burchard, and Liebeherr: A Network Service Curve Approach for the Stochastic Analysis of Networks, ACM SIGMETRICS, 2005. • Burchard, Liebeherr  ...  • Under stability the above product of MGFs decays quickly with τ • Infinite sums converge and can be solved using geometric series  ... 
doi:10.1109/iwqos.2006.250477 dblp:conf/iwqos/Fidler06 fatcat:ink2ra326reudgu3kooszlglei

A Simple Proof of Linear Scaling of End-to-End Probabilistic Bounds using Network Calculus [article]

Kishore Angrishi, Sujaritha Vettukadu, Ulrich Killat
2012 arXiv   pre-print
Statistical network calculus is the probabilistic extension of network calculus, which uses a simple envelope approach to describe arrival traffic and service available for the arrival traffic in a node  ...  In this paper, we present a simple general proof of computing end-to-end probabilistic performance measures using network calculus that grow linearly in the number of nodes (H).  ...  Among many theories useful for performance analysis of data networks, network calculus has been popular in recent times for deterministic queuing analysis and has evoked lot of interests.  ... 
arXiv:1110.1801v5 fatcat:fkzlkybsw5dxlhg66hrkvitdhy

Stochastic modeling and performance analysis of multimedia SoCs

Balaji Raman, Ayoub Nouri, Deepak Gangadharan, Marius Bozga, Ananda Basu, Mayur Maheshwari, Axel Legay, Saddek Bensalem, Samarjit Chakraborty
2013 2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS)  
Quality of video and audio output is a design-time constraint for portable multimedia devices.  ...  We propose a probabilistic analytical framework that enables low-cost system design and provides bounds for playing acceptable multimedia quality.  ...  Contributions and Organization The main contributions of our paper are as follows: • Stochastic characterization: The stochastic real-time calculus we use for performance analysis captures the probabilistic  ... 
doi:10.1109/samos.2013.6621117 dblp:conf/samos/RamanNGBBMLBC13 fatcat:wvbf63dsebhyzgzubpd5nmucs4

Guest editors' introduction: Special issue on The π-calculus

Uwe Nestmann, Björn Victor
2005 The Journal of Logic and Algebraic Programming  
that prove the proximity of the π-calculus to the field of programming languages, namely generic and applied type systems and control flow analysis based on abstract interpretation.  ...  The π-calculus, originally introduced by Robin Milner, Joachim Parrow, and David Walker back in 1989 arose as a generalization of the algebraic process calculus CCS.  ...  Of course, we also thank the authors of the papers for their high-quality submissions, for meeting deadlines, and for their patience with us in the production of this volume.  ... 
doi:10.1016/j.jlap.2004.01.002 fatcat:6z4qto4zs5az3hq65ixwhsahby

Preface to special issue: ICTAC 2015

MARTIN LEUCKER, JORGE A. PÉREZ, CAMILO RUEDA, FRANK D. VALENCIA
2018 Mathematical Structures in Computer Science  
This issue of Mathematical Structures in Computer Science (MSCS) contains a selection of papers presented at the 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), which took  ...  The paper by Basold, Hansen, Pin and Rutten (Newton Series, Coinductively: A Comparative Study of Composition) uses a coinductive calculus of infinite streams by one of the authors to give an analysis  ...  We are very grateful to the expert reviewers for their very careful reading; their suggestions and recommendations have greatly contributed to the quality of the papers here presented.  ... 
doi:10.1017/s0960129518000130 fatcat:7e2hvlpvnjdkladbg6bzzfuzoa

Workload Loss Examinations with a Novel Probabilistic Extension of Network Calculus [chapter]

András Gulyás, József Bíró
2006 Lecture Notes in Computer Science  
Our novel calculus is a probabilistic extension of the deterministic network calculus, and takes an envelope approach to describe arrivals and services for the quantification of resource requirements in  ...  The estimation of the expected traffic loss ratio (workload loss ratio, WLR) is a key issue in provisioning Quality of Service in packet based communication networks.  ...  Probabilistic extensions of the network calculus are usually referred as statistical network calculus.  ... 
doi:10.1007/11753810_45 fatcat:2kehxuoxyzf4tnaojcdsjp4dgi

Preface

Antonio Cerone, Alessandra Di Pierro
2005 Theoretical Computer Science  
include probability or priorities; • the analysis and verification of probabilistic and timed languages; • the definition of probabilistic or general quantitative models for systems verification; • performance  ...  process; the reviewers who provided valuable help to ensure the papers' high quality; Don Sannella for enthusiastically accepting our proposal and helping at the various stages of the editing process.  ... 
doi:10.1016/j.tcs.2005.08.002 fatcat:7vevncjwvbhpziantnu55upzqa

Delay and Backlog Analysis for 60 GHz Wireless Networks [article]

Guang Yang, Ming Xiao, James Gross, Hussein Al-Zubaidy, Yongming Huang
2016 arXiv   pre-print
We then use this expression to derive probabilistic upper bounds on the backlog and delay that are experienced by a flow traversing this network, using results from the MGF-based network calculus.  ...  We provide numerical results for different networking scenarios and for different traffic and channel parameters and we show that the 60 GHz wireless network is capable of satisfying stringent quality-of-Service  ...  INTRODUCTION In order to satisfy the rapidly increasing demands on higher network performance, e.g., in terms of higher quality-ofexperience (QoE) [1] , quality-of-service (QoS) [2] , and greater mobile  ... 
arXiv:1608.00120v3 fatcat:r2wiy3tkq5esrpmijhwgqkjksu

Delay and Backlog Analysis for 60 GHz Wireless Networks

Guang Yang, Ming Xiao, James Gross, Hussein Al-Zubaidy, Yongming Huang
2016 2016 IEEE Global Communications Conference (GLOBECOM)  
We then use this expression to derive probabilistic upper bounds on the backlog and delay that are experienced by a flow traversing this network, using results from the MGF-based network calculus.  ...  We provide numerical results for different networking scenarios and for different traffic and channel parameters and we show that the 60 GHz wireless network is capable of satisfying stringent quality-of-Service  ...  INTRODUCTION In order to satisfy the rapidly increasing demands on higher network performance, e.g., in terms of higher quality-ofexperience (QoE) [1] , quality-of-service (QoS) [2] , and greater mobile  ... 
doi:10.1109/glocom.2016.7841725 dblp:conf/globecom/YangXGAH16 fatcat:kw37qgugrvcbffmxawxwaf4gle

Toward probabilistic real-time calculus

Luca Santinelli, Liliana Cucu-Grosjean
2011 ACM SIGBED Review  
The obtained interfaces encode timing requirements and probability information of the component in a probabilistic version of the real-time calculus.  ...  Finally, a test case illustrates the potentialities of the proposed model and its applicability in a large variety of problems within the probabilistic real-time scenario.  ...  The aim of this paper is to propose a schedulability analysis of probabilistic real-time systems through the development of a model for probabilistic real-time calculus.  ... 
doi:10.1145/1967021.1967028 fatcat:h7tqd2iztvb6hfzwktur3dj76e

Computational learning and probabilistic reasoning

1996 Computers and Mathematics with Applications  
Assessing the quality of specification-based testing (S.P. Allen and M.R. Woodward). 29. A Comoutational Lenrnina and Probabilistic Reasoning. Edited by A. Gammerman.  ...  Applying metrics for quality analysis and improvement of object-oriented software (1. Morschel and Ch. Ebert). Part 1X. KBS quality. 25.  ... 
doi:10.1016/s0898-1221(96)90001-2 fatcat:wrd3azldsbdqrl53rv64kz5qh4

Guest Editorial: Special Issue on Real-Time Systems—Part II

Giorgio Buttazzo, Tei-Wei Kuo
2009 IEEE Transactions on Industrial Informatics  
The fourth paper, entitled "A Probabilistic Analysis of End-to-End Delays on an AFDX Avionic Network," shows how to compute a probabilistic upper bound in the context of industrial AFDX applications, where  ...  A stochastic network calculus approach is also proposed to analytically determine probabilistic upper bounds for end-to-end delays on avionic flows.  ...  The fourth paper, entitled "A Probabilistic Analysis of End-to-End Delays on an AFDX Avionic Network," shows how to compute a probabilistic upper bound in the context of industrial AFDX applications, where  ... 
doi:10.1109/tii.2009.2015474 fatcat:zjp225je2zcehptk2aiwi6jj7e

Quality-of-service performance bounds in wireless multi-hop relaying networks

K. Zheng, Y. Wang, L. Lei, W. Wang, Y. Lin
2011 IET Communications  
The theoretical analysis on quality-of-service (QoS) performances is required to provide the guides for the developments of the next-generation wireless networks.  ...  As a good analysis tool, the probabilistic network calculus with moment generating functions (MGFs) recently can be used for delay and backlog performance measures in wireless networks.  ...  Also, a methodology based on probabilistic network calculus with MGFs was used for performance analysis of fading channels and only analysis on the cases of a two-state Markov wireless channel was given  ... 
doi:10.1049/iet-com.2009.0794 fatcat:lauulmhuivealoj5ypjpxek3qq

Preface

Mario Bravetti, Roberto Gorrieri
2004 Electronical Notes in Theoretical Computer Science  
The topics of the papers range from information flow security (also in their probabilistic variant) to authentication protocols, from secure program transformation to analysis of imperfect cryptography  ...  There is a large variety of timed/probabilistic/stochastic models and languages that are useful to model systems working under real-time constraints or quality of service requirements; this theme will  ... 
doi:10.1016/j.entcs.2004.06.001 fatcat:njim7ocojbdadcdfumhkyje27y
« Previous Showing results 1 — 15 out of 9,276 results