Filters








2,269 Hits in 5.0 sec

Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors

Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns
2014
In this paper, we introduce Probabilistic Timed Rebeca (PTRebeca) as an actor-based language for modeling probabilistic distributed real-time systems with asynchronous message passing.  ...  We use PRISM for performance analysis of PTRebeca models against expected reachability and probabilistic reachability properties.  ...  Acknowledgement The work on this paper was supported by the project "Timed Asynchronous Reactive Objects in Distributed Systems: TARO" (nr. 110020021) of the Icelandic Research Fund.  ... 
doi:10.14279/tuj.eceasst.70.984.963 fatcat:pjrvgnjtkjbudeutuatc4c6tq4

A Survey of Active Object Languages

Frank De Boer, Kiko Fernandez-Reyes, Albert Mingkun Yang, Vlad Serbanescu, Reiner Hähnle, Ludovic Henrio, Justine Rochas, Crystal Chang Din, Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah
2017 ACM Computing Surveys  
Probabilistic Timed Rebeca [59] extends Timed Rebeca to capture probabilistic behavior and can only be analyzed using back-end tools.  ...  of time None SOS, RT Maude, Timed Automata, FTTS Afra integrated tool, various backends Probabilistic Timed Rebeca Probabilistic real-time actors As in TRebeca As in TR None SOS  ... 
doi:10.1145/3122848 fatcat:ovdeu5o3mbanlectgc6r7kv5he

Distributed Bayesian Probabilistic Matrix Factorization

Tom Vander Aa, Imen Chakroun, Tom Haber
2017 Procedia Computer Science  
In this paper, we propose a distributed high-performance parallel implementation of the BPMF using Gibbs sampling on shared and distributed architectures.  ...  We show by using efficient load balancing using work stealing on a single node, and by using asynchronous communication in the distributed version we beat state of the art implementations.  ...  We acknowledge IT4I for providing access to the Anselm and Salomon systems.  ... 
doi:10.1016/j.procs.2017.05.009 fatcat:abgfuxkud5gxzcajv65ukee4c4

Semantical Systems [chapter]

A. H. Lightstone
1978 Mathematical Logic  
literature, making connections with distributed systems, and using semantical approaches for modeling and design.  ...  The paper includes the initial research steps taken for describing the semantical modeling and designing of CPS systems, with conclusions regarding further deep analysis and considerations on systems'  ...  by the Research and Technology Innovation Fund and was performed in cooperation with the EIT ICT Labs Budapest Associate Partner Group (www.ictlabs.elte.hu).  ... 
doi:10.1007/978-1-4615-8750-7_8 fatcat:2t3czvkkgfdkfn2blvx7ipdkfe

Model checking of Scenario-Aware Dataflow with CADP

B. Theelen, J-P Katoen, Hao Wu
2012 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)  
Encountered challenges included dealing with probabilistic choice and potentially unbounded buffers, both of which are not natively supported, as well as a fundamental difference in the underlying time  ...  To this end, we propose a compositional IMC semantics for SADF based on which the Construction and Analysis of Distributed Processes (CADP) tool suite enables model checking various properties.  ...  The original semantics of SADF is defined in terms of so-called Timed Probabilistic Systems [36] . They contain action, probabilistic and deterministic time transitions.  ... 
doi:10.1109/date.2012.6176552 dblp:conf/date/TheelenKW12 fatcat:xspknfeapff3zfr6z27gdby6we

Flick Fortune: Movie Gross Prediction using Data Analysis and Prediction

V. Balamurugan
2018 International Journal for Research in Applied Science and Engineering Technology  
Our proposed system is the implementation of probabilistic prediction of data from the extensive analysis.  ...  We use web scrapper code with TMDB API to fetch attributes of the movies such as actor name, director, musician, producer and budget.  ...  The graphical representation of year wise actors' performance, actor wise performance will be done with a graph using Graphics library in PHP.  ... 
doi:10.22214/ijraset.2018.4799 fatcat:ucdtdbgodbd6hcr6a4v4lb7b7u

Statistical Model Checking for Composite Actor Systems [chapter]

Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing
2013 Lecture Notes in Computer Science  
We prove the correctness of the scheduling approach and the soundness of the transformation by introducing the notions of strong zero-time rule confluence and time-passing bisimulation and by showing that  ...  The underlying executable specification formalism we use is the rewriting logic-based semantic framework Maude, its probabilistic extension PMaude, and the statistical model checker PVeStA.  ...  Actors can be used to model and reason about distributed and concurrent systems in a natural way [2] .  ... 
doi:10.1007/978-3-642-37635-1_9 fatcat:impkwpxfarfahjoivqml3tfdqe

PMaude: Rewrite-based Specification Language for Probabilistic Object Systems

Gul Agha, José Meseguer, Koushik Sen
2006 Electronical Notes in Theoretical Computer Science  
Because distributed and concurrent communication protocols can be modelled using actors (concurrent objects with asynchronous message passing), we provide an actor PMaude module.  ...  used to model and analyze probabilistic systems.  ...  Acknowledgement The authors would specially like to acknowledge Nirman Kumar for his contribution to the development of an earlier finitary version of PMaude.  ... 
doi:10.1016/j.entcs.2005.10.040 fatcat:2oy33i6jpbevriuewrlh6tt5m4

Performance modelling of a network processor using POOSL

B.D. Theelen, J.P.M. Voeten, R.D.J. Kramer
2003 Computer Networks  
In this paper, we illustrate that constructing abstract models of synchronous systems for the purpose of performance analysis may benefit from an asynchronous modelling approach.  ...  Being equipped with a formal semantics, POOSL ensures unambiguous execution of models and proper application of performance analysis techniques.  ...  Verhappen of the IBM Z€ u urich Research Laboratory and F.N. van Wijk of the Eindhoven University of Technology for their comments on draft versions of this paper.  ... 
doi:10.1016/s1389-1286(02)00455-3 fatcat:sefottilgrgh5bghpotb46n62u

Statistical Model Checking Of Multi-Agent Systems

Libero Nigro, Paolo F. Sciammarella
2017 ECMS 2017 Proceedings edited by Zita Zoltay Paprika, Péter Horák, Kata Váradi, Péter Tamás Zwierczyk, Ágnes Vidovics-Dancs, János Péter Rádics  
Usefulness and validation of the approach are checked by applying it to a known complex and adaptive model of the Iterated Prisoner's Dilemma (IPD) game, by studying the emergence of cooperation in the  ...  This paper proposes an original approach to modelling and simulation of multi-agent systems which is based on statistical model checking (SMC).  ...  the IPD models toward an investigation of new player strategies;  Extending the UPPAAL SMC approach to modelling and analysis of distributed probabilistic real-time actor systems.  ... 
doi:10.7148/2017-0011 dblp:conf/ecms/NigroS17 fatcat:ecqet7vuyvbolhr67e2qzqe25m

HAPI

Philip S. Kurtin, Joost P.H.M. Hausmans, Marco J.G. Bekooij
2016 Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems - SCOPES '16  
In this paper we present HAPI, an event driven simulator for the evaluation of the results of real-time analysis techniques for task graphs executed on multiprocessor systems that support processor sharing  ...  Many embedded multiprocessor systems have hard real-time requirements which should be guaranteed at design time by means of analytical techniques that cover all cases.  ...  The underlying formal model of POOSL is the Timed Probabilistic Labeled Transition System (TPLTS).  ... 
doi:10.1145/2906363.2906381 dblp:conf/scopes/KurtinHB16 fatcat:5robx2an25fzfafkpytuodzifi

On Time Actors [chapter]

Marjan Sirjani, Ehsan Khamespanah
2016 Lecture Notes in Computer Science  
Timed Rebeca is an actor-based modeling language which is designed for modeling and analyzing of event-based and asynchronous systems with time constraints.  ...  Timed Rebeca is equipped with analysis techniques based on the standard semantics of timed systems, and also an innovative event-based semantics that is tailored for timed actor models.  ...  The Standard Semantics: Time Transition System FTTS can be used for efficient event-based analysis of Timed Rebeca models; however, it can not be used for the analysis against timed state-based properties  ... 
doi:10.1007/978-3-319-30734-3_25 fatcat:rcgkhc6l2zcqte24or54k2tvte

Structural Changes Associated with the Temporal Dispersion of Teams: Evidence from Open Source Software Projects

Jorge Colazo
2014 2014 47th Hawaii International Conference on System Sciences  
are sparser and more centralized, and these associations are stronger in those teams exhibiting higher relative performance.  ...  This study relies on Media Synchronicity Theory and Social Network Analysis to analyze how the structure of collaboration networks change when collaborating teams become temporally dispersed.  ...  Social network analysis The theory behind Social Network Analysis (SNA) [33] sees features of social actors as the result of the actors' embeddedness in multiple networks.  ... 
doi:10.1109/hicss.2014.45 dblp:conf/hicss/Colazo14 fatcat:mvf3ril64nb35ftlpf4etjrh3y

STRUCTURAL CHANGES ASSOCIATED WITH TEMPORAL DISPERSION IN SOFTWARE DEVELOPMENT TEAMS: EVIDENCE FROM OPEN SOURCE SOFTWARE PROJECT TEAMS

JORGE COLAZO
2014 International Journal of Innovation Management  
This study uses Media Synchronicity Theory (MST) to derive hypotheses positing that the structure of collaboration networks in distributed teams changes when those teams are more temporally dispersed.  ...  more temporally dispersed are sparser and more centralised, and these associations are stronger in those teams exhibiting higher relative performance.  ...  Also, even with the use of the same kind of asynchronous media, since in general there will be a difference in working times, the time for effective delivery of the message is increased, and then transmission  ... 
doi:10.1142/s1363919614500303 fatcat:q3clbmltzbeinlouif4aws6wp4

Simulation-based Safety Assessment of High-level Reliability Models

Simon József Nagy, Bence Graics, Kristóf Marussy, András Vörös
2020 Electronic Proceedings in Theoretical Computer Science  
Systems engineering approaches use high-level models to capture the architecture and behavior of the system.  ...  Instead of creating low-level analysis models, our approach builds on engineering models in safety analysis by exploiting the simulation capabilities of recent probabilistic programming and simulation  ...  Acknowledgment This work was partially supported by theÚNKP-19-3 New National Excellence Program of the Ministry for Innovation and Technology and the European Union, co-financed by the European Social  ... 
doi:10.4204/eptcs.316.9 fatcat:bl3ueqxle5gk5ii3rkyvbnxnxm
« Previous Showing results 1 — 15 out of 2,269 results