Zobrazeno 1 - 10
of 102
pro vyhledávání: '"de Simone, Robert"'
General-purpose multiprocessors (as, in our case, Intel IvyBridge and Intel Haswell) increasingly add GPU computing power to the former multicore architectures. When used for embedded applications (for us, Synthetic aperture radar) with intensive sig
Externí odkaz:
http://arxiv.org/abs/1505.08067
Autor:
Millo, Jean-Vivien, De Simone, Robert
This report presents an algorithm to statically schedule live and strongly connected Marked Graphs (MG). The proposed algorithm computes the best execution where the execution rate is maximal and place sizes are minimal. The proposed algorithm provid
Externí odkaz:
http://arxiv.org/abs/1202.4912
Publikováno v:
RR-9506, Inria-Sophia Antipolis. 2023, pp.32
Time must be taken into account from the very start of the design of real-time systems. Because exact computation durations are usually not available in early design phase, multiple formalisms based on the concept of Multiform Logical Time have been
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::1f41c96174d5a1e9e51ecfac9d79f671
https://inria.hal.science/hal-04088177/document
https://inria.hal.science/hal-04088177/document
Autor:
Mallet, Frédéric, de Simone, Robert
Publikováno v:
In Science of Computer Programming 1 August 2015 106:78-92
Publikováno v:
ERTS 2022-Embedded real time systems
ERTS 2022-Embedded real time systems, Jun 2022, Toulouse, France
ERTS 2022-Embedded real time systems, Jun 2022, Toulouse, France
International audience; Real-Time industrial systems are not so much of those that have to perform tasks incredibly fast, but in a timepredictable manner; they rather focus on meeting previously specified timing requirements in a provable way. Conseq
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::0ae5cdd9a036d73afde07b6f4505a3ba
https://inria.hal.science/hal-03694950
https://inria.hal.science/hal-03694950
Publikováno v:
École d’Été Temps Réel 2021
École d’Été Temps Réel 2021, Sep 2021, Poitiers, France
École d’Été Temps Réel 2021, Sep 2021, Poitiers, France
National audience; Le design de logiciel de contrôle/commande embarqué dépend de contraintes temporelles strictes. Pour cela, des formalismes et des théories basés sur la notion de temps logique permettent d'abstraire les durées temps-réel qui
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::3b12504d80ffa3ac5e89ce0cfab43827
https://inria.hal.science/hal-03545758/document
https://inria.hal.science/hal-03545758/document
Publikováno v:
FDL 2021-Forum on specification & Design Languages
FDL 2021-Forum on specification & Design Languages, Sep 2021, Antibes, France
FDL 2021-Forum on specification & Design Languages, Sep 2021, Antibes, France
International audience; The design of embedded control software calls for stringent real-time constraints. For that, formalisms and theories based on the notion of logical time give abstraction of real-time durations that are usually not known at des
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::90f7bd8fe749d351a0707c8975dee408
https://inria.hal.science/hal-03537976/file/FDL21_paper_30.pdf
https://inria.hal.science/hal-03537976/file/FDL21_paper_30.pdf
Publikováno v:
In Electronic Notes in Theoretical Computer Science 2 August 2009 245:23-33
Publikováno v:
APSEC 2020-Asia-Pacific Software Engineering Conference
APSEC 2020-Asia-Pacific Software Engineering Conference, Dec 2020, Singapour, Singapore
APSEC 2020-Asia-Pacific Software Engineering Conference, Dec 2020, Singapour, Singapore
International audience; We study the use of Multiform Logical Time, as embodied in Esterel/SyncCharts and Clock Constraint Specification Language (CCSL), for the specification of assume-guarantee constraints providing safe driving rules related to ti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::45a0039c3f9d199c7807a7d8f8e682ee
https://hal.inria.fr/hal-02952919
https://hal.inria.fr/hal-02952919
Publikováno v:
ERTS 2020-10th European Congress on Embedded Real-Time Software and Systems
ERTS 2020-10th European Congress on Embedded Real-Time Software and Systems, Jan 2020, Toulouse, France
ERTS 2020-10th European Congress on Embedded Real-Time Software and Systems, Jan 2020, Toulouse, France
International audience; The competitive market of nano and micro satellites opens perspectives for use of COTS (Com-mercial Off-The-Shelf) electronic components. Current modular electronics design for embedded On-Board Computing systems (OBC) is bein
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3b1654d01bbce01a8ced12802503e0f7
https://inria.hal.science/hal-02413867
https://inria.hal.science/hal-02413867