99,625 Hits in 6.0 sec

Efficient computation of exact solutions for quantitative model checking

Sergio Giro
2012 Electronic Proceedings in Theoretical Computer Science  
Quantitative model checkers for Markov Decision Processes typically use finite-precision arithmetic.  ...  If all the coefficients in the process are rational numbers, then the model checking results are rational, and so they can be computed exactly.  ...  The author is grateful to David Parker, Vojtech Forejt and Marta Kwiatkowska for useful comments and proofreading.  ... 
doi:10.4204/eptcs.85.2 fatcat:7elewhv2xvcidazb7yzs4dxife

Time Analysis of the State Space of Real-time Preemptive Systems

Abdelkrim Abdelli
2011 International journal of computer and communication technology  
For this effect, we discuss how to determine from the reachability graph linear and quantitative properties of the remote model.  ...  We present in this paper an algorithm making it possible an efficient time analysis of the state space of preemptive real time systems modeled using Time Petri Nets with inhibitor arcs.  ...  However, this technique is costly since it requires to compute the reachability graph of the extended model in order to check over the quantitative property 5 .  ... 
doi:10.47893/ijcct.2011.1102 fatcat:qypk3uzyeva73m4a3cddzkbopq

Model-Checking Based Approaches to Parameter Estimation of Gene Regulatory Networks

Andrzej Mizera, Jun Pang, Qixia Yuan
2014 2014 19th International Conference on Engineering of Complex Computer Systems  
Our goal is to develop new algorithms and tools, which are tailored for the modelling and analysis of gene regulatory networks, by exploring model checking techniques that have been developed and widely  ...  used in computer science.  ...  The core idea of our approach is to exploit the capabilities of stochastic model checking to efficiently compute steady-state distributions of Markov chains and combine them with existing sampling and  ... 
doi:10.1109/iceccs.2014.38 dblp:conf/iceccs/MizeraPY14 fatcat:ejgc4esdqne5hh6eejbyzaukwq

Special issue on: Optimization methods for decision making: advances and applications

Patrizia Beraldi, Maurizio Boccia, Claudio Sterle
2019 Soft Computing - A Fusion of Foundations, Methodologies and Applications  
and heuristic optimization methods for solving complex decision problems, as well as to draw the attention to the solution of new practical problems and emerging applications in different sectors.  ...  We encouraged the submission of papers from the entire Operations Research, Computer Science and quantitative methods communities, and in particular from the participants B Claudio Sterle  ...  The authors present an efficient heuristic approach and compare its performance with the exact solution of the problem by considering a real case study.  ... 
doi:10.1007/s00500-019-03945-0 fatcat:2oset7cvsfavjoq3htutcdbqqy

Preface to special issue on progress of computational seismology

Xiaofei Chen
2010 Earthquake Science  
Since almost no exact or analytical solution exist for a more realistic earth model or earthquake model, numerical computation becomes a must for quantitative seismic study.  ...  This special issue of "Progress of Computational Seismology" is an endeavor for such intention.  ...  Since almost no exact or analytical solution exist for a more realistic earth model or earthquake model, numerical computation becomes a must for quantitative seismic study.  ... 
doi:10.1007/s11589-010-0015-4 fatcat:sfdqwxe6sna2lpif2rrbx7ff5u

Composition of Cloud Collaborations under Consideration of Non-functional Attributes [chapter]

Olga Wenge, Dieter Schuller, Ulrich Lampe, Melanie Siebenhaar, Ralf Steinmetz
2014 Lecture Notes in Computer Science  
Based on our previous research, we examine in our paper efficient composition of cloud collaborations from the broker's perspective, considering Quality of Service and security requirements of cloud providers  ...  A solution is cloud collaborations, where multiple providers unite to conjointly offer capacities.  ...  computation time used by the exact approach.  ... 
doi:10.1007/978-3-662-45391-9_37 fatcat:swfityr7vjay3ku4dtmadlhlv4

Counting the Number of Solutions to Constraints [article]

Jian Zhang, Cunjing Ge, Feifei Ma
2020 arXiv   pre-print
In this paper, we survey research works on the problems of counting the number of solutions to constraints.  ...  We describe some techniques and tools for solving the counting problems, as well as some applications (e.g., applications to automated reasoning, program analysis, formal verification and information security  ...  [35] proposed an algorithm for computing the volume of the solution space of SMT(LRA) formulas.  ... 
arXiv:2012.14366v1 fatcat:fzhrfpfkanbvth6kwzrwpxioa4

Model-Counting Approaches for Nonlinear Numerical Constraints [chapter]

Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Păsăreanu
2017 Lecture Notes in Computer Science  
Model counting is of central importance in quantitative reasoning about systems.  ...  that arise from the analysis of computer programs.  ...  Government is authorized to reproduce and distribute reprints for Governmental purposes notwithstanding any copyright notation thereon.  ... 
doi:10.1007/978-3-319-57288-8_9 fatcat:nahyyk3lozalhpe6l27qnb3ysm

Challenges in Quantitative Abstractions for Collective Adaptive Systems

Mirco Tribastone
2016 Electronic Proceedings in Theoretical Computer Science  
This calls for the development of appropriate quantitative abstraction techniques that preserve most of the system's dynamical behaviour using a more compact representation.  ...  Like with most large-scale systems, the evaluation of quantitative properties of collective adaptive systems is an important issue that crosscuts all its development stages, from design (in the case of  ...  The author is indebted to Luca Cardelli, Max Tschaikowski, and Andrea Vandin for their collaboration in [7, 9, 8] and the numerous fruitful discussions.  ... 
doi:10.4204/eptcs.217.8 fatcat:3cep4abwk5bfnphytxtrcrid54

Quantitative Aspects of Programming Languages and Systems over the past 2^4 years and beyond

Alessandro Aldini
2020 Electronic Proceedings in Theoretical Computer Science  
Quantitative aspects of computation are related to the use of both physical and mathematical quantities, including time, performance metrics, probability, and measures for reliability and security.  ...  Along the last two decades a variety of theoretical achievements and automated techniques have contributed to make quantitative modeling and verification mainstream in the research community.  ...  In addition to efficiency, usability is another important issue of model checking, especially with respect to the problem of interpreting the reasons for unsatisfiability, which has been faced in the setting  ... 
doi:10.4204/eptcs.312.1 fatcat:4fjvygbppjbq3k5ury2kvue3nq

Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491)

Antonio Filieri, Marta Kwiatkowska, Sasa Misailovic, Todd Mytkowicz, Marc Herbstritt
2016 Dagstuhl Reports  
The aim of this seminar was to bring together academic and industrial researchers from the areas of probabilistic model checking, quantitative software analysis, probabilistic programming, and approximate  ...  energy efficiency.  ...  However, the expressiveness of probabilistic programming goes beyond the current capabilities of quantitative program analysis, pushing for the study of new and more efficient solution space quantification  ... 
doi:10.4230/dagrep.5.11.151 dblp:journals/dagstuhl-reports/FilieriKMM15 fatcat:dao63covdjhflma6fflt3meus4

Fuzzy Fingerprint Method for Detection of Sensitive Data Exposure

Staicy Ulahannanl, Roshni Jose
2016 International Journal on Cybernetics & Informatics  
Protecting confidential information is a major concern for organizations and individuals alike, who stand to suffer huge losses if private data falls into the wrong hands.  ...  The privacy-preserving feature of algorithms minimizes the exposure of sensitive data and enables the data owner to safely delegate the detection to others.  ...  the admin of their local repository to check for any data leak.  ... 
doi:10.5121/ijci.2016.5207 fatcat:dltvfeiblrgozec2x4ldqmytiu

Accurate Bending Strength Analysis of the Asymmetric Gear using the Novel ES-PIM with Triangular Mesh

G.R. Liu, G.Y. Zhang, L. Chen
2011 International Journal of Automotive and Mechanical Engineering  
Four key factors, e.g. accuracy, convergence, the convergence rate and the computational efficiency of the present ES-PIM were checked in great detail on these five models, and the distributions of bending  ...  The numerical results indicate that ES-PIM can provide more efficient and accurate solutions in the stress field than the FEM, and is very suitable for stress analysis of complicated asymmetric gears.  ...  It was also partially supported by the Open Research Fund Programme of the State Key Laboratory of Advanced Technology of Design and Manufacturing for Vehicle Bodies, Hunan University, P. R.  ... 
doi:10.15282/ijame.4.2011.1.0031 fatcat:n5f6j45drzeu3js6ffaihnv23e

Model Checking of Biological Systems [chapter]

Luboš Brim, Milan Češka, David Šafránek
2013 Lecture Notes in Computer Science  
We also give a brief account of high performance model checking techniques and add a few case studies that demonstrate the use of model checking in computational systems biology.  ...  Model checking together with other formal methods and techniques is being adapted for applications to biological systems.  ...  sub-problems, or translate the model-checking problem to another one, which admits efficient parallel solution.  ... 
doi:10.1007/978-3-642-38874-3_3 fatcat:gko33i5f6fe33jl4zi2cdte6ha

TIPPtool: Compositional Specification and Analysis of Markovian Performance Models [chapter]

H. Hermanns, V. Mertsiotakis, M. Siegle
1999 Lecture Notes in Computer Science  
The tool offers both model specification and quantitative model analysis in a compositional fashion, wrapped in a userfriendly graphical front-end.  ...  semantics, -Algorithms for deadlock detection and tracing to a given state, -Algorithms for checking bisimulation-style equivalences and for the minimisation of (sub-)models, -Stationary and transient  ...  A series of experiments can be carried out automatically in an efficient manner, generating numerical results for different values of a certain model parameter, while the state space only needs to be generated  ... 
doi:10.1007/3-540-48683-6_42 fatcat:rmc24nctvfdppf6qpkhbv5ddoi
« Previous Showing results 1 — 15 out of 99,625 results