Onderzoeksprojecten (4500 - 5000 van 8189)
Onderzoeksprojecten (4500 - 5000 van 8189)
Onderzoeksprojecten (4500 - 5000 van 8189)
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
• Afd. Moleculaire Visualisatie & Fotonica<br />
Onderzoekers:<br />
• Steven De Feyter<br />
• Han Jin Adisoejoso<br />
Modulaire behandeling <strong>van</strong> effecten in puur functionele programma's en modellen<br />
Universiteit Gent<br />
Abstract: De complexiteit <strong>van</strong> softwaresystemen beheersen is een <strong>van</strong> de blijvende uitdagingen <strong>van</strong> de informatica, en het domein <strong>van</strong><br />
programmeer- en modelleringstalen in het bijzonder. Puur Functioneel Programmeren (PFP) geniet brede erkenning om complexiteit te reduceren.<br />
Helaas is ondersteuning voor neven-effecten, vooral op modulaire wijze, een essentieel probleem <strong>van</strong> PFP.<br />
Dit project ontwikkelt PFP-technieken voor neven-effecten in zeer modulaire softwaresystemen.<br />
Organisaties:<br />
• Vakgroep Toegepaste wiskunde en informatica<br />
Onderzoekers:<br />
• Tom Schrijvers<br />
Modulaire behandeling <strong>van</strong> effecten in puur functionele programma's en modellen.<br />
K.U.Leuven<br />
Abstract: Het beheersen <strong>van</strong> de complexiteit <strong>van</strong> grote software systemen is een <strong>van</strong> de grote uitdagingen in de informatica. Aan dit thema wordt<br />
heel wat aandacht besteed in onderzoek rond programmeer- en modelleertalen, omdat de complexiteit <strong>van</strong> een software systeem sterk beïnvloed<br />
wordt door de keuze <strong>van</strong> de taal die gebruikt wordt voor implementatie of modellering.Puur Functionele Programmeren (PFP) is een<br />
programmeerparadigma (ondersteund door talen zoals Haskell, Coq of Agda) dat in staat isom de essentie <strong>van</strong> krachtige programmeerconcepten<br />
eenvoudig te beschrijven, en dus ook om de complexiteit <strong>van</strong> grote software systemen onder controle te houden. Maar PFP heeft maar beperkte<br />
ondersteuning voor impliciete neveneffecten in software.Het doel <strong>van</strong> dit project is de ontwikkeling <strong>van</strong> PFP technieken voor het programmeren en<br />
modelleren <strong>van</strong> modulaire software met ondersteuning voor neveneffecten, en de evaluatie <strong>van</strong> deze technieken in case studies.<br />
Organisaties:<br />
• Afdeling Informatica<br />
Onderzoekers:<br />
• Frank Piessens<br />
Modulaire Virtuele Machines voor Ambient Intelligence.<br />
Vrije Universiteit Brussel<br />
Abstract: Miniaturisatie <strong>van</strong> computers en de opkomst <strong>van</strong> draadloze netwerken maken het mogelijk computationele technologie te integreren in<br />
alledaagse gebruiksvoorwerpen. Dit heeft geleid tot een visie waarin computationele technologie alomtegenwoordig is in onze omgeving. Men<br />
spreekt <strong>van</strong> Ambient Intelligence (of AmI). In tegenstelling tot het ontwikkelen <strong>van</strong> software voor desktop applicaties, kan men de hardwarebeperkingen<br />
<strong>van</strong> AmI toestellen vaak niet zomaar wegabstraheren in een alomvattend platform zoals een besturingssysteem of een klassieke<br />
virtuele machine. Dit omwille <strong>van</strong> beperkingen in rekenkracht en geheugen en omwille <strong>van</strong> de draadloze verbinding die kan uitvallen door<br />
interferentie of door de mobiliteit <strong>van</strong> gebruikers.<br />
In de voorbije decennia is veel vooruitgang geboekt bij het ontwikkelen <strong>van</strong> concepten en technologieën die de verschillen tussen platformen<br />
weggeabstraheren. De belangrijkste stap hierin is de introductie <strong>van</strong> de virtuele machine. Dit is echter problematisch wanneer men de stap naar<br />
virtuele machines ook op de hierboven beschreven hardware wil gaan ontplooien. Het probleem is dat virtuele machines als doel hebben de<br />
hardware te verbergen maar dat deze hardware zodanig divers is dat een virtuele machine noodzakelijkerwijs de unie <strong>van</strong> alle soorten hardware<br />
moet omvatten. Het probleem is dat dit resulteert in te grote monolitische virtuele machines die bovendien overbodige diensten aanbieden die toch<br />
niet op de concrete hardware waarop ze wordt ontplooid voorhanden is.<br />
Het doel bestaat erin te onderzoeken hoe virtuele machines voor AmI op maat gebouwd kunnen worden die inzetbaar zijn op diverse geïntegreerde<br />
systemen. De visie <strong>van</strong> het voorstel bestaat erin zulke virtuele machines samen te stellen uit herbruikbare virtuele machine componenten. We<br />
spreken daarom <strong>van</strong> modulaire virtuele machines. Een zeer belangrijk onderdeel <strong>van</strong> het onderzoek is het bepalen <strong>van</strong> de verschillende modules<br />
waaruit een virtuele machine is opgebouwd. Men kan zich bijvoorbeeld inbeelden dat sommige rekenintensieve modules (zoals bvb. reflectie) niet<br />
in rekening zullen gebracht worden indien men een virtuele machine voor een actieve RIFD tag wil gaan samenstellen. Het conceptueel uit mekaar<br />
rafelen <strong>van</strong> de modules waaruit AmI virtuele machines zullen worden opgebouwd is dus zeker één <strong>van</strong> de doelstellingen. Een tweede doel is het<br />
onderzoeken hoe deze conceptueel onafhankelijke modules daadwerkelijk modulair geïmplementeerd kunnen worden en samengeplugged kunnen<br />
worden. Hiervoor denken we aan het gebruik <strong>van</strong> aspect-georiëenteerde technieken en assemblagebandtechnologie zoals technieken uit<br />
generatief programmeren. De combinatie <strong>van</strong> deze technieken zal ons toelaten af te stappen <strong>van</strong> de huidige monolitische virtuele machines die te<br />
groot en te rijk aan features zijn om praktisch ingezet te kunnen worden op geïntegreerde systemen.<br />
Organisaties:<br />
• Informatica en Toegepaste Informatica<br />
Onderzoekers:<br />
• THEO D'HONDT<br />
Modulaire vormen in niet-commutative meetkunde.<br />
Universiteit Antwerpen<br />
Abstract: Tijdens de laatste jaren heeft de kandidaat Clifford-algebrawaardige modulaire vormen i.v.m. met arithmetische deelgroepen <strong>van</strong> de<br />
orthogonale groep O(1,n) onderzocht, die in de kern <strong>van</strong> Dirac-type operatoren zitten. De doelstelling <strong>van</strong> dit project is deze technieken toe te<br />
passen en uit te breiden op veralgemeningen <strong>van</strong> Clifford algebras en Cayley-Dickson algebras. Dit zal tot nieuwe inzichten leiden in de studie <strong>van</strong><br />
discrete quantum groepen en Hopf algebra's in het kader <strong>van</strong> de niet-commutatieve meetkunde.<br />
Organisaties:<br />
• Niet-commutatieve algebra en geometrie<br />
Onderzoekers:<br />
• Freddy Van Oystaeyen<br />
Modular semi-automatic formal verification of critical systems software<br />
K.U.Leuven<br />
Abstract: During this doctoral research, I intend to research approaches for addressing current limitations of modular formal verification approaches,<br />
including: (1) verifying functional behaviour of device drivers, includinginteraction with the application layer, (2) verifying fine-grained concurrent<br />
data structures in a less cumbersome fashion, (3) decreasing the annotation effort currently required by modular formal verification approaches, e.g.<br />
by automatically inferring loop invariants, and (4) constructing verification approaches for language constructs and programming patterns, like<br />
modules concurrently used by multiple other modules.
Change language