Zobrazeno 1 - 10
of 54
pro vyhledávání: '"Analyse de systèmes"'
Autor:
Mestiri, Riadh
Que ce soit en occupant les interstices des zones urbaines ou en disposant d'espaces qui lui sont spécifiquement dédiés, l'agriculture retrouve progressivement sa place au cœur des territoires où réside aujourd'hui la majorité de la population
Externí odkaz:
https://hdl.handle.net/20.500.11794/147084
Autor:
Gartner, Jean-Baptiste
Depuis plus de vingt années, l'Organisation Mondiale de la Santé et certains organismes nationaux appellent à une refonte des modèles d'organisation des soins et services de santé pour mieux répondre aux besoins et aux attentes des patients par
Externí odkaz:
https://hdl.handle.net/20.500.11794/146848
Publikováno v:
[Research Report] RR-9443, Inria-Research Centre Grenoble – Rhône-Alpes. 2021, pp.1-32
[Research Report] RR-9443, Inria-Research Centre Grenoble – Rhône-Alpes. 2021
Real-Time Systems
Real-Time Systems, In press
[Research Report] RR-9443, Inria-Research Centre Grenoble – Rhône-Alpes. 2021
Real-Time Systems
Real-Time Systems, In press
We present CertiCAN, a tool produced using the Coq proof assistant for the formalcertification of CAN analysis results. Result certification is a process that is lightweight and flexiblecompared to tool certification. Indeed, the certification of an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c3f832a8dc3a50a7ad572df5dbbee714
https://inria.hal.science/hal-03499968/document
https://inria.hal.science/hal-03499968/document
Autor:
Alserafi, Ayman
Publikováno v:
TDX (Tesis Doctorals en Xarxa)
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
TDR. Tesis Doctorales en Red
instname
TDR: Tesis Doctorales en Red
CBUC, CESCA
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
TDR. Tesis Doctorales en Red
instname
TDR: Tesis Doctorales en Red
CBUC, CESCA
With the huge growth in the amount of data generated by information systems, it is common practice today to store datasets in their raw formats (i.e. without any data preprocessing or transformations) in large-scale data repositories called Data Lake
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8953e13c3b3f9de2b21bbb4ac399346f
http://hdl.handle.net/2117/345323
http://hdl.handle.net/2117/345323
Autor:
Azzi, Elias
Biochar – the carbon rich residue derived from biomass pyrolysis – is recognised as a potential solution to remove carbon dioxide from the atmosphere, while simultaneously delivering socio-environmental benefits through biochar use as a material.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::9d606b36599f0eaf50122acf2dcfcdc2
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-303912
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-303912
Autor:
Poczekajlo, Xavier
Les systèmes embarqués sont de plus en plus présents dans notre quotidien, à l’instar des téléphones ou des équipements des voitures modernes. Les systèmes embarqués modernes utilisent des plates-formes de plus en plus complexes. Après av
Publikováno v:
Revista Educação e Políticas em Debate; Vol. 6 No. 1 (2017)
Revista Educação e Políticas em Debate; Vol. 6 Núm. 1 (2017)
Revista Educação e Políticas em Debate; v. 6 n. 1 (2017)
Revista Educação e Políticas em Debate
Universidade Federal de Uberlândia (UFU)
instacron:UFU
Revista Educação e Políticas em Debate; Vol. 6 Núm. 1 (2017)
Revista Educação e Políticas em Debate; v. 6 n. 1 (2017)
Revista Educação e Políticas em Debate
Universidade Federal de Uberlândia (UFU)
instacron:UFU
The article seeks to describe and analyze the School-Space produced in the Prelac (1980-2000), EPT / Prelac (2002-2017) and EPT (1990-2015) projects of Unesco-UN for Latin America. A technical refinement in the propositions of the projects is evidenc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::f82390a292b51324b8b499a177e31595
https://seer.ufu.br/index.php/revistaeducaopoliticas/article/view/46364
https://seer.ufu.br/index.php/revistaeducaopoliticas/article/view/46364
Autor:
Paolillo, Antonio
Optimisation of Performance Metrics of Embedded Hard Real-Time Systems using Software/Hardware Parallelism. Nowadays, embedded systems are part of our daily lives.Some of these systems are called safetycritical and have strong requirements in terms o
Autor:
Hcéres, Rapport
Publikováno v:
2013, Université Pierre et Marie Curie-UPMC, Centre national de la recherche scientifique-CNRS
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d2616c322e4f7e46c8fc1b5c0ec67133
https://hal-hceres.archives-ouvertes.fr/hceres-02031990
https://hal-hceres.archives-ouvertes.fr/hceres-02031990
Autor:
Allard, Yannick
Computers are widely present in our daily life and are used in critical applic-ations like cars, planes, pacemakers. Those real-time systems are nowadaysbased on processors which have an increasing complexity and have specifichardware services design