Vincent David

23 papers A 3B 2C 2Misc 6Unranked 10
YearRankTypeTitle / Venue / Authors
2013 Misc conf
Extended Cyclostatic Dataflow Program Compilation and Execution for an Integrated Manycore Processor.
ICCS
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, François Galea, Thierry Goubier, Michel Harrand, Samuel Jones, Jean-Denis Lesage, Stéphane Louise, Nicolas Morey Chaisemartin, Thanh-Hai Nguyen, Xavier Raynaud, Renaud Sirdey
2013 A conf
Time- and angle-triggered real-time kernel.
DATE
Damien Chabrol, Didier Roux, Vincent David, Mathieu Jan, Moha Ait Hmid, Patrice Oudin, Gilles Zeppa
2012 Misc conf
A low-overhead dedicated execution support for stream applications on shared-memory cmp.
EMSOFT
Paul Dubrulle, Stéphane Louise, Renaud Sirdey, Vincent David
2011 Misc conf
A single processor approach for loosely synchronized execution of parallel flows on heterogeneous multicore.
ICCS
Stéphane Louise, Vincent David, Fabien Calcado
2011 Misc conf
Evaluation of Task Migration Mechanisms for Hard Real-Time Distributed Systems.
RTNS
Thomas Megel, Mathieu Jan, Vincent David, Christian Fraboul
2011 — conf
On the reaction time of some synchronous systems
ICE
Ilias Garnier, Christophe Aussaguès, Vincent David, Guy Vidal-Naquet
2011 Misc conf
Scheduling safety-critical real-time bus accesses using Time-Constrained Automata.
RTNS
Mathieu Jan, Jean-Sylvain Camier, Vincent David
2011 — conf
The OASIS Kernel: A Framework for High Dependability Real-Time Systems.
HASE
Stéphane Louise, Matthieu Lemerre, Christophe Aussaguès, Vincent David
2011 — conf
ΣC: A Programming Model and Language for Embedded Manycores.
ICA3PP (1)
Thierry Goubier, Renaud Sirdey, Stéphane Louise, Vincent David
2010 — conf
An Introduction to Time-Constrained Automata
ICE
Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet
2010 — conf
CONFIGEN: A tool for managing configuration options
LoCoCo
Emmanuel Ohayon, Matthieu Lemerre, Vincent David
2010 A conf
Minimizing Task Preemptions and Migrations in Multiprocessor Optimal Real-Time Schedules.
RTSS
Thomas Megel, Renaud Sirdey, Vincent David
2010 — conf
Usage of the safety-oriented real-time OASIS approach to build deterministic protection relays.
SIES
Mathieu Jan, Vincent David, Jimmy Lalande, Maurice Pitel
2009 C conf
A Spatial and Temporal Partitioning Approach for Dependable Automotive Systems.
ETFA
Damien Chabrol, Christophe Aussaguès, Vincent David
2009 — conf
A communication mechanism for resource isolation.
IIES@EuroSys
Matthieu Lemerre, Vincent David, Guy Vidal-Naquet
2009 Misc conf
Efficient Use of Processing Cores on Heterogeneous Multicore Architecture.
CISIS
Fabien Calcado, Stéphane Louise, Vincent David, Alain Mérigot
2008 A conf
Equivalence between Schedule Representations: Theory and Applications.
IEEE Real-Time and Embedded Technology and Applications Symposium
Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet
2007 C conf
OASIS formal approach for distributed safety-critical real-time system design.
ISoLA
Sylvain Camier, Damien Chabrol, Vincent David, Christophe Aussaguès
2005 — conf
Deterministic Distributed Safety-Critical Real-Time Systems within the Oasis Approach.
IASTED PDCS
Damien Chabrol, Vincent David, Christophe Aussaguès, Stéphane Louise, Frédéric Daumas
2002 — conf
OASIS project: deterministic real-time for safety critical embedded systems.
ACM SIGOPS European Workshop
Stéphane Louise, Vincent David, Jean Delcoigne, Christophe Aussaguès
1998 B conf
A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems.
ICECCS
Christophe Aussaguès, Vincent David
1998 B conf
Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems.
SAFECOMP
Vincent David, Jean Delcoigne, Evelyne Leret, Alain Ourghanlian, Philippe Hilsenkopf, Philippe Paris
1992 — conf
Semantic Parallelism in Heuristic Tree Search for a Distributed Implementation.
IJCSLP Workshop on Concurrent and Parallel Implementations
Vincent David