A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Parallel probabilistic model checking on general purpose graphics processors
2010
International Journal on Software Tools for Technology Transfer (STTT)
Preserved Fulltext
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). ...
We implemented our parallel algorithms on top of the probabilistic model checker PRISM. ...
GPU programming The application of the modern GPUs goes far beyond the realm of graphics applications. They can be seen as general purpose multi-threaded data parallel co-processors. ...
doi:10.1007/s10009-010-0176-4
fatcat:rev4spoxnbf3vnl5gs74lqqvwu
GPU-PRISM: An Extension of PRISM for General Purpose Graphics Processing Units
2010
2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The extension is based on parallel algorithms for probabilistic model checking which are tuned for GPUs. ...
We present an extension of the model checker PRISM for (general purpose) graphics processing units (GPUs). ...
INTRODUCTION We present an extension of the probabilistic model checker PRISM [4] which exploits the computation power of (general purpose) graphics processing units (GPUs). ...
doi:10.1109/pdmc-hibi.2010.11
fatcat:bptvgd2ev5d47gu6oo5ohuughm
Efficient Probabilistic Model Checking on General Purpose Graphics Processors
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). ...
For this purpose we exploit the fact that some of the basic algorithms for probabilistic model checking rely on matrix vector multiplication. ...
We believe that our work opens a very promising research avenue on GPU model checking in general. To stay relevant for the industry, the area has to keep pace with the new technological trends. ...
doi:10.1007/978-3-642-02652-2_7
fatcat:kmsnlyuc65fzfc3b33ejjdvboi
New results in software model checking and analysis
2010
International Journal on Software Tools for Technology Transfer (STTT)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The authors propose algorithms for parallel probabilistic model checking using general purpose graphic processing units. ...
The proposed improvements target the numerical computations of the traditional sequential algorithms since these computations can be parallelized efficiently on graphic processors. ...
doi:10.1007/s10009-010-0178-2
fatcat:p2l2dwydf5e5rf5h2ortmkstkq
Efficient Explicit-State Model Checking on General Purpose Graphics Processors
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). ...
In contrast to existing approaches enhancing model checking through performing parallel matrix operations on the GPU, we parallelize the breadth-first layered construction of the state space graph. ...
While the PCTL probabilistic model checking approach accelerates one iterated numerical operation on the GPU, for explicit-state LTL model checking we perform a single scan over a large search space. ...
doi:10.1007/978-3-642-16164-3_8
fatcat:tzuziwamjnghhizmbegedfm5wi
Parallel Implementation of the Max_Min Ant System for the Travelling Salesman Problem on GPU
2014
International Journal of Computer Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
GPUs are specially designed microprocessor for graphical operation and can be used for general purpose operations. ...
Thus with this implementation we are able to gain a speedup of 4.01x in CPU parallel and up to 11.29x speedup in GPU parallel. ...
Parallel computing is the new paradigm to solve such type of problems using General Purpose Graphical Processing Unit. ...
doi:10.5120/17455-7406
fatcat:iimclv7hyfalvine66fv7rwdka
Simultaneous and fast 3D tracking of multiple faces in video by GPU-based stream processing
2008
Proceedings of the IEEE International Conference on Acoustics, Speech and Signal Processing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Using a GPU (Graphics Processing Unit, a consumer-grade Stream Processor) and the NVIDIA CUDA TM technology, we can achieve real-time performance even when tracking multiple objects in high-quality videos ...
Stream processing is a relatively new computing paradigm that permits the expression and execution of data-parallel algorithms with great efficiency and minimum effort. ...
GPUs (although with some limitations) are considered to be general-purpose Stream Processors. ...
doi:10.1109/icassp.2008.4517709
dblp:conf/icassp/LozanoO08
fatcat:dsanckps5feljprjuvraydc44m
Accelerating Inference: towards a full Language, Compiler and Hardware stack
[article]
2012
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
variety of algorithms) on the model. ...
Dimple allows the user to specify probabilistic models in the form of graphical models, Bayesian networks, or factor graphs, and performs inference (by automatically deriving an inference engine from a ...
Some of the immediate plans include speed improvements, more real variable support, integrating with languages like Stochastic MATLAB (an early prototype already exists), providing modelers in different ...
arXiv:1212.2991v1
fatcat:th4fkwoojnhbljanrxk3v43kvm
Taming the complexity of biological pathways through parallel computing
2008
Briefings in Bioinformatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
His research interests are in formal techniques for systems' verification/ specification, probabilistic model-checking, stochastic Petri nets and temporal logic reasoning. ...
Mathematical methods for modelling biological systems are mostly based on a centralised solution approach: the modelled system is described as a whole and the solution technique, normally the integration ...
General purpose scientific computing on graphics processing units (GPUs) [22] is receiving great attention since the performance of a small cluster can be achieved at a cost that does not reach $1000 ...
doi:10.1093/bib/bbp020
pmid:19339382
fatcat:5yzyzsjbjvd2hb5rxufpg6hube
Fast Effective Deterministic Primality Test Using CUDA/GPGPU
2013
INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In this paper, we propose a novel parallel computing model based on a deterministic algorithm using central processing unit (CPU) / general-purpose graphics processing unit (GPGPU) systems, which determines ...
There are many primality testing algorithms including mathematical models and computer programs. However, they are very time consuming when the given number n is very big or n→∞. ...
Because NVIDIA intends this new family of graphics processors to be used for general purpose computing, these ALUs are built to comply with IEEE requirements for singleprecision floating-point arithmetic ...
doi:10.24297/ijct.v12i3.3247
fatcat:wknbh2fk4rbthk5lrutq3oatra
Some recent advances in automated analysis
2015
International Journal on Software Tools for Technology Transfer (STTT)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We briefly outline some recent trends, and review some of the latest achievements, introducing six papers selected from the 20th International Conference on Tools and Algorithms for the Construction and ...
To best exploit these resources, this work makes use of General Purpose Graphics Processors (GPUs) for the computations. ...
The paper Many-Core On-the-Fly Model Checking of Safety Properties Using GPUs [80] , by Anton Wijs and Dragan Bošnački, presents another parallelization approach for model checking. ...
doi:10.1007/s10009-015-0403-0
fatcat:hwu7b64kh5brrlm7spzyucxibe
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Unlike other graphical visualisation tools, our proposal integrates both simulation using the novel Castalia simulator [3] as well as probabilistic model checking using PRISM [8], where we capture the ...
Many general-purpose simulation tools however do not use realistic models of wireless communication, and indeed results of simulation experiments can differ widely between simulators and often bear scant ...
Formal model checking One of the major outcomes of this work has been to introduce realistic channel behaviour into formal models for more detailed analysis via probabilistic model checking. ...
doi:10.1007/978-3-642-00867-2_1
fatcat:a7ugtzofgnb7hepxoeor5kxn6q
Evaluating the cell broadband engine as a platform to run estimation of distribution algorithms
2009
Proceedings of the 11th annual conference companion on Genetic and evolutionary computation conference - GECCO '09
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
However, programming multi-core chips, hybrid multi-processors or graphical processing units is not an easy task for those programmers that deal mainly with sequential codes. ...
From an initial sequential version, we develop a multi-threaded one that is afterwards reworked to run on a Cell. ...
The probabilistic model learnt at step 4 has a significant influence on the behavior of the EDA from the point of view of complexity and performance. ...
doi:10.1145/1570256.1570350
dblp:conf/gecco/Perez-MiguelMM09
fatcat:d6ei2rorfjckjgqtgknvzkj7ki
Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142)
2013
Dagstuhl Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In recent years, massively parallel accelerator processors, primarily GPUs, have become widely available to end-users. ...
A system may contain one or more of the plethora of accelerators on the market, with many more products anticipated in the immediate future. ...
We implemented our parallel algorithms on top of the probabilistic model checker PRISM. ...
doi:10.4230/dagrep.3.4.17
dblp:journals/dagstuhl-reports/CohenDHK13
fatcat:4qiimr6nwfdibcj6nmhw4ml2pu
Improving GPU Sparse Matrix-Vector Multiplication for Probabilistic Model Checking
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We present several methods to improve the run times of probabilistic model checking on general-purpose graphics processing units (GPUs). ...
The methods enhance sparse matrix-vector multiplications, which are in the core of the probabilistic model checking algorithms. ...
Modern General Purpose Graphics Processing Units (GPUs) are no longer dedicated only to graphics applications. Instead a GPU can be seen as a general purpose manycore processor. ...
doi:10.1007/978-3-642-31759-0_9
fatcat:iydlwalz3jhz7ikeuzsimq4sze
« Previous
Showing results 1 — 15 out of 6,136 results