Informacja

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

English | Polski
Przejdź do strony domowej biblioteki Uniwersytet Ekonomiczny we Wrocławiu

Prolib Integro - strona głównaUniwersytet Ekonomiczny we Wrocławiu

Przeglądasz jako GOŚĆ

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

  Lista filtrów
Wyrównaj
Wyświetlanie 1-25 z 59
Podgląd okładki
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
Szczegóły
Podgląd okładki
Tytuł :
MARTE: a new OMG profile RFP for the Modeling and Analysis of Real-Time Embedded Systems
Autorzy :
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
Pokaż więcej
Temat :
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
DAC 2005 Workshop-UML for SoC Design
DAC 2005 Workshop-UML for SoC Design, Jun 2005, Anaheim California, United States
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6eab71c7a9a3caff5593050c7ebff7d3
https://hal.archives-ouvertes.fr/hal-02466757
Szczegóły
Podgląd okładki
Tytuł :
Non-functional property analysis using UML2.0 and model transformations
Autorzy :
André, Charles
Mallet, Frédéric
Peraldi-Frati, Marie-Agnès
Pokaż więcej
Temat :
Model transformation
UML2.0
Non-functional property analysis
Distributed embedded systems
Time Petri Net
[INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Źródło :
[Research Report] RR-5913, INRIA. 2006, pp.18
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5082e92b062259d4306d37316beeb735
https://hal.inria.fr/inria-00124874
Szczegóły
Podgląd okładki
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
Szczegóły
Podgląd okładki
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
Szczegóły
Podgląd okładki
Tytuł :
An Automated Process for Designing UML Profiles
Autorzy :
Lagarde, François
Mallet, Frédéric
André, Charles
Gérard, Sébastien
Terrier, François
Pokaż więcej
Temat :
Domain-Specific Languages
Deep Instantiation
Domain model
Multi-level paradigm
UML Profile
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Źródło :
[Research Report] RR-6599, INRIA. 2008
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8489551e6c5ead1263db3194b4fbdfd1
https://hal.inria.fr/inria-00308386
Szczegóły
Podgląd okładki
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
Szczegóły
Podgląd okładki
Tytuł :
Marte CCSL and East-ADL2 Timing Requirements
Autorzy :
Mallet, Frédéric
Peraldi-Frati, Marie-Agnès
André, Charles
Pokaż więcej
Temat :
UML
East-ADL2
Automotive
Executable specifications
timing requirements
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Źródło :
[Research Report] RR-6781, INRIA. 2008
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b16ca163daaf2cd6b25563f3f25676f2
https://hal.inria.fr/inria-00348134
Szczegóły
Podgląd okładki
Tytuł :
Marte Timing Requirement and Spirit IP-XACT
Autorzy :
Mehmood Khan, Aamir
Mallet, Frédéric
André, Charles
De Simone, Robert
Pokaż więcej
Temat :
MARTE
IP-XACT
Timing Requirement
ACM: C.: Computer Systems Organization/C.3: SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS/C.3.2: Real-time and embedded systems
ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.0: Elicitation methods (e.g., rapid prototyping, interviews, JAD)
ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques/D.2.3.4: Standards
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Hardware_REGISTER-TRANSFER-LEVELIMPLEMENTATION
Źródło :
[Research Report] RR-6647, INRIA. 2008
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::65742f717768918d7f6513f8b67343a3
https://hal.inria.fr/inria-00321953
Szczegóły
Podgląd okładki
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
Szczegóły
Podgląd okładki
Tytuł :
Multilevel Modeling Paradigm in Profile Definition
Autorzy :
Lagarde, François
Mallet, Frédéric
André, Charles
Gérard, Sébastien
Terrier, François
Pokaż więcej
Temat :
domain model
multilevel modeling
UML profiles
deep instantiation
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Źródło :
[Research Report] RR-6525, INRIA. 2008, pp.17
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2cb431fe378c1557f376f01dfb6a4810
https://hal.inria.fr/inria-00276653
Szczegóły
Podgląd okładki
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
Szczegóły
Podgląd okładki
Tytuł :
Combining CCSL and Esterel to specify and verify time requirements
Autorzy :
André, Charles
Mallet, Frédéric
Pokaż więcej
Temat :
Time Model
MARTE
Synchronous languages
Esterel
SyncCharts
ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications/D.2.1.1: Languages
ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
Źródło :
[Research Report] RR-6839, INRIA. 2009
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4e3274daec935808fd9fe91f92a72c3f
https://hal.inria.fr/inria-00360528
Szczegóły
Podgląd okładki
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
Szczegóły
Podgląd okładki
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
Szczegóły
Podgląd okładki
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
Szczegóły
Podgląd okładki
Tytuł :
Un profil UML pour la modélisation multiniveau
Autorzy :
Mallet, Frédéric
André, Charles
Lagarde, François
Pokaż więcej
Temat :
multilevel modeling
UML profile
MARTE
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Źródło :
[Rapport de recherche] RR-7287, INRIA. 2010
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::bb699ac5e171db2926e68057ac45879a
https://hal.inria.fr/inria-00482727
Szczegóły
Podgląd okładki
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
Szczegóły
Podgląd okładki
Tytuł :
Logical time at work: capturing data dependencies and platform constraints
Autorzy :
Glitia, Calin
Deantoni, Julien
Mallet, Frédéric
Pokaż więcej
Temat :
Logical time
synchronous data flow
CCSL
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
[INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing
[SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing
Źródło :
Forum for Design Languages (FDL)
Forum for Design Languages (FDL), Electronic Chips & Systems design Initiative (ECSI), Sep 2010, Southampton, United Kingdom. pp.240-246
Crossref
Dostępność :
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ddc24c1c89626210c836e463d44d3078
https://hal.inria.fr/inria-00545866
Szczegóły
Podgląd okładki
Tytuł :
RT-simex: retro-analysis of execution traces
Autorzy :
Deantoni, Julien
Mallet, Frédéric
Thomas, Frédéric
Reydet, Gonzague
Babau, Jean-Philippe
Mraidha, Chokri
Gauthier, Ludovic
Rioux, Laurent
Sordon, Nicolas
Pokaż więcej
Temat :
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
Źródło :
SIGSOFT FSE
SIGSOFT FSE, Nov 2010, Santa Fe, United States. pp.377-378, ⟨10.1145/1882291.1882357⟩
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d9d869c344e165125761189f87271379
https://hal.inria.fr/inria-00587116
Szczegóły
Podgląd okładki
Tytuł :
Logical Time in Model-Driven Engineering
Autorzy :
Mallet, Frédéric
Pokaż więcej
Temat :
Logical Time
Embedded Systems
Temps logique
MARTE
CCSL
AADL
Systèmes embarqués
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Źródło :
Modeling and Simulation. Université Nice Sophia Antipolis, 2010
Dostępność :
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8a068573892168269978475f5d1a5fb5
https://tel.archives-ouvertes.fr/tel-00541140
Szczegóły
Wyświetlanie 1-25 z 59

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