Séminaire du 9 novembre 2018

Lieu

Telecom parisTech, salle F502: comment y aller

Programme

14h00-15h00: Florian Brandner, (TPT); Dynamic Arbitration of Memory Requests with TDM-like Guarantees

Abstract: A major challenge with multi-cores in real-time systems is contention between concurrent accesses to shared memory. Dynamic arbitration schemes allow for an optimal utilization of the system's memory, while sacrificing time predictability. Time-Division multiplexing (TDM), on the other hand, sacrifices average-case performance in favor of predictability. In this talk, we will explore a dynamic arbitration scheme for mixed-criticality systems that is based on traditional TDM and thus preserves many of its guarantees. Notably, the scheme is time predictable and, at the same time, highly efficient.

15h00-15h30 : Da-Jung Cho (LSV); Properties of Site-Directed Deletion Operation on Formal Languages

Abstract: We introduce a bio-inspired operation called a site-directed deletion motivated from biological technique---site-directed deletion mutagenesis. The goal of site-directed deletion mutagenesis is to create deliberately a deletion on a given gene sequence under enzymatic activities. We characterize the metagenesis into an operation of strings. Given two strings x and y, a site-directed deletion partially deletes a substring of x guided by the string y that specifies which part of a substring can be deleted. From a biological viewpoint, x is a template gene sequence and y is a guide primer with information of the region to be deleted. We study a few decision problems with respect to the site-directed deletion operation and examine the closure properties of the operations including iterated version of site-directed operation.

15h30-16h00: pause café

16h00-16h30: vie du groupe