Vincent David
Alternatives
51 Papers
303 Citations
Vincent David is an academic researcher from Alternatives. The author has contributed to research in topics: Human multitasking & Task (computing). The author has an hindex of 10, co-authored 51 publications. Previous affiliations of Vincent David include Commissariat à l'énergie atomique et aux énergies alternatives.
Chat about Author
Papers
Extended Cyclostatic Dataflow Program Compilation and Execution for an Integrated Manycore Processor
Pascal Aubry,Pierre-Edouard Beaucamps,Frédéric Blanc,Bruno Bodin,Sergiu Carpov,Loïc Cudennec,Vincent David,Philippe Dore,Paul Dubrulle,Benoît Dupont de Dinechin,Francois Galea,Thierry Goubier,Michel Harrand,Samuel Jones,Jean-Denis Lesage,Stéphane Louise,Nicolas Morey Chaisemartin,Thanh Hai Nguyen,Xavier Raynaud,Renaud Sirdey +19 more
- 01 Jan 2013
TL;DR: A compilation toolchain for the ΣC language is presented, which allows the hierarchical construction of stream applications and automatic mapping of this application to an embedded manycore target.
54
Minimizing Task Preemptions and Migrations in Multiprocessor Optimal Real-Time Schedules
Thomas Megel,Renaud Sirdey,Vincent David +2 more
- 30 Nov 2010
TL;DR: A new linear programming formulation and a local scheduler is proposed which exhibits low complexity and produces few task preemptions and migrations in optimal global real-time schedules on symmetric multiprocessors.
36
Patent
System comprising a plurality of processing units making it possible to execute tasks in parallel, by mixing the mode of execution of control type and the mode of execution of data flow type
Frédéric Blanc,Thierry Collette,Raphaël David,Vincent David,Michel Harrand,Stéphane Louise,Nicolas Ventroux +6 more
- 11 Dec 2008
TL;DR: In this paper, the authors present a system comprising a plurality of processing units making it possible to execute tasks in parallel and a communication network, where the processing units are organized as plurality of groupings of units, each grouping comprising a local memory.
26
The OASIS Kernel: A Framework for High Dependability Real-Time Systems
Stéphane Louise,Matthieu Lemerre,Christophe Aussaguès,Vincent David +3 more
- 10 Nov 2011
TL;DR: This paper shows how, from a formalism, and a Domain Specific Language, to build a generic execution layer that conforms to the highest levels of safety, how the safety is implemented thank to the interaction between the kernel and the compilation tools, and how performance was optimized within these constraints.
23
Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems
Vincent David,Jean Delcoigne,Evelyne Leret,Alain Ourghanlian,Philippe Hilsenkopf,Philippe Paris +5 more
- 05 Oct 1998
TL;DR: The OASIS model and its associated techniques are introduced to model both real-time tasks and to ensure determinism and dependability concerns when tasks are executed in parallel.
22