Výsledky vyhledávání

Autor: Sijtema, M., Salaün, G., Schätz, B., Belinfante, Axel, Stoelinga, Mariëlle Ida Antoinette, Marinelli, L.

Publikováno v: Science of computer programming, 80(Part A), 188-209. Elsevier
16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, 117-133
STARTPAGE=117;ENDPAGE=133;TITLE=16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011
Formal Methods for Industrial Critical Systems ISBN: 9783642244308
FMICS

We report on the actual industrial use of formal methods during the development of a software bus. During an internship at Neopost Inc., of 14 weeks, we developed the server component of a software bus, called the XBus, using formal methods during th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a25660d885f5f908d1d6681fafb75e32
https://doi.org/10.1007/978-3-642-24431-5_10

Zobrazit plný text záznamu

Akademický článek

The protocataclasite dilemma: in situ ³⁶Cl and REE-Y lessons from an impure limestone fault scarp at Sparta, Greece.

Autor: Goodfellow, Bradley W.^1,2,3,4 (AUTHOR), Caffee, Marc W.^5,6 (AUTHOR), Chmiel, Greg⁶ (AUTHOR), Fritzon, Ruben^2,4,7 (AUTHOR), Skelton, Alasdair^1,2 (AUTHOR), Stroeven, Arjen P.^2,4 (AUTHOR) arjen.stroeven@natgeo.su.se

Publikováno v: Solid Earth. 2024, Vol. 15 Issue 11, p1343-1363. 21p.

Zobrazit plný text záznamu

Plný text ve formátu HTML

Akademický článek

Robust cryptographic scheme for reliable data communication in VANET (RCSRC) using clustering approach.

Autor: Ali, Wajid¹ (AUTHOR), Ninoria, Shalini Z.¹ (AUTHOR), Khan, Gulista¹ (AUTHOR), Gola, Kamal Kumar² (AUTHOR) kkgolaa1503@gmail.com

Publikováno v: EURASIP Journal on Wireless Communications & Networking. 10/10/2024, Vol. 2024 Issue 1, p1-26. 26p.

Zobrazit plný text záznamu

Plný text ve formátu HTML

Formalizing DSL semantics for reasoning and conformance testing

Autor: Keshishzadeh, S., Mooij, A.J., Giannakopoulou, D., Salaün, G.

Publikováno v: Software Engineering and Formal Methods (12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings), 81-95
STARTPAGE=81;ENDPAGE=95;TITLE=Software Engineering and Formal Methods (12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings)
Software Engineering and Formal Methods ISBN: 9783319104300
SEFM

A Domain Specific Language (DSL) focuses on the essential concepts in a certain problem domain, thus abstracting from low-level implementation details. In combination with code generators, DSLs bring software development closer to domain requirements

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d823f4590b2bdf61c119d78b0c15b264
https://research.tue.nl/nl/publications/a8938e0d-1eb2-42af-a38a-0c93c8c2dd6a

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Conference

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Symbolic power analysis of cell libraries

Autor: Raffelsieper, M., Mousavi, M.R., Salaün, G., Schätz, B.

Publikováno v: Formal Methods for Industrial Critical Systems (16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings), 134-148
STARTPAGE=134;ENDPAGE=148;TITLE=Formal Methods for Industrial Critical Systems (16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings)
Formal Methods for Industrial Critical Systems ISBN: 9783642244308
FMICS

Cell libraries are collections of logic cores (cells) used to construct larger chip designs; hence, any reduction in their power consumption may have a major impact in the power consumption of larger designs. The power consumption of a cell is often

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4806447a74f40559a8002e4ef32a341c
https://doi.org/10.1007/978-3-642-24431-5_11

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání