7 results on '"Saunier, Thierry"'
Number of results to display per page
Search Results
2. Specification of the model transformations (PIM, PSM) in the MARTES methodology
- Author
-
De Kock, Erwin, Kreku, Jari, Tiensyrjä, Kari, Höst, Martin, Andersson, Per, Barreteau, Michel, Devos, Johan, Tibboel, Walter, Van Baelen, Stefan, Hovsepyan, Aram, Saunier, Thierry, Perrier, Vincent, Alders, Dennis, López, Fernando, Martínez, Natividad, Seepold, Ralf, Cano, Julio, Sánchez, Pablo, and Alders, Dennis
- Abstract
ispartof: MARTES project report nrpages: 83 status: published
- Published
- 2007
3. Common evaluation criteria
- Author
-
Kronlöf, Klaus, Tiensyrjä, Kari, Saunier, Thierry, Van Baelen, Stefan, and Kronlöf, Klaus
- Abstract
ispartof: MARTES project report nrpages: 27 status: published
- Published
- 2006
4. MARTE: a new OMG profile RFP for the Modeling and Analysis of Real-Time Embedded Systems
- Author
-
André, Charles, Cuccuru, Arnaud, Dekeyser, Jean-Luc, de Simone, Robert, Dumoulin, Cédric, Forget, Julien, Gautier, Thierry, Gérard, Sébastien, Mallet, Frédéric, Radermacher, Ansgar, Rioux, Laurent, Saunier, Thierry, Sorel, Yves, Models and methods of analysis and optimization for systems with real-time and embedding constraints (AOSTE), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués (LISE), Département Ingénierie Logiciels et Systèmes (DILS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Contributions of the Data parallelism to real time (DART), Laboratoire d'Informatique Fondamentale de Lille (LIFL), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), Tim, Events and Architectures (TEA), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Middleware on the Move (MIMOVE), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Thales Research and Technology [Palaiseau], THALES [France], Adapter le raisonnement pire cas à différentes criticités (KOPERNIC), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), and THALES
- Subjects
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems ,[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] - Abstract
International audience; A new RFP invitation for an UMLTM profile on Real-Time and Embedded systems modeling and analysis (codename: MARTE) was recently voted at OMG.While of broader scope than strictly SoC design, many objectives of MARTE are highly relevant to the domain (defining time structures, concurrency and communication models, mixing control-flow and dataflow, modeling architectural platforms and adopting Y-chart approaches for allocation of application functions onto architectural resources).We describe the RFP content, stressing its relation to SoC design, as well as others connected activities in the domain, such as SysML, AADL, and UML4SoC.
- Published
- 2005
5. Marte: A new profile rfp for the modeling and analysis of real-time embedded systems
- Author
-
Dumoulin, Cedric, Rioux, Laurent, Saunier, Thierry, Gérard, Sébastien, Radermacher, Ansgar, de Simone, Robert, Gautier, Thierry, Sorel, Yves, Forget, Julien, Dekeyser, Jean-Luc, Cuccuru, Arnaud, André, Charles, Contributions of the Data parallelism to real time (DART), Laboratoire d'Informatique Fondamentale de Lille (LIFL), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS), Thales Research and Technology [Palaiseau], THALES [France], Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Models and methods of analysis and optimization for systems with real-time and embedding constraints (AOSTE), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), THALES, Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Université Nice Sophia Antipolis (... - 2019) (UNS), and COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS)
- Subjects
ComputingMilieux_MISCELLANEOUS - Abstract
International audience
- Published
- 2005
6. Isolation and characterization of a 'quinone-trapping' substance from a crude Carica papaya protein preparation
- Author
-
Richard-Forget, F., Cerny, Muriel, Fayad, N., Saunier, Thierry, Varoquaux, Patrick, Sécurité et Qualité des Produits d'Origine Végétale (SQPOV), Avignon Université (AU)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE), and ProdInra, Migration
- Subjects
[SDV] Life Sciences [q-bio] ,[SPI.GPROC] Engineering Sciences [physics]/Chemical and Process Engineering ,[SDV]Life Sciences [q-bio] ,[SDV.IDA]Life Sciences [q-bio]/Food engineering ,[SPI.GPROC]Engineering Sciences [physics]/Chemical and Process Engineering ,[SDV.IDA] Life Sciences [q-bio]/Food engineering ,ComputingMilieux_MISCELLANEOUS - Abstract
International audience
- Published
- 1998
7. Isolation and characterization of a `quinone-trapping' substance from a crude Carica papaya...
- Author
-
Richard-Forget, Florence, Cerny, Muriel, Fayad, Nina, Saunier, Thierry, and Varoquaux, Patrick
- Subjects
OXIDATION ,PHENOLS ,POLYPHENOL oxidase ,PAPAYA - Abstract
The oxidation of different phenols [4-methylcatechol, chlorogenic acid, (-)-epicatechin and (+)-catechin] by endive polyphenoloxidase (PPO) was investigated in the presence of an extract from Carica papaya. The occurrence of cysteine and another ‘quinone-trapping’ substance in the extract was demonstrated. The unknown substance was purified, as a 4-methylcatechol conjugate form, by a combination of Bio-gel Pz chromatography and semipreparative high-performance liquid chromatography (HPLC). Use of liquid chromatography/tandem mass spectroscopy (LC–MS/MS) equipment and an amino acid analyser allowed us to identify this agent as a dipeptide cysteine-glutamic acid, commercially available as γ-Glu-Cys. γ-Glu-Cys formed one adduct compound with 4-methylcatechol and chlorogenic acid, and two with the flavan-3-ols. The thiol adducts were not substrates for endive PPO but, in the case of the 4-methylcatechol conjugate, they acted as competitive PPO inhibitors. [ABSTRACT FROM AUTHOR]
- Published
- 1998
- Full Text
- View/download PDF
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.