In bepaalde single-core configuraties met één processor, b.v. embedded control systems zoals robotic applications die uit vele korte processen bestaan, kunnen de context switches van een proces een aanzienlijke hoeveelheid van de beschikbare processing power verbruiken. Het verminderen van het aantal context switches vermindert de executietijd en verhoogt daardoor de prestaties van de toepassing. Bovendien is de end-to-end executietijd van de processen langer dan strict noodzakelijk, b.v. omdat de processen moeten wachten op controllers die een taak uitvoeren. Door de regels voor synchrone communicatie via kanalen in de procesalgebraïsche specificatietaal Communicating Sequential Processes te versoepelen, kunnen we de end-to-end executietijd verkorten. In ons onderzoek definiëren we verschillende graafproducten, bewijzen we dat deze producten een prestatiewinst opleveren (onder bepaalde voorwaarden) en we werken de numerieke en combinatorische aspecten van deze graafproducten uit.
In deze lectorale rede wordt eerst geschetst hoe de maritieme industrie zich op een kruispunt van wegen bevindt. Met op de ene weg de enorme opgave van het ontwerpen, bouwen en exploiteren van een revolutionair nieuwe generatie van schone en veilige schepen. En op de andere de beschikbaarheid van steeds betere ontwerpgereedschappen, die gedreven wordt door krachtige ontwikkelingen op het gebied van (numerieke) wiskunde, IT, mathematisch modelleren, visualisatie en simulaties. Vervolgens wordt aangegeven op welke wijze het lectoraat meent hierbij van dienst te kunnen zijn, en welke concrete onderwijs- en onderzoeksinspanningen daartoe voorgenomen zijn.
