BEGIN:VCALENDAR VERSION:2.0 PRODID:www.dresden-science-calendar.de METHOD:PUBLISH CALSCALE:GREGORIAN X-MICROSOFT-CALSCALE:GREGORIAN X-WR-TIMEZONE:Europe/Berlin BEGIN:VTIMEZONE TZID:Europe/Berlin X-LIC-LOCATION:Europe/Berlin BEGIN:DAYLIGHT TZNAME:CEST TZOFFSETFROM:+0100 TZOFFSETTO:+0200 DTSTART:19810329T030000 RRULE:FREQ=YEARLY;INTERVAL=1;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZNAME:CET TZOFFSETFROM:+0200 TZOFFSETTO:+0100 DTSTART:19961027T030000 RRULE:FREQ=YEARLY;INTERVAL=1;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:DSC-20792 DTSTART;VALUE=DATE:20240425 SEQUENCE:1714023382 TRANSP:OPAQUE DTEND;VALUE=DATE:20240427 URL:https://dresden-science-calendar.de/calendar/en/detail/20792 LOCATION:TUD\, SUMMARY:Edwards: The Sparse Synchronous Model CLASS:PUBLIC DESCRIPTION:Speaker: Stephen A. Edwards\nInstitute of Speaker: Computer Sci ence Department\, Columbia University\, USA\nTopics:\n\nTime:\n9:30 AM-9:3 0 AM\n\n Location:\n Name: TUD ()\n Street: \n City: \n Phone: \n Fax: \nDescription: &\;lt\;p&\;gt\;Most software considers timing a performance issue\, but for many&\;lt\;br&\;gt\;embedded application s\, the timing of a result is as important as its&\;lt\;br&\;gt\;val ue. Most modern computers do have precise hardware timers\, but&\;lt\;b r&\;gt\;they are not easily used to make a whole system timing-aware.&a mp\;lt\;br&\;gt\;&\;lt\;br&\;gt\;To address this\, we developed t he Sparse Synchronous Model: a&\;lt\;br&\;gt\;deterministic\, concur rent\, timing-aware approach to specifying&\;lt\;br&\;gt\;software. A kind of real-time discrete event simulation\, we describe&\;lt\;br&am p\;gt\;its semantics and implementations\, including as an awkward-to-use C&\;lt\;br&\;gt\;library\, as an embedded language in Haskell\, as a novel functional&\;lt\;br&\;gt\;language\, and as a Lua library. We also describe our RP2040&\;lt\;br&\;gt\;microcontroller runtime sys tem that provides software with an&\;lt\;br&\;gt\;unheard-of timing resolution of 62.5 nanoseconds.&\;lt\;br&\;gt\;&\;lt\;br&\;gt\ ;&\;lt\;/p&\;gt\; X-MICROSOFT-CDO-ALLDAYEVENT:TRUE DTSTAMP:20260518T031756Z CREATED:20240412T054019Z LAST-MODIFIED:20240425T053622Z END:VEVENT END:VCALENDAR