Del 15230 i serien Lecture Notes in Computer Science

Real Time and Such

Essays Dedicated to Wang Yi to Celebrate His Scientific Career

Häftad, Engelska, 2024

AvSusanne Graf,Paul Pettersson,Bernhard Steffen

789 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This Festschrift reflects Professor Wang Yi's contributions to the fields of formal methods, real-time systems and scheduling, and multicore systems. Wang Yi received a PhD in Computer Science from Chalmers University of Technology in 1991, since 2000 he has been Chair in Embedded Systems at Uppsala University.

Produktinformation

Utgivningsdatum2024-10-05
Mått155 x 235 x 11 mm
Vikt283 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor165
FörlagSpringer International Publishing AG
ISBN9783031737503

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT

All About Time.- Wang@MDU in a nutshell.- To Sifu - Supervision, Mentorship and Lifelong Bond.- Research in one Area Benefits Another.- Verifying PLC-Automata against Counterexample Formulas using Timed Automata.- Nudging Strategies for User Journeys: Take a Path on the Wild Side.- Adaptive Task Planning and Formal Control Synthesis using Temporal Logic Trees.- Trading Space for Simplicity in Stateless Model Checking.- Performance Analysis of Stochastic Digraph Real-Time Task Model.- A Closer Look at Pseudo-Polynomial Time and its Use in Real-Time Scheduling Theory.- Voting-Based Shortcuts through Random Forests for Obtaining Explainable Models.- Reminiscences of a Real-Time Researcher.