Vincent David
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
14
Active years
1992–2013
Best venue rank
National
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | DATE | Time- and angle-triggered real-time kernel. | Damien Chabrol, Didier Roux, Vincent David, Mathieu Jan, Moha Ait Hmid, Patrice Oudin, Gilles Zeppa |
| 2013 | ICCS | Extended Cyclostatic Dataflow Program Compilation and Execution for an Integrated Manycore Processor. | Pascal Aubry, Pierre-Edouard Beaucamps, Frdric Blanc, Bruno Bodin, Sergiu Carpov, Loc Cudennec, Vincent David, Philippe Dore, Paul Dubrulle, Benot Dupont de Dinechin, Franois Galea, Thierry Goubier, Michel Harrand, Samuel Jones, Jean-Denis Lesage, Stphane Louise, Nicolas Morey Chaisemartin, Thanh-Hai Nguyen, Xavier Raynaud, Renaud Sirdey |
| 2012 | EMSOFT | A low-overhead dedicated execution support for stream applications on shared-memory cmp. | Paul Dubrulle, Stphane Louise, Renaud Sirdey, Vincent David |
| 2011 | ICA3PP | ΣC: A Programming Model and Language for Embedded Manycores. | Thierry Goubier, Renaud Sirdey, Stphane Louise, Vincent David |
| 2011 | RTNS | Scheduling safety-critical real-time bus accesses using Time-Constrained Automata. | Mathieu Jan, Jean-Sylvain Camier, Vincent David |
| 2011 | RTNS | Evaluation of Task Migration Mechanisms for Hard Real-Time Distributed Systems. | Thomas Megel, Mathieu Jan, Vincent David, Christian Fraboul |
| 2010 | RTSS | Minimizing Task Preemptions and Migrations in Multiprocessor Optimal Real-Time Schedules. | Thomas Megel, Renaud Sirdey, Vincent David |
| 2009 | CISIS | Efficient Use of Processing Cores on Heterogeneous Multicore Architecture. | Fabien Calcado, Stphane Louise, Vincent David, Alain Mrigot |
| 2009 | ETFA | A Spatial and Temporal Partitioning Approach for Dependable Automotive Systems. | Damien Chabrol, Christophe Aussagus, Vincent David |
| 2009 | EuroSys | A communication mechanism for resource isolation. | Matthieu Lemerre, Vincent David, Guy Vidal-Naquet |
| 2008 | RTAS | Equivalence between Schedule Representations: Theory and Applications. | Matthieu Lemerre, Vincent David, Christophe Aussagus, Guy Vidal-Naquet |
| 2007 | ISoLA | OASIS formal approach for distributed safety-critical real-time system design. | Sylvain Camier, Damien Chabrol, Vincent David, Christophe Aussagus |
| 1998 | ICECCS | A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems. | Christophe Aussagus, Vincent David |
| 1998 | SAFECOMP | 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 |
| 1992 | ICLP | Semantic Parallelism in Heuristic Tree Search for a Distributed Implementation. | Vincent David |