KNAW

Back to search results
Research

Processor sharing

Pagina-navigatie:
  • Main


Update Research data


Title Processor sharing
Period 09 / 2004 - 09 / 2009
Status Completed
Research number OND1306410

Abstract

Aim: the development of compositional methods, tools, and formal techniques for the dynamic composition of components, the validation of their composition, and the validation of components themselves.

Related organisations

Secretariat Center for Mathematics and Computer Science (NWO)
Collaboration Security and Embedded Networked Systems (TU/e)
Collaboration STO : Stochastics (TU/e)
Collaboration Department of Information and Computing Sciences (UU)

Related people

Researcher Prof.dr. K.R. Apt
Researcher Prof.dr. F. Arbab
Researcher Prof.dr. J.C.M. Baeten
Researcher Prof.dr. J.W. de Bakker
Researcher Prof.dr. F.S. de Boer
Researcher Dr. M.M. Bonsangue
Researcher Prof.dr.ir. O.J. Boxma
Researcher Prof.dr. W.J. Fokkink
Researcher Prof.dr. J.N. Kok
Researcher Prof.dr. J.-J.Ch. Meyer
Researcher Prof.dr. J.C. van de Pol
Researcher Prof.dr.ir. J.H. van Schuppen
Researcher Dr. E.P. de Vink
Project leader Prof.dr. J.J.M.M. Rutten

Classification

A90000 Fundamental research
D16100 Computer systems, architectures, networks
D16200 Software, algorithms, control systems
D16300 Theoretical computer science

Go to page top
Go back to contents
Go back to site navigation