Crossing African Borders: migration and mobility

This publication is one of the results of a conference organised in Lisbon in 2011 on the theme of African borders and their relationships with migration and mobility. The selected papers are a sample of the diverse perspectives on the general theme presented at the meeting. The African Borderlands Research Network (ABORNE) promoted this event, allowing a substantial number of its members to exchange results of ongoing and long-term research. The Fundação para a Ciência e a Tecnologia (Portugal) funded the research project Borders and Identity in Africa which prepared this publication

Northeastern Illinois University, Board of Governors Universities, Academic Catalog 1993-1994

https://neiudc.neiu.edu/catalogs/1034/thumbnail.jp

Actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel

National audienceCe document contient les actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Gé}nie de la Programmation et du Logiciel (GDR GPL) s'étant déroulées à Nancy du 3 au 5 avril 2013. Les contributions présentées dans ce document ont été sélectionnées par les différents groupes de travail du GDR. Il s'agit de résumés, de nouvelles versions, de posters et de démonstrations qui correspondent à des travaux qui ont déjà été validés par les comités de programmes d'autres conférences et revues et dont les droits appartiennent exclusivement à leurs auteurs

The design and application of an extensible operating system

Tanenbaum, A.S. [Promotor

Formal approach for a verified implementation of Global EDF in Trampoline

International audienceThe technological progress in embedded system softwares increasingly requires the introduction of multiprocessor/multicore platforms for their considerable capacity and performances. This has introduced a large number of scientific researches in multiprocessor real-time scheduling but most of the results remain theoretical.Some implementations within real time operating systems have been studied, most of which are validated using simulation. However, simulation does not cover all the possible situations and does not take all the target constraints into account. This arises some questions about the confidence in implementing "sophisticated policies" and ensuring that the implemented schedulers behave exactly as they are specified in literature.For this reason, we introduce in this paper an innovative approach to formally verify the behavior of an implemented Global EDF scheduler in an OSEK/VDX real-time operating system called Trampoline. It’s a preliminary step since we intend to extend this study to other scheduling policies which are more complicated

Bowdoin Orient v.133, no.1-25 (2001-2002)

https://digitalcommons.bowdoin.edu/bowdoinorient-2000s/1002/thumbnail.jp

Massachusetts Domestic and Foreign Corporations Subject to an Excise: For the Use of Assessors (2004)

International audienc