'Progress towards self-optimising and self-verifying design' by Wayne Luk
Stamatis Vassiliadis Symposium
Title: Progress towards self-optimising and self-verifying design
Speaker: Wayne Luk, Imperial College London, United Kingdom
Slides: http://samos-conference.com/Resources...
Abstract: This talk describes recent research on self-optimising and self-verifying design, a vision first articulated in the 2007 Symposium on the Future of Computing in memory of Professor Stamatis Vassiliadis. Developments based on machine learning and transparent assertions will be presented; the promise of the proposed approaches will be discussed.
![SLAP HOUSE MAFIA, DKSH, FLOW - BALENCIAGA (REMIX) [NO COPYRIGHT] Car Music 2021](https://images.mixrolikus.cc/video/eJIinxdOOZI)
