7 citations · 13 across the 4 of their papers we have counts for
4 papers
VQhull: a Fast Planar Quickhull
Thomas Koopman, Jordy Aaldering, Bernard van Gastel +1
Finding the convex hull is a fundamental problem in computational geometry. Quickhull is a fast algorithm for finding convex hulls. In this paper, we present VQhull, a fast paralle…
Towards Practical, Precise and Parametric Energy Analysis of IT Controlled Systems
Bernard van Gastel, Marko van Eekelen
Energy consumption analysis of IT-controlled systems can play a major role in minimising the overall energy consumption of such IT systems, during the development phase, or for opt…
A Macro for Reusing Abstract Functions and Theorems
Sebastiaan J. C. Joosten, Bernard van Gastel, Julien Schmaltz
Even though the ACL2 logic is first order, the ACL2 system offers several mechanisms providing users with some operations akin to higher order logic ones. In this paper, we propose…
A formalisation of XMAS
Bernard van Gastel, Julien Schmaltz
Communication fabrics play a key role in the correctness and performance of modern multi-core processors and systems-on-chip. To enable formal verification, a recent trend is to us…