Search CORE

89 research outputs found

Designing parallel programs of parameterized granularity

Author: Struik P.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1992
Field of study

Repository TU/e

Pure OAI Repository

An algorithm for the asynchronous write-all problem based on process collision

Author: Groote J.F.
Hesselink W.H.
Mauw S.
Vermeulen R.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1999
Field of study

Repository TU/e

Pure OAI Repository

Why men (and octopuses) cannot juggle a four ball cascade

Author: Engels A.G.
Mauw S.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1999
Field of study

Pure OAI Repository

Pair algebras and Galois connections

Author: Birkhoff
Conway
Cousot
Davey
Feijen
Gierz
Hartmanis
Hartmanis
Hoare
Hoare
Hoare
Hoare
Lambek
Lambek
Melton
Ore
Roland Backhouse
Stewart
von Karger
Publication venue: 'Elsevier BV'
Publication date
Field of study

Basic conditional process algebra

Author: Blanco J.O.
Deursen van, A.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1997
Field of study

Repository TU/e

Pure OAI Repository

Efficient evaluation of triangular B-splines

Author: Franssen M.G.J.
Veltkamp R.C.
Wesselink J.W.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1999
Field of study

Repository TU/e

Pure OAI Repository

A software architecture for generating hypermedia applications for ad-hoc database output

Author: Houben G.J.P.M.
Lemmens W.J.M.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1999
Field of study

Pure OAI Repository

Tools for the construction of correct programs : an overview

Author: Franssen M.G.J.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1997
Field of study

Repository TU/e

Pure OAI Repository

An Interactive Viewer for Mathematical Content Based On Type Theory

Author: Aleksandra Dunislawska
Anna Slawinska
Damian Jozefiak
Katarzyna Stadnicka
Marek Bednarczyk
Maria Siwek
Piotr Gulewicz
Publication venue: Eindhoven : Eindhoven University of Technology
Publication date: 01/01/2000
Field of study

Contains fulltext : 175979.pdf (publisher's version ) (Open Access)24 p

Directory of Open Access Journals

Radboud Repository

…

core

core