Telecom parisTech, salle F502: comment y aller
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.
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.