Wiskunde belooft een nog efficiëntere cloud
In zijn proefschrift 'Synchronous Coordination of Distributed Components' doet Proença uit de doeken hoe formele coördinatietalen in de praktijk zijn te implementeren voor het bewezen efficient inrichten van gecombineerde diensten in gedistribueerde omgevingen. Daarmee creëert hij een theoretisch basis om in de praktijk complexe en suboptimaal ingerichte systemen open te breken en alsnog efficiënter in te richten.
In het proefschrift werkt de promovendus een en ander uit voor de coördinatietaal Reo. Reo werd een jaar of wat geleden aan het CWI ontwikkeld met expressiviteit en modulariteit als hoogste doelen, maar was tot dusverre moeilijk toe te passen in grote gedistribueerde systemen. De aanpak van Proença belooft volgens CWI op dit punt een doorbraak.
Reacties
Om een reactie achter te laten is een account vereist.
Inloggen Word abonnee