Výsledky vyhledávání - "Wesselink, Wieger"

Report

Nerva: a Truly Sparse Implementation of Neural Networks

Autor: Wesselink, Wieger, Grooten, Bram, Xiao, Qiao, de Campos, Cassio, Pechenizkiy, Mykola

We introduce Nerva, a fast neural network library under development in C++. It supports sparsity by using the sparse matrix operations of Intel's Math Kernel Library (MKL), which eliminates the need for binary masks. We show that Nerva significantly

Externí odkaz: http://arxiv.org/abs/2407.17437

Zobrazit plný text záznamu

Report

On-The-Fly Solving for Symbolic Parity Games

Autor: Laveaux, Maurice, Wesselink, Wieger, Willemse, Tim A. C.

Parity games can be used to represent many different kinds of decision problems. In practice, tools that use parity games often rely on a specification in a higher-order logic from which the actual game can be obtained by means of an exploration. For

Externí odkaz: http://arxiv.org/abs/2201.09607

Zobrazit plný text záznamu

Report

A Comparison of BDD-Based Parity Game Solvers

Autor: Sanchez, Lisette, Wesselink, Wieger, Willemse, Tim A. C.

Publikováno v: EPTCS 277, 2018, pp. 103-117

Parity games are two player games with omega-winning conditions, played on finite graphs. Such games play an important role in verification, satisfiability and synthesis. It is therefore important to identify algorithms that can efficiently deal with

Externí odkaz: http://arxiv.org/abs/1809.03097

Zobrazit plný text záznamu

Report

Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction

Autor: Keiren, Jeroen J. A., Wesselink, Wieger, Willemse, Tim A. C.

We present a sound static analysis technique for fighting the combinatorial explosion of parameterised Boolean equation systems (PBESs). These essentially are systems of mutually recursive fixed point equations ranging over first-order logic formulae

Externí odkaz: http://arxiv.org/abs/1304.6482

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems

Autor: Neele, Thomas, Willemse, Tim A.C., Wesselink, Wieger, Biere, Armin, Parker, David

Publikováno v: Tools and Algorithms for the Construction and Analysis of Systems-26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II, 307-324
STARTPAGE=307;ENDPAGE=324;TITLE=Tools and Algorithms for the Construction and Analysis of Systems-26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030452360
TACAS (2)

Partial-order reduction (POR) is a well-established technique to combat the problem of state-space explosion. We propose POR techniques that are sound for parity games, a well-established formalism for solving a variety of decision problems. As a con

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::86c7438e97ad6b768c217984087ab087
http://www.scopus.com/inward/record.url?scp=85083969506&partnerID=8YFLogxK

Zobrazit plný text záznamu

The mCRL2 toolset for analysing concurrent systems

Autor: Bunte, Olav, Groote, Jan Friso, Keiren, Jeroen J.A., Laveaux, Maurice, Neele, Thomas, de Vink, Erik P., Wesselink, Wieger, Wijs, Anton, Willemse, Tim A.C., Vojnar, Tomáš, Zhang, Lijun

Publikováno v: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030174644
TACAS (2)
Tools and Algorithms for the Construction and Analysis of Systems-25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings, 21-39
STARTPAGE=21;ENDPAGE=39;TITLE=Tools and Algorithms for the Construction and Analysis of Systems-25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings

Reasoning about the correctness of parallel and distributed systems requires automated tools. By now, the mCRL2 toolset and language have been developed over a course of more than fifteen years. In this paper, we report on the progress and advancemen

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::18a273ecf9c5d73a769050bf459e79b9
http://www.scopus.com/inward/record.url?scp=85064538844&partnerID=8YFLogxK

Zobrazit plný text záznamu

Evidence extraction from parameterised Boolean equation systems

Autor: Wesselink, Wieger, Willemse, Tim A.C., Benzmüller, Christoph, Otten, Jens

Publikováno v: Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018): Oxford, UK, July 18, 2018., 86-100
STARTPAGE=86;ENDPAGE=100;TITLE=Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018)

Model checking is a technique for automatically assessing the quality of software and hardware systems and designs. Given a formalisation of both the system behaviour and the requirements the system should meet, a model checker returns either a yes o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::e8aaef8c9cac4df0f7d3d5df9000d5b7
https://research.tue.nl/nl/publications/88387b5e-f7ea-47c4-87a0-5a7247823e74

Zobrazit plný text záznamu