Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Przeglądasz jako GOŚĆ

Wyszukujesz frazę ""Mallet, Frédéric"" wg kryterium: Autor


Tytuł :
Concurrent control system: from Grafcet to VHDL
Autorzy :
Mallet , Frédéric
Gaffé , D.
Boéri , F.
Pokaż więcej
Temat :
[ SPI.ELEC ] Engineering Sciences [physics]/Electromagnetism
Specification
Modelling
GRAFCET
VHDL
programmable components
FPGA
[SPI.ELEC]Engineering Sciences [physics]/Electromagnetism
Źródło :
Euromicro 2000
Euromicro 2000, Sep 2000, Maastricht, Netherlands. pp.230-234, 2000
Euromicro 2000, Sep 2000, Maastricht, Netherlands. pp.230-234
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f5e8552ac5af3008ab6d8882f8750c2b
https://hal.archives-ouvertes.fr/hal-00973434
Tytuł :
Cancers de prostate non métastatiques traités par radiothérapie exclusive : devenir des patients selon la méthode d'évaluation ganglionnaire radiologique ou chirurgicale. Une analyse rétrospective multivariée
Autorzy :
Dat Nguyen, Tan
Pokaż więcej
Źródło :
In Annales d'urologie 2002 36(3):182-189
Czasopismo naukowe
Tytuł :
Non metastatic prostate cancers treated by exclusive radiotherapy: the different outcome of node negative patients according to surgical or radiological staging
Autorzy :
Dat Nguyen, Tan
Mallet, Frédéric
Petit, Michel
Lemaire, Philippe
Cauchois, Adéla
Loirette, Michel
Merle, Corinne
Pokaż więcej
Alternatywny tytuł :
Cancers de prostate non me´tastatiques traite´s par radiothe´rapie exclusive : devenir des patients selon la me´thode d'e´valuation ganglionnaire radiologique ou chirurgicale. Une analyse re´trospective multivarie´e
Źródło :
Annales d'Urologie. Apr2002, Vol. 36 Issue 3, p182. 8p.
Czasopismo naukowe
Tytuł :
[Non-metastatic prostate cancer treated with exclusive radiotherapy: prognosis of patients according to lymph node radiologic or surgical assessment method. Multivariate retrospective analysis].
Autorzy :
Nguyen TD; Institut Jean-Godinot, département d'Oncologie Radiothérapie, BP 171, Reims, France. />Mallet F
Petit M
Lemaire P
Cauchois A
Loirette M
Merle C
Pokaż więcej
Transliterated Title :
Cancers de prostate non métastatiques traités par radiothérapie exclusive: devenir des patients selon la méthode d'évaluation ganglionnaire radiologique ou chirurgicale. Une analyse rétrospective multivariée.
Źródło :
Annales d'urologie [Ann Urol (Paris)] 2002 May; Vol. 36 (3), pp. 182-9.
Typ publikacji :
Comparative Study; Journal Article
MeSH Terms :
Adenocarcinoma/*radiotherapy
Prostatic Neoplasms/*radiotherapy
Adenocarcinoma/mortality ; Adenocarcinoma/pathology ; Aged ; Aged, 80 and over ; Humans ; Lymph Node Excision ; Lymphatic Metastasis/diagnostic imaging ; Male ; Middle Aged ; Multivariate Analysis ; Prostatic Neoplasms/mortality ; Prostatic Neoplasms/pathology ; Radiography ; Retrospective Studies ; Survival Rate
Czasopismo naukowe
Tytuł :
Modeling of Immediate vs. Delayed Data Communications: from AADL to UML MARTE
Autorzy :
André, Charles
Mallet, Frédéric
De Simone, Robert
Pokaż więcej
Temat :
UML
MARTE
Time
AADL
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
ECSI Forum on specification & Design Languages (FDL)
ECSI Forum on specification & Design Languages (FDL), ECSI, Sep 2007, Barcelona, Spain. pp.249-254
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::04b86daa0f7932f63c5da5746b0aafe4
https://hal.inria.fr/inria-00204484
Tytuł :
Time Modeling in MARTE
Autorzy :
André, Charles
Mallet, Frédéric
De Simone, Robert
Pokaż więcej
Temat :
UML
MARTE
Time
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
ECSI Forum on specification & Design Languages (FDL)
ECSI Forum on specification & Design Languages (FDL), ECSI, Sep 2007, Barcelona, Spain. pp.268-273
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1a5ecd3c704bdc65530eeb9c45b1fbc8
https://hal.inria.fr/inria-00204481
Tytuł :
CCSL: specifying clock constraints with UML/MARTE
Autorzy :
Mallet, Frédéric
Pokaż więcej
Temat :
UML profile
Time model
MARTE
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Źródło :
Innovations in Systems and Software Engineering
Innovations in Systems and Software Engineering, Springer Verlag, 2008, Special Issue on UML & Formal Methods, 4 (3), pp.309-314. ⟨10.1007/s11334-008-0055-2⟩
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::37d87f2d76d55b2cf8c4cafbfa6dc66a
https://hal.inria.fr/inria-00371371
Tytuł :
Marte, le nouveau standard UML pour les systèmes temps réel embarqués
Autorzy :
Demathieu, Sébastien
Gérard, Sébastien
Mallet, Frédéric
Pokaż więcej
Temat :
UML
MARTE
Standard
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Źródło :
ElectroniqueS
ElectroniqueS, Groupe01, 2008, pp.2-6
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f17a3d93fa122f534951bc7e49728edf
https://hal.inria.fr/inria-00371386
Tytuł :
Event-based vs. Time-Triggered Communications with UML Marte
Autorzy :
Mallet, Frédéric
De Simone, Robert
Rioux, Laurent
Pokaż więcej
Temat :
UML
AADL
event-based
time-triggered
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Źródło :
Forum on specification, verification & Design Languages (FDL'08)
Forum on specification, verification & Design Languages (FDL'08), ECSI, Sep 2008, Stuttgart, Germany. pp.154-159, ⟨10.1109/FDL.2008.4641438⟩
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d4c269775a542479eb9d73619bf7e480
https://hal.inria.fr/inria-00371392
Tytuł :
Clock constraint specification language: specifying clock constraints with UML/MARTE.
Autorzy :
Mallet, Frédéric
Pokaż więcej
Źródło :
Innovations in Systems & Software Engineering; Oct2008, Vol. 4 Issue 3, p309-314, 6p
Czasopismo naukowe
Tytuł :
MARTE vs. AADL for Discrete-Event and Discrete-Time Domains
Autorzy :
Mallet, Frédéric
de Simone, Robert
Pokaż więcej
Źródło :
Languages for Embedded Systems and their Applications : Selected Contributions on Specification, Design, and Verification from FDL’08. 36:27-41
Książka elektroniczna
Tytuł :
On the Formal Execution of UML and DSL Models
Autorzy :
Deantoni, Julien
Mallet, Frédéric
André, Charles
Pokaż więcej
Temat :
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
WIP of the 4th International School on Model-Driven Development for Distributed, Realtime, Embedded Systems
WIP of the 4th International School on Model-Driven Development for Distributed, Realtime, Embedded Systems, Apr 2009, Aussois, France
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::db5a4e825c46521b8be10188fcd3bfd1
https://hal.inria.fr/inria-00587100
Tytuł :
Specification and verification of time requirements with CCSL and Esterel.
Autorzy :
André, Charles
Mallet, Frédéric
Pokaż więcej
Źródło :
Proceedings of the 2009 ACM SIGPLAN/SIGBED Conference: Languages, Compilers & Tools for Embedded Systems; 6/19/2009, p167-176, 10p
Konferencja
Tytuł :
Un processus automatique pour concevoir les profils UML
Autorzy :
Mallet, Frédéric
André, Charles
Lagarde, François
Pokaż więcej
Temat :
Modélisation multiniveau
profil UML
MARTE
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Źródło :
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques
Revue des Sciences et Technologies de l'Information-Série TSI : Technique et Science Informatiques, Lavoisier, 2010, 29 (5), pp.391-419
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8ea9a62a93e3b81e985e15054113a5c3
https://hal.inria.fr/inria-00482745
Tytuł :
Mise en œuvre du MDE pour la conception de systèmes embarqués: premiers résultats et perspectives du projet Lambda
Autorzy :
Demathieu, Sébastien
Bernard, Yves
Maillet-Contoz, Laurent
Bordin, Matteo
Mallet, Frédéric
Pokaż więcej
Temat :
Model-Based System Engineering
Embedded Systems
SysML
MARTE
AADL
IP-XACT
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Źródło :
Génie logiciel
Génie logiciel, C & S, 2010, pp.38-42
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ce39b8d0f73586250684a8d23ef066ae
https://hal.inria.fr/inria-00545266
Tytuł :
Logical Time: observation vs. implementation
Autorzy :
Mallet, Frédéric
André, Charles
De Simone, Robert
Pokaż więcej
Temat :
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Źródło :
Software Engineering Notes
Software Engineering Notes, Association for Computing Machinery, 2011, 36 (1), pp.1--8. ⟨10.1145/1921532.1921554⟩
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::dc020940c43c4ba579b08e5372edf52d
https://hal.inria.fr/inria-00576647
Tytuł :
Combining SystemC, IP-XACT and UML/MARTE in model-based SoC design
Autorzy :
Le Tallec, Jean-François
Deantoni, Julien
De Simone, Robert
Ferrero, Benoît
Mallet, Frédéric
Maillet-Contoz, Laurent
Pokaż więcej
Temat :
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011)
Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011), Mar 2011, Grenoble, France
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::109f2ab4fa00311a5a1906d4dc5ca66e
https://hal.inria.fr/inria-00601840
Tytuł :
Logical time @ work: the RT-Simex project
Autorzy :
Deantoni, Julien
Mallet, Frédéric
André, Charles
Thomas, Frédéric
Pokaż więcej
Temat :
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
Sophia Antipolis Formal Approach
Sophia Antipolis Formal Approach, Apr 2011, Sophia, France
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9b751f4d5f5fad744171ae7bfaba4a7d
https://hal.inria.fr/inria-00587151
Tytuł :
Semantic Multi-View model for Low-Power
Autorzy :
Gomez, Carlos
Deantoni, Julien
Mallet, Frédéric
Pokaż więcej
Temat :
Power Management
UPF
CPF
MARTE
IEEE 1801
CCSL
TimeSquare
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Źródło :
Ingénierie Dirigée par les Modèles (IDM)
Journées nationales IDM, CAL, et du GDR GPL
Journées nationales IDM, CAL, et du GDR GPL, Jun 2011, Lille, France. pp.19
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0eb8a9f3ec6e96187ba339602fd00eef
https://hal.archives-ouvertes.fr/hal-00596239
Tytuł :
TimeSquare: Treat your Models with Logical Time
Autorzy :
Deantoni, Julien
Mallet, Frédéric
Pokaż więcej
Temat :
TimeSquare
Logical time
Embedded systems
Polychronous specifications
Model driven Engineering
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Model-driven architecture
computer.programming_language
computer
Java code
Clock constraint specification language
Eclipse
Specification language
Unified Modeling Language
Computer science
Plug-in
computer.software_genre
Programming language
Time model
Źródło :
TOOLS-50th International Conference on Objects, Models, Components, Patterns-2012
TOOLS-50th International Conference on Objects, Models, Components, Patterns-2012, Czech Technical University in Prague, in co-operation with ETH Zurich, May 2012, Prague, Czech Republic. pp.34-41, ⟨10.1007/978-3-642-30561-0_4⟩
TOOLS (50)
Dostępność :
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::13175a4425e645f42b66d69061d985be
https://hal.inria.fr/hal-00688590
Tytuł :
Schedulability analysis by exhaustive state space construction: translating CCSL to transition-based Generalized Buchi Automata
Autorzy :
Yin, Ling
Deantoni, Julien
Mallet, Frédéric
De Simone, Robert
Pokaż więcej
Temat :
CCSL
Scheduling
Automata
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
[Research Report] RR-8102, 2012, pp.22
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::65e7328b204f69501edde8215fd9879e
https://hal.inria.fr/hal-00743874
Tytuł :
Boundness Issues in CCSL Specifications.
Autorzy :
Mallet, Frédéric
Millo, Jean-Viven
Pokaż więcej
Źródło :
Formal Methods & Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings; 2013, p20-35, 16p
Książka
Tytuł :
Boundness Issues in CCSL Specifications
Autorzy :
Mallet, Frédéric
Millo, Jean-Viven
Pokaż więcej
Źródło :
Formal Methods and Software Engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings. 8144:20-35
Książka elektroniczna
Tytuł :
Improving the Efficiency of Synchronized Product with Infinite Transition Systems.
Autorzy :
Romenska, Yuliia
Mallet, Frédéric
Pokaż więcej
Źródło :
Information & Communication Technologies in Education, Research & Industrial Applications; 2013, p285-307, 23p
Książka
Tytuł :
Improving the Efficiency of Synchronized Product with Infinite Transition Systems
Autorzy :
Romenska, YuliiaAff6, Aff7
Mallet, Frédéric
Pokaż więcej
Źródło :
Information and Communication Technologies in Education, Research, and Industrial Applications : 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers. 412:285-307
Książka elektroniczna
Tytuł :
Reifying Concurrency for Executable Metamodeling
Autorzy :
Combemale, Benoît
De Antoni, Julien
Larsen, Matias Vara
Mallet, Frédéric
Barais, Olivier
Baudry, Benoit
France, Robert B.
Pokaż więcej
Źródło :
Software Language Engineering : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings. 8225:365-384
Materiał oryginalny :
This work is partially supported by the ANR INS Project GEMOC (ANR-12-INSE-0011), and the CNRS PICS Project MBSAR.
Książka elektroniczna
Tytuł :
Lazy Parallel Synchronous Composition of In finite Transition Systems
Autorzy :
Romenska, Yuliia
Mallet, Frédéric
Pokaż więcej
Temat :
Synchronized Product
MARTE
CCSL
Verification
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
International Conference on ICT in Education, Research and Industrial Applications
International Conference on ICT in Education, Research and Industrial Applications, Jun 2013, Kherson, Ukraine. pp.130-145
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::06ca0d6d4f5b5fb131e6b4c20335e855
https://hal.inria.fr/hal-00839978
Tytuł :
Framework for Heterogeneous Modeling and Composition
Autorzy :
Vara Larsen, Matias Ezequiel
Deantoni, Julien
Mallet, Frédéric
Pokaż więcej
Temat :
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Źródło :
Troisième Conférence en IngénieriE du Logiciel
Conférence en IngénieriE du Logiciel
Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.81
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::75ccd8938dcde23895f2654dbf64aaec
https://hal.archives-ouvertes.fr/hal-01073202
Tytuł :
Coalgebraic Semantic Model for the Clock Constraint Specification Language
Autorzy :
Mallet, FrédéricAff3, Aff4, Aff5
Zholtkevych, Grygoriy
Pokaż więcej
Źródło :
Formal Techniques for Safety-Critical Systems : Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers. 476:174-188
Książka elektroniczna
Tytuł :
Modeling SystemVerilog Assertions using SysML and CCSL
Autorzy :
Mehmood Khan, Aamir
Mallet, Frédéric
Muhammad, Rashid
Pokaż więcej
Temat :
System Specification
Time Model
Verification techniques
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
Electronic System Level Synthesis Conference
Electronic System Level Synthesis Conference, Jun 2015, San Francisco, United States
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a15ada8ccb4eddece0d14ebe721bca11
https://hal.inria.fr/hal-01257934
Tytuł :
An SMT-Based Approach to the Formal Analysis of MARTE/CCSL
Autorzy :
Zhang, Min
Mallet, FrédéricAff16, Aff17, Aff18
Zhu, Huibiao
Pokaż więcej
Źródło :
Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings. 10009:433-449
Materiał oryginalny :
This research work was supported by National Natural Science Foundation of China (NSFC) projects: No. 61502171, No. 61361136002, and China HGJ Project: No. 2014ZX01038-101-001.
Książka elektroniczna
Tytuł :
An Executable Semantics of Clock Constraint Specification Language and Its Applications
Autorzy :
Zhang, Min
Mallet, FrédéricAff12, Aff13, Aff14
Pokaż więcej
Źródło :
Formal Techniques for Safety-Critical Systems : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers. 596:37-51
Książka elektroniczna
Tytuł :
MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks
Autorzy :
Du, Dehui
Huang, Ping
Jiang, Kaiqiang
Mallet, Frédéric
Yang, Mingrui
Pokaż więcej
Temat :
stochastic hybrid automata
MARTE
statistical model checkin
energy- aware building
pCCSL
cyber-physical systems
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
ComputerSystemsOrganization_SPECIAL-PURPOSEANDAPPLICATION-BASEDSYSTEMS
Źródło :
FACS 2016-The 13th International Conference on Formal Aspects of Component Software
FACS 2016-The 13th International Conference on Formal Aspects of Component Software, Oct 2016, Besançon, France
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3e8d4955406a34891b6d961b48c4b005
https://hal.inria.fr/hal-01394769
Tytuł :
Multi-View Design for Cyber-Physical Systems
Autorzy :
Zhao, Hui
Apvrille, Ludovic
Mallet, Frédéric
Pokaż więcej
Temat :
CPS
MDE
Heterogeneous Modeling
Multi-View Design
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Źródło :
PhD Symposium at 13th International Conference on ICT in Education, Research, and Industrial Applications
PhD Symposium at 13th International Conference on ICT in Education, Research, and Industrial Applications, May 2017, Kiev, Ukraine. pp.22-28
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f4c9e67bbccfd106fd54753546d98d2c
https://hal.inria.fr/hal-01669918
Tytuł :
Model-Based Systems Engineering for Cyber-Physical Systems: a (possible) roadmap for MARTE
Autorzy :
Mallet, Frédéric
Pokaż więcej
Temat :
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
ComputingMilieux_MISCELLANEOUS
Źródło :
3rd International workshop on TIming Performance engineering for Safety critical systems CONFESTA/TIPS
3rd International workshop on TIming Performance engineering for Safety critical systems CONFESTA/TIPS, Sep 2018, Beijing, China
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a7cff74e05b53febb10a80c4bd33d573
https://hal.inria.fr/hal-01898291
Tytuł :
From Logical Time Scheduling to Real-Time Scheduling
Autorzy :
Mallet, Frédéric
Zhang, Min
Pokaż więcej
Temat :
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
39th IEEE Real-Time Systems Symposium
39th IEEE Real-Time Systems Symposium, Dec 2018, Nashville, United States
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::14e31935433d56444382cea7bc26cd0e
https://hal.inria.fr/hal-01971976
Tytuł :
Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications
Autorzy :
Zhang, Yuanrui
Wu, Hengyang
Chen, Yixiang
Mallet, Frédéric
Pokaż więcej
Źródło :
Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers. 1008:101-118
Materiał oryginalny :
F. Mallet—This work was partly funded by the French Government, through program #ANR-11-LABX-0031-01.
Książka elektroniczna

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies