Search results for "PASM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
75	Edward C. Bronson, Thomas L. Casavant, Leah H. Jamieson	Experimental Application-Driven Architecture Analysis of an SIMD/MIMD Parallel Processing System.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	application-driven architecture analysis, SIMD/MIMD parallel processing system, execution-time measurements, barrier-synchronized MIMD, floating-point arithmetic operations, interconnection network transfer operations, program control overhead, computational intensive algorithms, performance evaluation, parallel architectures, multiprocessor interconnection networks, fast Fourier transforms, parallel machines, synchronisation, controlled experiments, PASM, parallel fast Fourier transform
54	Howard Jay Siegel, Tracy D. Braun, Henry G. Dietz, Mark Bernd Kulaczewski, Muthucumaru Maheswaran, Pierre H. Pero, Janet M. Siegel, John John E. So, Min Tan 0002, Mitchell D. Theys, Lee Wang	The PASM Project: A Study of Reconfigurable Parallel Computing.	ISPAN	1996	DBLP DOI BibTeX RDF	reconfigurable computer systems, parallel processing, programming languages, SIMD, video compression, MIMD, PASM, mixed-mode
54	David Lee Tuomenoksa, Howard Jay Siegel	Determining an Optimal Secondary Storage Service Rate for the PASM Control System.	IEEE Trans. Computers	1986	DBLP DOI BibTeX RDF	multimicroprocessor systems, multiple-SIMD machines, performance evaluation, parallel processing, Memory management, virtual memory, paging, PASM, operational analysis
54	Howard Jay Siegel, Leah J. Siegel, Frederick C. Kemmerer, Philip T. Mueller Jr., Harold E. Smalley, S. Diane Smith	PASM: A Partitionable SIMD/MIMD System for Image Processing and Pattern Recognition.	IEEE Trans. Computers	1981	DBLP DOI BibTeX RDF	multimicroprocessor systems, multiple-SIMD machines, partitionable computer systems, reconfigurable computer systems, Image processing, parallel processing, memory management, SIMD machines, PASM, MIMD machines
51	Matthew Forshaw, Marco Gribaudo, William J. Knottenbelt, Nigel Thomas (eds.)	Tenth International Workshop on the Practical Application of Stochastic Modelling, PASM 2019, Milan, Italy, November 2019	PASM	2020	DBLP BibTeX RDF
51	Loubna Echabbi, Jean-Michel Fourneau, Oussama Gacem, Houda Lotfi, Nihal Pekergin	Stochastic Bounds for the Max Flow in a Network with Discrete Random Capacities.	PASM	2019	DBLP DOI BibTeX RDF
51	Ali Alssaiari, Nigel Thomas	Energy Consumption by Servers under Unknown Service Demand.	PASM	2019	DBLP DOI BibTeX RDF
51	Luca Arnaboldi 0001, Ricardo M. Czekster, Charles Morisset, Roberto Metere	Modelling Load-Changing Attacks in Cyber-Physical Systems.	PASM	2019	DBLP DOI BibTeX RDF
51	Matthew Forshaw, Marco Gribaudo, William J. Knottenbelt, Nigel Thomas	Preface.	PASM	2019	DBLP DOI BibTeX RDF
51	Enrico Barbierato, Marco Gribaudo, Mauro Iacono, Alexander H. Levis	Evaluating the Safety of Crowds in Enclosed Spaces by Markovian Agents.	PASM	2019	DBLP DOI BibTeX RDF
51	Lelio Campanile, Mauro Iacono, Stefano Marrone 0001, Michele Mastroianni	On Performance Evaluation of Security Monitoring in Multitenant Cloud Applications.	PASM	2019	DBLP DOI BibTeX RDF
51	Amin Soltanieh, Markus Siegle	Compositional Model Checking and Model Repair for a Class of Product Form Models.	PASM	2019	DBLP DOI BibTeX RDF
51	Ohud Almutairi, Nigel Thomas	Performance Modelling of the Impact of Cyber Attacks on a Web-based Sales System.	PASM	2019	DBLP DOI BibTeX RDF
51	Matthew Forshaw, William J. Knottenbelt, Nigel Thomas, Katinka Wolter (eds.)	Proceedings of the Ninth International Workshop on the Practical Application of Stochastic Modelling, PASM 2017, Berlin, Germany, September 9, 2017	PASM	2018	DBLP BibTeX RDF
51	Matthew Forshaw, William J. Knottenbelt, Nigel Thomas, Katinka Wolter	Preface.	PASM	2017	DBLP DOI BibTeX RDF
51	Karim Lounis	Stochastic-based Semantics Of Attack-Defense Trees For Security Assessment.	PASM	2017	DBLP DOI BibTeX RDF
51	Said Naser Said Kamil, Nigel Thomas	Investigating the Cost of Transfer Delay on the Performance of Security in Cloud Computing.	PASM	2017	DBLP DOI BibTeX RDF
51	Illés Horváth, Zsófia Talyigás, Miklós Telek	An Optimal Inverse Laplace Transform Method Without Positive and Negative Overshoot - An Integral Based Interpretation.	PASM	2017	DBLP DOI BibTeX RDF
51	Marco Gribaudo, Mauro Iacono, Daniele Manini	Performance Evaluation of Replication Policies in Microservice Based Architectures.	PASM	2017	DBLP DOI BibTeX RDF
51	Marco Gribaudo, Riccardo Pinciroli, Kishor S. Trivedi	Epistemic Uncertainty Propagation in Power Models.	PASM	2017	DBLP DOI BibTeX RDF
51	Paul Piho, Anastasis Georgoulas, Jane Hillston	Goals and Resource Constraints in CARMA.	PASM	2017	DBLP DOI BibTeX RDF
51	Björn F. Postema, Boudewijn R. Haverkort	Evaluation of Advanced Data Centre Power Management Strategies.	PASM	2017	DBLP DOI BibTeX RDF
51	Marziyeh Bayati	Power Management Policy for Heterogeneous Data Center Based on Histogram and Discrete-Time MDP.	PASM	2017	DBLP DOI BibTeX RDF
51	Johanne Cohen, A. Fauquette, Jean-Michel Fourneau, G. C. Noukela, Nihal Pekergin	Convex Stochastic Bounds and Stochastic Optimisation on Graphs.	PASM	2017	DBLP DOI BibTeX RDF
51	Claudia Krull, Marcus Thiel, Graham Horton	Testing Applicability of Virtual Stochastic Sensors for Non-Intrusive Appliance Load Monitoring.	PASM	2017	DBLP DOI BibTeX RDF
51	Boudewijn R. Haverkort, William J. Knottenbelt, Anne Remke, Nigel Thomas (eds.)	8th International Workshop on Practical Application of Stochastic Modeling, PASM 2016, Münster, Germany, April 2016	PASM	2016	DBLP BibTeX RDF
51	Enrico Barbierato, Marco Gribaudo, Mauro Iacono	Modeling Hybrid Systems in SIMTHESys.	PASM	2016	DBLP DOI BibTeX RDF
51	Jean-Michel Fourneau, Nihal Pekergin	Dynamic Fault Trees with Rejuvenation: Numerical Analysis and Stochastic Bounds.	PASM	2016	DBLP DOI BibTeX RDF
51	Christoph Müller, Piotr Rygielski, Simon Spinner, Samuel Kounev	Enabling Fluid Analysis for Queueing Petri Nets via Model Transformation.	PASM	2016	DBLP DOI BibTeX RDF
51	Kalyan S. Perumalla, Mohammed M. Olama, Srikanth B. Yoginath	Model-based Dynamic Control of Speculative Forays in Parallel Computation.	PASM	2016	DBLP DOI BibTeX RDF
51	Stefan Haar, Simon Theissing	Forecasting Passenger Loads in Transportation Networks.	PASM	2016	DBLP DOI BibTeX RDF
51	Boudewijn R. Haverkort, William J. Knottenbelt, Anne Remke, Nigel Thomas	Preface.	PASM	2016	DBLP DOI BibTeX RDF
51	Michael T. Todinov	Stochastic Pruning and Its Application for Fast Estimation of the Expected Total Output of Complex Systems.	PASM	2016	DBLP DOI BibTeX RDF
51	Qiushi Wang, Fabian Reimeier, Katinka Wolter	Efficient Image Stitching through Mobile Offloading.	PASM	2016	DBLP DOI BibTeX RDF
51	Jeremy T. Bradley, William J. Knottenbelt, Nigel Thomas (eds.)	Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, PASM 2014, Newcastle-upon-Tyne, UK, May 2014	PASM	2015	DBLP BibTeX RDF
51	Jeremy T. Bradley, William J. Knottenbelt, Nigel Thomas	Preface.	PASM	2014	DBLP DOI BibTeX RDF
51	Marco Gribaudo, Mauro Iacono, Stefano Marrone 0001	Exploiting Bayesian Networks for the Analysis of Combined Attack Trees.	PASM	2014	DBLP DOI BibTeX RDF
51	Luca Bortolussi, Jane Hillston, Mirco Tribastone	Fluid Performability Analysis of Nested Automata Models.	PASM	2014	DBLP DOI BibTeX RDF
51	Leonardo Montecchi, Nicola Nostro, Andrea Ceccarelli, Giuseppe Vella, Antonio Caruso 0002, Andrea Bondavalli	Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform.	PASM	2014	DBLP DOI BibTeX RDF
51	Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi	Asymptotic Behavior and Performance Constraints of Replication Policies.	PASM	2014	DBLP DOI BibTeX RDF
51	Daniël Reijsbergen, Stephen Gilmore, Jane Hillston	Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions.	PASM	2014	DBLP DOI BibTeX RDF
51	Alberto Avritzer, Laura Carnevali, Hamed Ghasemieh, Lucia Happe, Boudewijn R. Haverkort, Anne Koziolek, Daniel S. Menasché, Anne Remke, Sahra Sedigh Sarvestani, Enrico Vicario	Survivability Evaluation of Gas, Water and Electricity Infrastructures.	PASM	2014	DBLP DOI BibTeX RDF
51	Matthew Forshaw, Andrew Stephen McGough, Nigel Thomas	Energy-efficient Checkpointing in High-throughput Cycle-stealing Distributed Systems.	PASM	2014	DBLP DOI BibTeX RDF
51	Ronny J. Polansky, Samyukta Sethuraman, Natarajan Gautam	Obtaining Optimal Thresholds for Processors with Speed-Scaling.	PASM	2014	DBLP DOI BibTeX RDF
51	Ludovica Luisa Vissat, Allan Clark, Stephen Gilmore	Finding Optimal Timetables for Edinburgh Bus Routes.	PASM	2014	DBLP DOI BibTeX RDF
51	Jeremy T. Bradley, Keijo Heljanko, William J. Knottenbelt, Nigel Thomas (eds.)	Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, PASM 2012, and the Eleventh International Workshop on Parallel and Distributed Methods in Verification, PDMC 2012, London, UK, September 2012	PASM/PDMC	2013	DBLP BibTeX RDF
51	Jeremy T. Bradley, Keijo Heljanko, William J. Knottenbelt, Nigel Thomas	Preface.	PASM/PDMC	2012	DBLP DOI BibTeX RDF
51	Erin Scott, Andrew Hoyle, Carron Shankland	PEPA'd Oysters: Converting Dynamic Energy Budget Models to Bio-PEPA, Illustrated by a Pacific Oyster Case Study.	PASM/PDMC	2012	DBLP DOI BibTeX RDF
51	Dimitrios Milios, Stephen Gilmore	Markov Chain Simulation with Fewer Random Samples.	PASM/PDMC	2012	DBLP DOI BibTeX RDF
51	Enrico Barbierato, Gian-Luca Dei Rossi, Marco Gribaudo, Mauro Iacono, Andrea Marin	Exploiting product forms solution techniques in multiformalism modeling.	PASM/PDMC	2012	DBLP DOI BibTeX RDF
51	Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston	Conservation of Mass Analysis for Bio-PEPA.	PASM/PDMC	2012	DBLP DOI BibTeX RDF
51	Joaquim Assunção, Luciana Espindola, Paulo Fernandes 0001, Maria Alejandra Gomez Pivel, Afonso Sales	A Structured Stochastic Model for Prediction of Geological Stratal Stacking Patterns.	PASM/PDMC	2012	DBLP DOI BibTeX RDF
51	Tom van Dijk, Alfons Laarman, Jaco van de Pol	Multi-Core BDD Operations for Symbolic Reachability.	PASM/PDMC	2012	DBLP DOI BibTeX RDF
51	Freark I. van der Berg, Alfons Laarman	SpinS: Extending LTSmin with Promela through SpinJa.	PASM/PDMC	2012	DBLP DOI BibTeX RDF
51	Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz	Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC.	PASM/PDMC	2012	DBLP DOI BibTeX RDF
51	Jasen Markovski, E. S. Estens Musa, Michel A. Reniers	Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking.	PASM/PDMC	2012	DBLP DOI BibTeX RDF
51	Hubert Garavel, Radu Mateescu 0001, Wendelin Serwe	Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids.	PASM/PDMC	2012	DBLP DOI BibTeX RDF
51	K. Aidarov, Paul D. Ezhilchelvan, Isi Mitrani	Energy-aware Management of Customer Streams.	PASM/PDMC	2012	DBLP DOI BibTeX RDF
51	Elvio Gilberto Amparore, Susanna Donatelli	Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications.	PASM/PDMC	2012	DBLP DOI BibTeX RDF
51	Chris J. Banks, Allan Clark, Anastasis Georgoulas, Stephen Gilmore, Jane Hillston, Dimitrios Milios, Ian Stark	Stochastic Modelling of the Kai-based Circadian Clock.	PASM/PDMC	2012	DBLP DOI BibTeX RDF
51	Jiri Barnat, Jan Havlícek, Petr Rockai	Distributed LTL Model Checking with Hash Compaction.	PASM/PDMC	2012	DBLP DOI BibTeX RDF
51	Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Samuel Kounev, Nikolaus Huber, Fabian Brosig (eds.)	Fifth International Workshop on the Practical Application of Stochastic Modelling, PASM@ICPE 2011, Karlsruhe, Germany, March 2011	PASM@ICPE	2011	DBLP BibTeX RDF
51	Yasir Shoaib, Olivia Das	Web Application Performance Modeling Using Layered Queueing Networks.	PASM@ICPE	2011	DBLP DOI BibTeX RDF
51	Enrico Barbierato, Marco Gribaudo, Mauro Iacono	Defining Formalisms for Performance Evaluation With SIMTHESys.	PASM@ICPE	2011	DBLP DOI BibTeX RDF
51	Alessio Angius, András Horváth	The Monte Carlo EM method for the parameter estimation of biological models.	PASM@ICPE	2011	DBLP DOI BibTeX RDF
51	Timothy L. Y. Leung, William J. Knottenbelt	Stochastic Modelling and Optimisation of Internet Auction Processes.	PASM@ICPE	2011	DBLP DOI BibTeX RDF
51	Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Samuel Kounev, Nikolaus Huber, Fabian Brosig	Preface.	PASM@ICPE	2011	DBLP DOI BibTeX RDF
51	Gabriel Alves, Paulo Romero Martins Maciel, Ricardo Lim, Fábio S. Magnani, Adilson Arcoverde Jr.	Towards the Evaluation of Environment and Business Trade-offs in Supply Chains.	PASM@ICPE	2011	DBLP DOI BibTeX RDF
51	Osama Younes, Nigel Thomas	Analysis of the Expected Number of Hops in Mobile Ad Hoc Networks with Random Waypoint Mobility.	PASM@ICPE	2011	DBLP DOI BibTeX RDF
51	Paulo Fernandes 0001, Afonso Sales, Alan R. Santos, Thais Webber	Performance Evaluation of Software Development Teams: a Practical Case Study.	PASM@ICPE	2011	DBLP DOI BibTeX RDF
51	Ricardo M. Czekster, Paulo Fernandes 0001, Afonso Sales, Thais Webber, Avelino F. Zorzo	Stochastic Model for QoS Assessment in Multi-tier Web Services.	PASM@ICPE	2011	DBLP DOI BibTeX RDF
51	Wen Zeng, Aad P. A. van Moorsel	Quantitative Evaluation of Enterprise DRM Technology.	PASM@ICPE	2011	DBLP DOI BibTeX RDF
51	Tzu-Ching Horng, Nikolas Anastasiou, Tony Field, William J. Knottenbelt	LocTrackJINQS: An Extensible Location-aware Simulation Tool for Multiclass Queueing Networks.	PASM@ICPE	2011	DBLP DOI BibTeX RDF
51	Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Nicholas J. Dingle, Uli Harder (eds.)	Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling, PASM@MASCOTS 2009, London, UK, September 2009	PASM@MASCOTS	2010	DBLP BibTeX RDF
51	Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt (eds.)	Proceedings of the Third International Workshop on the Practical Application of Stochastic Modelling, PASM@EPEW 2008, Palma de Mallorca, Spain, September 2008	PASM@EPEW	2009	DBLP BibTeX RDF
51	Diego Perez-Palacin, José Merseguer	Performance Evaluation of Self-reconfigurable Service-oriented Software With Stochastic Petri Nets.	PASM@MASCOTS	2009	DBLP DOI BibTeX RDF
51	Jorrit Schippers, Anne Remke, Henk Punt, Maarten Wegdam, Boudewijn R. Haverkort	A Massively Scalable Architecture For Instant Messaging & Presence.	PASM@MASCOTS	2009	DBLP DOI BibTeX RDF
51	Pietro Piazzolla, Marco Gribaudo	Analysis of Television and Cinema Productions using Mean Field Models.	PASM@MASCOTS	2009	DBLP DOI BibTeX RDF
51	Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Nicholas J. Dingle, Uli Harder	Preface.	PASM@MASCOTS	2009	DBLP DOI BibTeX RDF
51	Sofia K. Dimitriadou, Helen D. Karatza	Multi-Site Allocation Policies on a Grid and Local Level.	PASM@MASCOTS	2009	DBLP DOI BibTeX RDF
51	Michael D. Harrison, Mieke Massink	Modelling Interactive Experience, Function and Performance in Ubiquitous Systems.	PASM@MASCOTS	2009	DBLP DOI BibTeX RDF
51	Maria Estrella Sousa Vieira, Andrés Suárez-González, Raúl Fernando Rodríguez Rubio, Cándido López-García	Flexible adjustment of the short-term correlation of LRD M/G/∞-based processes.	PASM@MASCOTS	2009	DBLP DOI BibTeX RDF
51	Gábor Imre, M. Kaszó, Tihamer Levendovszky, Hassan Charaf	A Novel Cost Model of XML Serialization.	PASM@MASCOTS	2009	DBLP DOI BibTeX RDF
51	Federica Ciocchetta, Jane Hillston	Bio-PEPA for Epidemiological Models.	PASM@MASCOTS	2009	DBLP DOI BibTeX RDF
51	Joris Slegers	A Langevin Interpretation of PEPA Models.	PASM@MASCOTS	2009	DBLP DOI BibTeX RDF
51	Katinka Wolter, Philipp Reinecke	Stochastic Models for Dependable Services.	PASM@MASCOTS	2009	DBLP DOI BibTeX RDF
51	Federica Ciocchetta, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston	Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems.	PASM@EPEW	2008	DBLP DOI BibTeX RDF
51	Leïla Kloul	Performance Analysis of a Software Retrieval Service.	PASM@EPEW	2008	DBLP DOI BibTeX RDF
51	Nicholas J. Dingle, William J. Knottenbelt	Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens.	PASM@EPEW	2008	DBLP DOI BibTeX RDF
51	Peter G. Harrison, Soraya Zertal	Bus Modelling in Zoned Disks RAID Storage Systems.	PASM@EPEW	2008	DBLP DOI BibTeX RDF
51	Leonardo Brenner, Paulo Fernandes 0001, Jean-Michel Fourneau, Brigitte Plateau	Modelling Grid5000 point availability with SAN.	PASM@EPEW	2008	DBLP DOI BibTeX RDF
51	Tadeusz Czachórski, Jean-Michel Fourneau, Tomasz Nycz, Ferhan Pekergin	Diffusion Approximation Model of Multiserver Stations with Losses.	PASM@EPEW	2008	DBLP DOI BibTeX RDF
51	Maurizio Garelli, Marco Gribaudo	Performance Analysis of the ARIA Adaptive Media Processing Workflows using Colored Petri Nets.	PASM@EPEW	2008	DBLP DOI BibTeX RDF
51	Katja Gilly, Carlos Quesada-Granja, Salvador Alcaraz, Carlos Juiz, Ramón Puigjaner	A Statistically Customisable Web Benchmarking Tool.	PASM@EPEW	2008	DBLP DOI BibTeX RDF
51	Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt	Preface.	PASM@EPEW	2008	DBLP DOI BibTeX RDF
51	Rasha Osman, Irfan Awan, Michael E. Woodward	Application of Queueing Network Models in the Performance Evaluation of Database Designs.	PASM@EPEW	2008	DBLP DOI BibTeX RDF
51	Paolo Ballarini, Tommaso Mazza, Alida Palmisano, Attila Csikász-Nagy	Studying Irreversible Transitions in a Model of Cell Cycle Regulation.	PASM@EPEW	2008	DBLP DOI BibTeX RDF
51	Nigel Thomas (eds.)	Proceedings of the Second International Workshop on the Practical Application of Stochastic Modeling, PASM@FM 2005, Newcastle-upon-Tyne, UK, July 18, 2005	PASM@FM	2006	DBLP BibTeX RDF
51	Jeremy T. Bradley, William J. Knottenbelt (eds.)	Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling, PASM 2004, London, UK, September 4, 2004	PASM	2005	DBLP BibTeX RDF
51	Charles Kubicek	Applying a Stochastic Model to a Dynamic, QoS Enabled Web Services Hosting Environment.	PASM@FM	2005	DBLP DOI BibTeX RDF