Changes between Version 11 and Version 12 of HiPEAC13


Ignore:
Timestamp:
Jan 21, 2013, 11:22:32 AM (4 years ago)
Author:
campbell
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • HiPEAC13

    v11 v12  
    2626|| 15:15-16:00 || Dealing with loop optimizations and pipelines (Paolo Tranquilli) ||
    2727|| Break       || ||
    28 || 16:30-17:00 || Invited talk by Kevin Hammond: Hume: a Functionally-based Domain Specific Language Targeting real-time Embedded Systems ||
     28|| 16:30-17:00 || Invited talk by Kevin Hammond: Hume: a Functionally-based Domain Specific Language Targeting Real-time Embedded Systems ||
    2929|| 17:00-17:30 || Certifying and reasoning on cost annotations of functional programs (Roberto Amadio) ||
    3030|| 17:30-18:00 || A certified proof based on structured traces (Brian Campbell) ||