Luc Bougé

MaRDI QIDQ1060836zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Bringing introspection into BlobSeer: towards a self-adaptive distributed data management system International Journal of Applied Mathematics and Computer Science	2013-08-22	Paper
scientific article; zbMATH DE number 2090642 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2087835 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1760035 (Why is no real title available?)	2002-11-06	Paper
Madeleine II: A portable and efficient communication library for high-performance cluster computing Parallel Computing	2002-07-15	Paper
scientific article; zbMATH DE number 1693550 (Why is no real title available?)	2002-01-22	Paper
The Hyperion system: Compiling multithreaded Java bytecode for distributed execution Parallel Computing	2001-08-20	Paper
Formal validation of data-parallel programs: a two-component assertional proof system for a simple language Theoretical Computer Science	1998-06-30	Paper
scientific article; zbMATH DE number 561553 (Why is no real title available?)	1995-01-10	Paper
scientific article; zbMATH DE number 69340 (Why is no real title available?)	1992-12-07	Paper
On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes Acta Informatica	1988-01-01	Paper
scientific article; zbMATH DE number 4050975 (Why is no real title available?)	1988-01-01	Paper
Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP Theoretical Computer Science	1987-01-01	Paper
Two normal form theorems for CSP programs Information Processing Letters	1987-01-01	Paper
A contribution to the theory of program testing Theoretical Computer Science	1985-01-01	Paper

Research outcomes over time

This page was built for person: Luc Bougé