Luc Bougé

Available identifiers

Publication	Date of Publication	Type
Bringing introspection into BlobSeer: Towards a self-adaptive distributed data management system	2013-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4813114	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4738824	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4536967	2002-11-06	Paper
Madeleine II: A portable and efficient communication library for high-performance cluster computing	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q2764152	2002-01-22	Paper
The Hyperion system: Compiling multithreaded Java bytecode for distributed execution	2001-08-20	Paper
Formal validation of data-parallel programs: a two-component assertional proof system for a simple language	1998-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4289646	1995-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4014811	1992-12-07	Paper
On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3787467	1988-01-01	Paper
Two normal form theorems for CSP programs	1987-01-01	Paper
Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP	1987-01-01	Paper
A contribution to the theory of program testing	1985-01-01	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Luc Bougé