Publications
First-time readers will begin with
article codes99 for an overview of the
AAA methodology and of the SynDEx software. Then,
article memocode03 details the graph
models used in AAA, and the automatic code generation technique
based on graph
transformations. Articles rts03, rts02
and RR04 present a schedulability condition and
a scheduling algorithm, in the case of an uniprocessor, for system
of real-time non preemptive tasks with precedence, periodicity and
latency constraints. Article ecrts07
presents, always in the case of an uniprocessor, a schedulability
condition which extends the one given by Liu & Layland by taking
into account the exact cost of the scheduler and the preemption
rather than approximating them in the WCET of tasks, for system of
real-time preemptive tasks using fixed priority policies.
Articles pdcs07,
rtcsa08 and pms06 present heuristics for
distributing and scheduling, on a multiprocessor, non preemptive
applications with precedence,
multi-periodicity, and latency constraints. These heuristics
are derived from the previous monoprocessor real-time scheduling
algorithms. Article dapsys98 presents the
principles of distribution and scheduling optimization heuristics
used in SynDEx. Articles sosse05
and ess99 present the coupling of Scicos, a
graphical dynamical system modeler and simulator, with
SynDEx. Article ersa03 details the common
algorithm model which allows for implementing on a multiprocessor
as well as on specific integrated
circuit. Article dsn03 presents an extension
of the distribution and scheduling heuristics in order to allow
fault tolerance in SynDEx. An automatic control application example
is carried out with SynDEx in
article esm04. Details about the distributed
real-time executives generation are given in research
report RR98 (french). A simplified version in
english is also available in document
refMan
which is also the reference manual of SynDEx. Long time
ago ecc91 was our first publication
about SynDEx and mpcs94 about the AAA
methodology!
Presentation
(same in french)
of the AAA methodology and SynDEx with two applications examples.
Download our publications:
|
[1]
|
Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, and Jean-Pierre Talpin.
Clock-driven distributed real-time implementation of endochronous
synchronous programs.
In Proceedings of the seventh ACM international conference on
Embedded software, EMSOFT'09, Grenoble, France, October 2009.
[ bib |
.pdf ]
|
|
[2]
|
P. Meumeu Yomsi, L. George, Y. Sorel, and D. de Rauglaudre.
Improving the quality of control of periodic tasks scheduled by fp
with an asynchronous approach.
In International Journal on Advances in Systems and
Measurements, 2(2), 2009.
[ bib |
.pdf ]
|
|
[3]
|
P. Meumeu Yomsi and Y. Sorel.
A new model for hard real-time systems.
In Proceedings of the 3rd Junior Researcher Workshop on
Real-Time Computing, JRWRTC'09, in conjunction with the 17th International
conference on Real-Time and Network Systems, RTNS'09, Paris, France, October
2009.
[ bib |
.pdf ]
|
|
[4]
|
P. Meumeu Yomsi and Y. Sorel.
Schedulability analysis for non necessarily harmonic real-time
systems with precedence and strict periodicity constraints using the exact
number of preemptions and no idle time.
In Proceedings of the 4th Multidisciplinary International
Scheduling Conference, MISTA'09, Dublin, Ireland, August 2009.
[ bib |
.pdf ]
|
|
[5]
|
Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, and Jean-Pierre Talpin.
From concurrent multiclock programs to deterministic asynchronous
implementations.
In Proceedings of the 9th Application of Concurrency to System
Design Conference, ACSD'09, Augsburg, Germany, July 2009.
[ bib |
.pdf ]
|
|
[6]
|
L. Cucu-Grosjean and Y. Sorel.
A schedulability test for real-time dependant periodic task systems
with latency constraints.
In Proceedings of conference Models and Algorithms for Planning
and Scheduling Problems, MAPSP'09, Abbey Rolduc, The Netherlands, July 2009.
[ bib |
.pdf ]
|
|
[7]
|
P. Meumeu Yomsi.
Prise en compte du coût exact de la préemption dans
l'ordonnancement temps réel monoprocesseur avec contraintes multiples.
PhD thesis, Université de Paris Sud, Spécialité Physique,
02/04/2009.
[ bib |
.pdf ]
|
|
[8]
|
O. Kermia.
Ordonnancement temps réel multiprocesseur de tâches non
préemptives avec contraintes de précédence, de périodicité stricte
et de latence.
PhD thesis, Université de Paris Sud, Spécialité Physique,
19/03/2009.
[ bib |
.pdf ]
|
|
[9]
|
P. Meumeu Yomsi, L. George, Y. Sorel, and D. de Rauglaudre.
Improving the sensitivity of deadlines with a specific asynchronous
scenario for harmonic periodic tasks scheduled by fp.
In Proceedings of the 4th International Conference on Systems,
ICONS'09, Cancun, Mexico, March 2009.
[ bib |
.pdf ]
|
|
[10]
|
M.-A. Peraldi-Frati and Y. Sorel.
From high-level modelling of time in marte to real-time scheduling
analysis.
In Proceedings of MODELS'08 Workshop on Architecting and
Construction of Embedded Systems-Model Based, ACES-MB'08, Toulouse, France,
September 2008.
[ bib |
.pdf ]
|
|
[11]
|
O. Kermia and Y. Sorel.
Schedulability analysis for non-preemptive tasks under strict
periodicity constraints.
In Proceedings of 14th International Conference on Real-Time
Computing Systems and Applications, RTCSA'08, Kaohsiung, Taiwan, August
2008.
[ bib |
.pdf ]
|
|
[12]
|
O. Kermia and Y. Sorel.
Load balancing and efficient memory usage for homogeneous distributed
real-time embedded systems.
In Proceedings of the 4th International Workshop on Scheduling
and Resource Management for Parallel and Distributed Systems, SRMPDS'08,
Portland, Oregon, USA, September 2008.
[ bib |
.pdf ]
|
|
[13]
|
A. Albinet, S. Begoc, J.-L. Boulanger, O. Casse, I. Dal, H. Dubois, F. Lakhal,
D. Louar, M.-A. Peraldi-Frati, Y. Sorel, and Q.-D. Van.A.
The memvatex methodology: from requirements to models in automotive
application design.
In Proceedings of 4th European Congress on Embedded Real-Time
Software, ERTS'08, Toulouse, France, February 2008.
[ bib |
.pdf ]
|
|
[14]
|
D. Potop-Butucaru, R. De Simone, and Y. Sorel.
Deterministic execution of synchronous programs in an asynchronous
environment.
Research Report RR-6656, INRIA, 2008.
[ bib |
.pdf ]
|
|
[15]
|
D. Potop-Butucaru, R. De Simone, and Y. Sorel.
Optimized static real-time scheduling of communications on a
broadcast bus.
Research Report RR-6655, INRIA, 2008.
[ bib |
.pdf ]
|
|
[16]
|
D. Potop-Butucaru, Y. Sorel, and R. de Simone.
Necessary and sufficient conditions for deterministic
desynchronization.
In Proceedings of Conference on Embedded Systems Software,
EMSOFT'07, Salzburg, Austria, October 2007.
[ bib |
.pdf ]
|
|
[17]
|
O. Kermia and Y. Sorel.
A rapid heuristic for scheduling non-preemptive dependent periodic
tasks onto multiprocessor.
In Proceedings of ISCA 20th International Conference on Parallel
and Distributed Computing Systems, PDCS'07, Las Vegas, Nevada, USA,
September 2007.
[ bib |
.pdf ]
|
|
[18]
|
P. Meumeu Yomsi and Y. Sorel.
Extending rate monotonic analysis with exact cost of preemptions for
hard real-time systems.
In Proceedings of 19th Euromicro Conference on Real-Time
Systems, ECRTS'07, Pisa, Italy, July 2007.
[ bib |
.pdf ]
|
|
[19]
|
A. Albinet, J-L. Boulanger, H. Dubois, M-A. Peraldi-Frati, Y. Sorel, and Q-D.
Van.
Model-based methodology for requirements traceability in embedded
systems.
In Proceedings of 3rd European Conference on Model Driven
Architecture® Foundations and Applications, ECMDA'07, Haifa, Israel, June
2007.
[ bib |
.pdf ]
|
|
[20]
|
P. Meumeu Yomsi and Y. Sorel.
Schedulability analysis with exact number of preemptions and no idle
time for real-time systems with precedence and strict periodicity
constraints.
In Proceedings of 15th International Conference on Real-Time and
Network Systems, RTNS'07, Nancy, France, March 2007.
[ bib |
.pdf ]
|
|
[21]
|
L. Cucu, N. Pernet, and Y. Sorel.
Periodic real-time scheduling: from deadline-based model to
latency-based model.
Annals of Operations Research, 2007.
[ bib |
.pdf ]
|
|
[22]
|
D. Potop-Butucaru, R. de Simone, and Y. Sorel.
From multi-clock constraints to multi-rate gals executives.
Research Report RR-6021, INRIA, Rocquencourt, France, November 2006.
[ bib |
.pdf ]
|
|
[23]
|
P. Meumeu Yomsi and Y. Sorel.
Non-schedulability conditions for off-line scheduling of real-time
systems subject to precedence and strict periodicity constraints.
In Proceedings of 11th IEEE International Conference on Emerging
technologies and Factory Automation, ETFA'06, WIP, Prague, Czech Republic,
September 2006.
[ bib |
.pdf ]
|
|
[24]
|
N. Pernet.
Implantation distribuée temps réel de programmes
conditionnés à l'aide d'ordonnancements mixtes hors-ligne en-ligne de
tâches périodiques avec contraintes de latence et acceptation de tâches
apériodiques.
PhD thesis, Université de Paris 6, Spécialité Informatique,
07/07/2006.
[ bib |
.pdf ]
|
|
[25]
|
M. Raulet.
Optimisation mémoire dans la méthodologie AAA pour code
embarqué sur architectures parallèles.
PhD thesis, Institut des Sciences Appliquées de Rennes,
Spécialité Electronique et Traitement du Signal, 18/05/2006.
[ bib |
.pdf ]
|
|
[26]
|
O. Kermia, L. Cucu, and Y. Sorel.
Non-preemptive multiprocessor static scheduling for systems with
precedence and strict periodicity constraints.
In Proceedings of the 10th International Workshop On Project
Management and Scheduling, PMS'06, Posnan, Poland, April 2006.
[ bib |
.pdf ]
|
|
[27]
|
Y. Sorel.
From modeling/simulation with scilab/scicos to optimized distributed
embedded real-time implementation with syndex.
In Proceedings of the International Workshop On Scilab and Open
Source Software Engineering, SOSSE'05, Wuhan, China, October 2005.
[ bib |
.pdf ]
|
|
[28]
|
M. Raulet, F. Urban, J.-F. Nezan, C. Moy, O. Déforges, and Y. Sorel.
Rapid Prototyping For Heterogeneous Multicomponent Systems: An
MPEG-4 Stream Over An UMTS Communication Link.
Journal of Applied Signal Processing (JASP), 2005.
[ bib |
.pdf ]
|
|
[29]
|
N. Pernet and Y. Sorel.
Transformations de spécifications incluant du contrôle en
spécification flot de données pour implantation distribuée.
In Actes de la Conférence Modélisation des Systèmes
Réactifs, MSR'05, Grenoble, France, October 2005.
[ bib |
.pdf ]
|
|
[30]
|
N. Pernet and Y. Sorel.
A design method for implementing specifications including control in
distributed embedded systems.
In Proceedings of the 10th IEEE International Conference on
Emerging Technologies and Factory Automation, ETFA'05, Catania, Italy,
September 2005.
[ bib |
.pdf ]
|
|
[31]
|
T. Ayav and Y. Sorel.
Feedback control static scheduling for real-time distributed embedded
systems.
In Proceedings of the 11th IEEE International Conference on
Embedded and Real-Time Computing Systems and Applications, RTCSA'05, Hong
Kong, China, August 2005.
[ bib |
.pdf ]
|
|
[32]
|
L. Cucu and Y. Sorel.
Periodic real-time scheduling: from latency-based model to
deadline-based model.
In Proceedings of the Multidisciplinary International Conference
on Scheduling: Theory and Applications, MISTA'05, New-York, USA, July 2005.
[ bib |
.pdf ]
|
|
[33]
|
L. Cucu and Y. Sorel.
Condition d'ordonnançabilité pour systèmes temps réel
non-préemptif à contraintes de précédences, de périodicités et de
latences.
In Actes du 6ème congrès de la Société Française de
Recherche Opérationnelle et d'Aide à la Décision, ROADEF'05, Tours,
France, February 2005.
[ bib |
.pdf ]
|
|
[34]
|
N. Pernet and Y. Sorel.
Spécification et implantation des systèmes distribués temps
réel de contrôle et traitement de données.
In Actes des Journées Francophones sur l'Adéquation
Algorithme Architecture, Dijon, France, January 2005.
[ bib |
.pdf ]
|
|
[35]
|
H. Kalla.
Génération automatique de distributions/ordonnancements
temps réel fiables et tolérant les fautes.
PhD thesis, Institut National Polytechnique de Grenoble,
Spécialité Systèmes et Logiciel, 17/12/2004.
[ bib |
.pdf ]
|
|
[36]
|
L. Kaouane.
Formalisation et optimisation d'applications s'exécutant sur
architecture reconfigurable.
PhD thesis, Université de Marne-La-Vallée, Spécialité
Informatique, 17/12/2004.
[ bib |
.pdf ]
|
|
[37]
|
L. Cucu and Y. Sorel.
Non-preemptive multiprocessor scheduling for strict periodic systems
with precedence constraints.
In Proceedings of 23rd Annual Workshop of the UK Planning and
Scheduling Special Interest Group, PLANSIG'04, Cork, Ireland, December 2004.
[ bib |
.pdf ]
|
|
[38]
|
L. Kaouane, M. Akil, T. Grandpierre, and Y. Sorel.
A methodology to implement real-time applications onto reconfigurable
circuits.
Journal of Supercomputing, 30(3):362-376, December 2004.
[ bib |
.pdf ]
|
|
[39]
|
Y. Sorel.
Syndex: System-level cad software for optimizing distributed
real-time embedded systems.
Journal ERCIM News, 59:68-69, October 2004.
[ bib |
.pdf ]
|
|
[40]
|
R. Kocik and Y. Sorel.
A methodology to reduce the design lifecycle of real-time embedded
control systems.
In Proceedings of European Simulation and Modelling Conference,
ESM'04, Paris, France, October 2004.
[ bib |
.pdf ]
|
|
[41]
|
L. Cucu and Y. Sorel.
Non-preemptive scheduling algorithms and schedulability conditions
for real-time systems with precedence and latency constraints.
Research Report RR-5403, INRIA, Rocquencourt, France, 2004.
[ bib |
.pdf ]
|
|
[42]
|
L. Cucu and Y. Sorel.
Ordonnancement non-préemptif pour systèmes temps réel à
contraintes de précédences et de latences.
In Actes de la Conférence internationale en Recherche
Opérationnelle, FRANCORO'04, Fribourg, Suisse, August 2004.
[ bib |
.pdf ]
|
|
[43]
|
C. Dima, A. Girault, and Y. Sorel.
Static fault-tolerant real-time scheduling with
“pseudo-topological” orders.
In Proceedings of Joint Conference on Formal Modelling and
Analysis of Timed Systems and Formal Techniques in Real-Time and Fault
Tolerant System, FORMATS-FTRTFT'04, volume 3253 of LNCS, Grenoble,
France, September 2004. Springer-Verlag.
[ bib |
.pdf ]
|
|
[44]
|
A. Girault, H. Kalla, and Y. Sorel.
An active replication scheme that tolerates failures in distributed
embedded real-time systems.
In Proceedings of IFIP Working Conference on Distributed and
Parallel Embedded Systems, DIPES'04, Toulouse, France, August 2004. Kluwer
Academic.
[ bib |
.pdf ]
|
|
[45]
|
A. Girault, H. Kalla, and Y. Sorel.
A scheduling heuristics for distributed real-time embedded systems
tolerant to processor and communication media failures.
International Journal of Production Research,
42(14):2877-2898, July 2004.
[ bib |
.pdf ]
|
|
[46]
|
L. Cucu.
Ordonnancement non préemptif et condition
d'ordonnançabilité pour système embarqués à contraintes temps
réel.
PhD thesis, Université de Paris Sud, Spécialité Électronique,
28/05/2004.
[ bib |
.pdf ]
|
|
[47]
|
Nicolas Pernet and Yves Sorel.
From specification to optimized implementation of distributed
real-time embedded systems mixing control and data processing.
In Proceedings of ISCA 16th International Conference: Computer
Applications in Industry and Engineering, CAINE'03, Las Vegas Nv, USA,
November 2003.
[ bib |
.pdf ]
|
|
[48]
|
A. Girault, H. Kalla, and Y. Sorel.
Une heuristique d'ordonnancement et de distribution tolérante aux
pannes pour systèmes temps-réel embarqués.
In Actes de la conférence Modélisation des Systèmes
Réactifs, MSR'03, pages 145-160, Metz, France, October 2003. Hermes.
[ bib |
.pdf ]
|
|
[49]
|
L. Kaouane, M. Akil, Y. Sorel, and T. Grandpierre.
From algorithm graph specification to automatic synthesis of fpga
circuit: a seamless flow of graph transformations.
In Proceedings of 13th international conference on
Field-Programmable Logic and Applications, FPL'03, Lisbon, Portugal,
September 2003.
[ bib |
.pdf ]
|
|
[50]
|
L. Kaouane, M. Akil, Y. Sorel, and T. Grandpierre.
Implantation optimisée sur circuit dédié d'algorithmes
spécifiés sous la forme d'un graphe factorisé de dépendances de
données: application aux traitements d'images.
In Proceedings of 19th Synposium on Signal and Image
Processing, GRETSI'03, Paris, France, September 2003.
[ bib |
.pdf ]
|
|
[51]
|
M. Raulet, M. Babel, J.-F. Nezan, O. Déforges, and Y. Sorel.
Automatic coarse-grain partitioning and automatic code generation for
heterogeneous architectures.
In Proceedings of IEEE Workshop on Signal Processing Systems,
SiPS'03, Seoul, Korea, August 2003.
[ bib |
.pdf ]
|
|
[52]
|
L. Kaouane, M. Akil, Y. Sorel, and T. Grandpierre.
A methodology to implement real-time applications on reconfigurable
circuits.
In Proceedings of International Conference on Engineering of
Reconfigurable Systems and Algorithms, ERSA'03, Las Vegas, USA, June 2003.
[ bib |
.pdf ]
|
|
[53]
|
A. Girault, H. Kalla, M. Sighireanu, and Y. Sorel.
An algorithm for automatically obtaining distributed and
fault-tolerant static schedules.
In Proceedings of International Conference on Dependable Systems
and Networks, DSN'03, San Francisco, California, USA, June 2003.
[ bib |
.pdf ]
|
|
[54]
|
T. Grandpierre and Y. Sorel.
From algorithm and architecture specification to automatic generation
of distributed real-time executives: a seamless flow of graphs
transformations.
In Proceedings of First ACM and IEEE International Conference on
Formal Methods and Models for Codesign, MEMOCODE'03, Mont Saint-Michel,
France, June 2003.
[ bib |
.pdf ]
|
|
[55]
|
L. Cucu and Y. Sorel.
Schedulability condition for systems with precedence and periodicity
constraints without preemption.
In Proceedings of 11th Real-Time Systems Conference, RTS'03,
Paris, March 2003.
[ bib |
.pdf ]
|
|
[56]
|
Q. Pan, T. Gautier, L. Besnard, and Y. Sorel.
Signal to syndex: Translation between synchronous formalisms.
internal report, 2003.
Internal report, INRIA, Rocquencourt, France, 2003.
[ bib |
.pdf ]
|
|
[57]
|
T. Grandpierre and Y. Sorel.
Un nouveau modèle générique d'architecture hététogène
pour la méthodologie aaa.
In Actes des Journées Francophones sur l'Adéquation
Algorithme Architecture, JFAAA'02, Monastir, Tunisia, December 2002.
[ bib |
.pdf ]
|
|
[58]
|
L. Cucu, R. Kocik, and Y. Sorel.
Real-time scheduling for systems with precedence, periodicity and
latency constraints.
In Proceedings of 10th Real-Time Systems Conference, RTS'02,
Paris, France, March 2002.
[ bib |
.pdf ]
|
|
[59]
|
E. Belhaire, E. Bourennane, G. Bouvier, D. Demigny, P. Garda, L. Kessal,
L. Lacassagne, F. Lohier, M. Paindavoine, Y. Sorel, L. Torres, and S. Weber.
Méthodes et architectures pour le traitement du signal et des
images en temps réel, chapter 5: Y. Sorel, Méthodologie AAA et logiciel
SynDEx, pages 79-108.
IC2. Hermes, 2001.
[ bib |
.pdf ]
|
|
[60]
|
R. Djenidi, R. Nikoukhah, S. Steer, and Y. Sorel.
Interface scicos-syndex.
Rapport de recherche 4250, INRIA, septembre 2001.
[ bib |
.pdf ]
|
|
[61]
|
R. Djenidi.
Formalisme de modélisation des systèmes dynamiques
hybrides.
PhD thesis, Université de Paris 12 Val de Marne, Spécialité
Génie informatique, automatique et traitement du signal, 02/07/2001.
[ bib ]
|
|
[62]
|
A. Girault, C. Lavarenne, M. Sighireanu, and Y. Sorel.
Generation of fault-tolerant static scheduling for real-time
distributed embedded systems with multi-point links.
In Proceedings of IEEE Workshop on Fault-Tolerant Parallel and
Distributed Systems, San Francisco, USA, April 2001.
[ bib |
.pdf ]
|
|
[63]
|
Alain Girault, C. Lavarenne, M. Sighireanu, and Yves Sorel.
Fault-tolerant static scheduling for real-time distributed embedded
systems.
In Proceedings of 21st International Conference on Distributed
Computing Systems, ICDCS'01, Phoenix, USA, April 2001.
[ bib |
.pdf ]
|
|
[64]
|
Catalin Dima, A. Girault, C. Lavarenne, and Y. Sorel.
Off-line real-time fault-tolerant scheduling.
In Proceedings of Euromicro Workshop on Parallel and Distributed
Processing, pages 410-417, Mantova, Italy, February 2001.
[ bib |
.pdf ]
|
|
[65]
|
T. Grandpierre.
Modélisation d'architectures parallèles hétérogènes
pour la génération automatique d'exécutifs distribués temps réel
optimisés.
PhD thesis, Université de Paris Sud, Spécialité électronique,
30/11/2000.
[ bib |
.pdf ]
|
|
[66]
|
M. Barreteau, P. Bonnot, T. Grandpierre, P. Kajfasz, C. Lavarenne, J. Mattioli,
and Y. Sorel.
Prompt : A mapping environment for telecom applications on “system
on a chip”.
In Proceedings of International Conference on Compilers,
Architecture and Synthesis for Embedded Systems, CASE'00,, San Jose, Cal.
USA, November 2000.
[ bib |
.pdf ]
|
|
[67]
|
A. Girault, C. Lavarenne, M. Sighireanu, and Y. Sorel.
Fault-tolerant static scheduling for real-time distributed embedded
systems.
Rapport de recherche 4006, INRIA, septembre 2000.
[ bib |
.pdf ]
|
|
[68]
|
A. Ailton.
Contribution à l'implantation optimisée d'algorithmes bas
niveau de traitement du signal et des images sur des architectures mono-FPGA
à l'aided'une méthodologie d'adéquation algorithme-architecture.
PhD thesis, Université de Paris Sud, Spécialité informatique,
12/07/2000.
[ bib |
.pdf ]
|
|
[69]
|
R. Kocik.
Sur l'optimisation des systèmes distribués temps réel
embarqués : application au prototypage rapide d'un véhicule électrique
semi-autonome.
PhD thesis, Université de Rouen, Spécialité informatique
industrielle, 22/03/2000.
[ bib |
.pdf ]
|
|
[70]
|
R. Kocik and Y. Sorel.
De la modélisation à la réalisation : réduction du cycle de
développement des applications temps réel distribuées.
In Proceedings of 8th Real-Time Systems Conference, RTS'00,
Paris, France, March 2000.
[ bib |
.pdf ]
|
|
[71]
|
Christine Ancourt, Michel Barreteau, Bernard Dion, T. Grandpierre, Irigoin
François, Jean Jourdan, Philippe Kajfasz, C. Lavarenne, and Y. Sorel.
Prompt : Placement rapide optimisé sur machines parallèles pour
applications de télécommunications.
In Actes du 5ème Worshop sur l'Adéquation Algorithme
Architecture, Paris, France, January 2000.
[ bib |
.pdf ]
|
|
[72]
|
M. Akil, A. Dias, C. Lavarenne, and Yves Sorel.
Vers la synthèse automatique de circuits à partir de graphes
algorithmiques factorisés.
In Actes du 5ème Workshop sur l'Adéquation Algorithme
Architecture, Paris, France, January 2000.
[ bib |
.pdf ]
|
|
[73]
|
Rachid Djenidi, C. Lavarenne, Ramine Nikoukhah, Y. Sorel, and S. Steer.
From hybrid system simulation to real-time implementation.
In Proceedings of 11th European Simulation Symposium and
Exhibition, ESS'99, Erlangen-Nuremberg, Germany, October 1999.
[ bib |
.pdf ]
|
|
[74]
|
A. Vicard.
Formalisation et optimisation des systèmes informatiques
distribués temps réel embarqués.
PhD thesis, Université de Paris Nord, Spécialité informatique,
5/07/1999.
[ bib |
.pdf ]
|
|
[75]
|
T. Grandpierre, C. Lavarenne, and Y. Sorel.
Optimized rapid prototyping for real-time embedded heterogeneous
multiprocessors.
In Proceedings of 7th International Workshop on
Hardware/Software Co-Design, CODES'99, Rome, Italy, May 1999.
[ bib |
.pdf ]
|
|
[76]
|
T. Grandpierre, C. Lavarenne, and Y. Sorel.
Modèle d'exécutif distribué temps réel pour SynDEx.
Rapport de Recherche 3476, INRIA, August 1998.
[ bib |
.pdf ]
|
|
[77]
|
A. Vicard and Y. Sorel.
Formalization and static optimization for parallel implementations.
In Proceedings of Workshop on Distributed and Parallel Systems,
DAPSYS'98, Budapest, Hungary, September 1998.
[ bib |
.pdf ]
|
|
[78]
|
A. Vicard and Y. Sorel.
Formalisation et optimisation statique d'implantations parallèles.
In Actes des Deuxièmes Journées francophones de recherche
opérationnelle, FRANCORO'98, Sousse, Tunisie, April 1998.
[ bib |
.pdf ]
|
|
[79]
|
R. Kocik and Y. Sorel.
A methodology to design and prototype optimized embedded robotic
systems.
In Proceedings of 2nd IMACS International Multiconference,
CESA'98, Hammamet, Tunisia, April 1998.
[ bib |
.pdf ]
|
|
[80]
|
A. Dias, C. Lavarenne, M. Akil, and Y. Sorel.
Optimized implementation of real-time image processing algorithms on
field programmable gate arrays.
In Proceedings of Fourth International Conference on Signal
Processing, ICSP'98, Beijing, China, October 1998.
[ bib |
.pdf ]
|
|
[81]
|
A. Dias, C. Lavarenne, M. Akil, and Y. Sorel.
Adéquation algorithme architecture appliquée aux circuits
reconfigurables.
In Actes des Quatrièmes Journées AAA en Traitement du Signal
et des Images, Saclay, France, January 1998.
[ bib |
.pdf ]
|
|
[82]
|
C. Lavarenne and Y. Sorel.
Modèle unifié pour la conception conjointe logiciel-matériel.
Traitement du Signal, 14(6), 1997.
[ bib |
.pdf ]
|
|
[83]
|
Collectif.
Ordinateurs et calcul parallèles, chapter XII: Y. Sorel,
Adéquation Algorithme-Architecture en traitement du signal et des images,
pages 209-228.
ARAGO 19. OFTA, Lavoisier TEC et DOC, April 1997.
[ bib |
.pdf ]
|
|
[84]
|
Y. Sorel.
Real-time embedded image processing applications using the algorithm
architecture adequation methodology.
In Proceedings of IEEE International Conference on Image
Processing, ICIP'96, Lausanne, Switzerland, September 1996.
[ bib |
.pdf ]
|
|
[85]
|
C. Aiglon, C. Lavarenne, Y. Sorel, and A. Vicard.
Utilisation de SynDEx pour le traitement d'images temps-réel.
Rapport de Recherche 2968, INRIA, September 1996.
[ bib |
.pdf ]
|
|
[86]
|
Y. Sorel.
Massively parallel systems with real time constraints, the algorithm
architecture adequation methodology.
In Proceedings of Conference on Massively Parallel Computing
Systems, MPCS'94, Ischia, Italy, May 1994.
[ bib |
.pdf ]
|
|
[87]
|
P. Bournai, C. Lavarenne, P. Le Guernic, O. Mafféës, and Y. Sorel.
Interface SIGNAL-SynDEx.
Rapport de Recherche 2206, INRIA, March 1994.
[ bib |
.pdf ]
|
|
[88]
|
C. Lavarenne and Y. Sorel.
Optimisation et génération d'exécutifs distribués
temps-réel pour algorithmes spécifiés avec les Langages Synchrones.
In Proceedings of Conference on Real Time Systems, RTS'94,
Paris, France, January 1994.
[ bib |
.pdf ]
|
|
[89]
|
C. Lavarenne and Y. Sorel.
Performance optimization of multiprocessor real-time applications by
graph transformations.
In Proceedings of Parallel Computing Conference, PARCO'93,
Grenoble, France, September 1993.
[ bib |
.pdf ]
|
|
[90]
|
C. Lavarenne, Claude Milan, Michel Paindavoine, G. Richard, and Y. Sorel.
Implantation d'algorithmes de traitement d'images sur une
architecture multi-DSP avec l'environnement d'aide à l'implantation
SynDEx.
In Actes du XIVème Colloque GRETSI, Juan-Les-Pins, France,
September 1993.
[ bib |
.pdf ]
|
|
[91]
|
C. Lavarenne, R. Reynaud, and Y. Sorel.
Spécification et validation à l'aide d'un langage synchrone d'un
protocole d'appariement de données asynchrones.
In Actes du XIVème Colloque GRETSI, Juan-Les-Pins, France,
September 1993.
[ bib |
.pdf ]
|
|
[92]
|
C. Lavarenne and Y. Sorel.
Specification, performance optimization and executive generation for
real-time embedded multiprocessor applications with SynDEx.
In Proceedings of Real-Time Embedded Processing for Space
Applications, Les Saintes Maries de la Mer, France, November 1992. CNES
International Symposium.
[ bib |
.pdf ]
|
|
[93]
|
F. Ennesser, C. Lavarenne, and Y. Sorel.
Méthode chronométrique pour l'optimisation du temps de réponse
des exécutifs SynDEx.
Rapport de Recherche 1769, INRIA, June 1992.
[ bib |
.pdf ]
|
|
[94]
|
C. Lavarenne, O. Seghrouchni, Y. Sorel, and M. Sorine.
SynDEx, un environnement de programmation pour applications de
traitement du signal distribuées.
In Actes du XIIIème Colloque GRETSI, Juan-les-Pins, France,
September 1991.
[ bib |
.pdf ]
|
|
[95]
|
C. Lavarenne, O. Seghrouchni, Y. Sorel, and M. Sorine.
The SynDEx software environment for real-time distributed systems,
design and implementation.
In Proceedings of European Control Conference, ECC'91,
Grenoble, France, July 1991.
[ bib |
.pdf ]
|
|
[96]
|
N. Ghezal, S. Matiatos, P. Piovesan, Y. Sorel, and M. Sorine.
SynDEx, un environnement de programmation pour multiprocesseur de
traitement du signal, mécanismes de communication.
Rapport de Recherche 1236, INRIA, June 1990.
[ bib |
.pdf ]
|
|
[97]
|
C. Lavarenne and Y. Sorel.
SynDEx, un environnement de programmation pour multiprocesseur de
traitement du signal. manuel de l'utilisateur v.0.
Rapport Technique 113, INRIA, 1989.
[ bib |
.pdf ]
|
This file has been generated by
bibtex2html 1.86.
Last update: 2009-12-28
For any question, please contact:
Yves.Sorel@inria.fr
|
