Vincent David

According to our database, Vincent David authored at least 23 papers between 1992 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

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, 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

Proceedings of the International Conference on Computational Science, 2013

Time- and angle-triggered real-time kernel.

Damien Chabrol, Didier Roux, Vincent David, Mathieu Jan, Moha Ait Hmid, Patrice Oudin, Gilles Zeppa

Proceedings of the Design, Automation and Test in Europe, 2013

2012

A low-overhead dedicated execution support for stream applications on shared-memory cmp.

Paul Dubrulle, Stéphane Louise, Renaud Sirdey, Vincent David

Proceedings of the 12th International Conference on Embedded Software, 2012

2011

A single processor approach for loosely synchronized execution of parallel flows on heterogeneous multicore.

Stéphane Louise, Vincent David, Fabien Calcado

Proceedings of the International Conference on Computational Science, 2011

On the reaction time of some synchronous systems

Ilias Garnier, Christophe Aussaguès, Vincent David, Guy Vidal-Naquet

Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

Evaluation of Task Migration Mechanisms for Hard Real-Time Distributed Systems.

Thomas Megel, Mathieu Jan, Vincent David, Christian Fraboul

Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011

Scheduling safety-critical real-time bus accesses using Time-Constrained Automata.

Mathieu Jan, Jean-Sylvain Camier, Vincent David

Proceedings of the 19th International Conference on Real-Time and Network Systems, 2011

ΣC: A Programming Model and Language for Embedded Manycores.

Thierry Goubier, Renaud Sirdey, Stéphane Louise, Vincent David

Proceedings of the Algorithms and Architectures for Parallel Processing, 2011

The OASIS Kernel: A Framework for High Dependability Real-Time Systems.

Stéphane Louise, Matthieu Lemerre, Christophe Aussaguès, Vincent David

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

2010

An Introduction to Time-Constrained Automata

Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet

Proceedings of the Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, 2010

CONFIGEN: A tool for managing configuration options

Emmanuel Ohayon, Matthieu Lemerre, Vincent David

Proceedings of the Proceedings First International Workshop on Logics for Component Configuration, 2010

Usage of the safety-oriented real-time OASIS approach to build deterministic protection relays.

Mathieu Jan, Vincent David, Jimmy Lalande, Maurice Pitel

Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010

Minimizing Task Preemptions and Migrations in Multiprocessor Optimal Real-Time Schedules.

Thomas Megel, Renaud Sirdey, Vincent David

Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010

2009

A communication mechanism for resource isolation.

Matthieu Lemerre, Vincent David, Guy Vidal-Naquet

Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems, 2009

A Spatial and Temporal Partitioning Approach for Dependable Automotive Systems.

Damien Chabrol, Christophe Aussaguès, Vincent David

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

Efficient Use of Processing Cores on Heterogeneous Multicore Architecture.

Fabien Calcado, Stéphane Louise, Vincent David, Alain Mérigot

Proceedings of the 2009 International Conference on Complex, 2009

2008

Equivalence between Schedule Representations: Theory and Applications.

Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet

Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

2007

OASIS formal approach for distributed safety-critical real-time system design.

Sylvain Camier, Damien Chabrol, Vincent David, Christophe Aussaguès

Proceedings of the ISoLA 2007, 2007

2005

Deterministic Distributed Safety-Critical Real-Time Systems within the Oasis Approach.

Damien Chabrol, Vincent David, Christophe Aussaguès, Stéphane Louise, Frédéric Daumas

Proceedings of the International Conference on Parallel and Distributed Computing Systems, 2005

2002

OASIS project: deterministic real-time for safety critical embedded systems.

Stéphane Louise, Vincent David, Jean Delcoigne, Christophe Aussaguès

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

1998

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

Proceedings of the Computer Safety, 1998

A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems.

Christophe Aussaguès, Vincent David

Proceedings of the 4th International Conference on Engineering of Complex Computer Systems (ICECCS '98), 1998

1992

Semantic Parallelism in Heuristic Tree Search for a Distributed Implementation.

Vincent David

Proceedings of the Workshop on Concurrent and Parallel Implementations (sessions A and B), 1992