The polychronous model of computation and Kahn process networks von Gautier, Thierry, Le Guernic, Paul, Besnard, Loïc, Talpin, Jean-Pierre

Volltext

A framework for automatic and parameterizable memoization von Besnard, Loïc, Pinto, Pedro, Lasri, Imane, Bispo, João, Rohou, Erven, Cardoso, João M.P.

Volltext

Polychronous automata and their use for formal validation of AADL models von GAUTIER, Thierry, GUY, Clément, HONORAT, Alexandre, LE GUERNIC, Paul, TALPIN, Jean-Pierre, BESNARD, Loïc

Volltext

Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony von Besnard, Loïc, Bouakaz, Adnan, Gautier, Thierry, Le Guernic, Paul, Ma, Yue, Talpin, Jean-Pierre, Yu, Huafeng

Volltext

The ANTAREX domain specific language for high performance computing von Silvano, Cristina, Agosta, Giovanni, Bartolini, Andrea, Beccari, Andrea R., Benini, Luca, Besnard, Loïc, Bispo, João, Cmar, Radim, Cardoso, João M.P., Cavazzoni, Carlo, Cesarini, Daniele, Cherubin, Stefano, Ficarelli, Federico, Gadioli, Davide, Golasowski, Martin, Libri, Antonio, Martinovič, Jan, Palermo, Gianluca, Pinto, Pedro, Rohou, Erven, Slaninová, Kateřina, Vitali, Emanuele

Volltext

A Framework for Fixed Priority Periodic Scheduling Synthesis from Synchronous Data-Flow Graphs von Tran, Hai Nam, Honorat, Alexandre, Bhattacharyya, Shuvra S., Talpin, Jean-Pierre, Gautier, Thierry, Besnard, Loïc

Volltext

Compositional design of isochronous systems von Talpin, Jean-Pierre, Ouy, Julien, Gautier, Thierry, Besnard, Loïc, Le Guernic, Paul

Volltext

Polychronous modeling, analysis, verification and simulation for timed software architectures von Yu, Huafeng, Ma, Yue, Gautier, Thierry, Besnard, Loïc, Le Guernic, Paul, Talpin, Jean-Pierre

Volltext

Formal verification of synchronous data-flow program transformations toward certified compilers von NGO, Van Chan, TALPIN, Jean-Pierre, GAUTIER, Thierry, GUERNIC, Paul Le, BESNARD, Loïc

Volltext

Exploring system architectures in AADL via POLYCHRONY and SYNDEx von YU, Huafeng, MA, Yue, GAUTIER, Thierry, BESNARD, Loïc, TALPIN, Jean-Pierre, GUERNIC, Paul Le, SOREL, Yves

Volltext

Toward polychronous analysis and validation for timed software architectures in AADL von Ma, Yue, Yu, Huafeng, Gautier, Thierry, Le Guernic, Paul, Talpin, Jean-Pierre, Besnard, Loic, Heitz, Maurice

Volltext

Real-Time Fixed Priority Scheduling Synthesis using Affine DataFlow Graphs: from Theory to Practice von Honorat, Alexandre, Tran, Hai Nam, Gautier, Thierry, Besnard, Loïc, Bhattacharyya, Shuvra S., Talpin, Jean-Pierre

Volltext

Compositional design of isochronous systems von Talpin, Jean-Pierre, Ouy, Julien, Besnard, Loic, Le Guernic, Paul

Volltext

Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software von Besnard, Loïc, Gautier, Thierry, Ouy, Julien, Talpin, Jean-Pierre, Bodeveix, Jean-Paul, Cortier, Alexandre, Pantel, Marc, Strecker, Martin, Garcia, Gérald, Rugina, Ana-Elena, Buisson, Jérémy, Dagnat, Fabien

Volltext

Separate Compilation of Polychronous Specifications von Ouy, Julien, Talpin, Jean-Pierre, Besnard, Loïc, Le Guernic, Paul

Volltext

LTSs for translation validation of (multi-clocked) SIGNAL specifications von Peralta, Julio C, Gautier, Thierry, Besnard, Loic, Le Guernic, Paul

Volltext bestellen

An Interval-Based Solution for Static Analysis in the SIGNAL Language von Gamatie, A., Gautier, T., Besnard, L.

Volltext bestellen

Formal Verification of Compiler Transformations on Polychronous Equations von Ngo, Van Chan, Talpin, Jean-Pierre, Gautier, Thierry, Le Guernic, Paul, Besnard, Loïc

Volltext

Automated translation of C/C++ models into a synchronous formalism von Kalla, H., Talpin, J.-P., Berner, D., Besnard, L.

Volltext bestellen

Implementation of the data-flow synchronous language SIGNAL von Amagbégnon, Pascalin, Besnard, Loïc, Le Guernic, Paul

Volltext