The Complexity of a ‘Rope’

Autor: Christopher C. Kaeding

Publikováno v: The Future of Orthopaedic Sports Medicine ISBN: 9783030289751

Are there many things simpler than a rope? I can remember at the beginning of my career when most clinicians viewed the anterior cruciate ligament as a static check rein that contributed to the mechanical four-bar cross linkage roll/glide mechanism o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::25032c2cf6598154f86f858e12871314
https://doi.org/10.1007/978-3-030-28976-8_38

Towards a Static Check of FMUs in VDM-SL

Autor: Peter Gorm Larsen, Cláudio Gomes, Casper Thule, Hugo Daniel Macedo, Nick Battle

Publikováno v: Battle, N, Thule, C, Gomes, C, Macedo, H D & Larsen, P G 2019, Towards a Static Check of FMUs in VDM-SL . in C Gamble & L Diogo Couto (eds), Proceedings of the 17th Overture Workshop . Newcastle University, Technical Report Series, no. CS-TR-1530-2019, pp. 17-32, 17th Overture Workshop, Porto, Portugal, 07/10/2019 . < https://www.researchgate.net/publication/336409277_Towards_a_Static_Check_of_FMUs_in_VDM-SL >
Battle, N, Thule, C, Gomes, C, Macedo, H D & Larsen, P G 2020, Towards a Static Check of FMUs in VDM-SL . in E Sekerinski, N Moreira, J N Oliveira, D Ratiu, R Guidotti, M Farrell, M Luckcuck, D Marmsoler, J Campos, T Astarte, L Gonnord, A Cerone, L Couto, B Dongol, M Kutrib, P Monteiro & D Delmas (eds), Formal Methods : FM 2019 International Workshops . Springer, Cham, Lecture Notes in Computer Science, vol. 12233, pp. 272-288, FM 2019 International Workshops, Porto, Portugal, 09/10/2019 . https://doi.org/10.1007/978-3-030-54997-8_18
Aarhus University
Lecture Notes in Computer Science ISBN: 9783030549961
FM Workshops (2)
Battle, N, Thule, C, Gonçalves Gomes, C Â, Macedo, H D & Larsen, P G 2020, ' Towards a Static Check of FMUs in VDM-SL ', pp. 272-288 . https://doi.org/10.1007/978-3-030-54997-8_18

In order to ensure that the co-simulation of Cyber-PhysicalSystems (CPSs) is possible with as wide a variety of tools as possible, a standard called the Functional Mockup Interface (FMI) has been defined.The FMI provides the means to compute the over

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::22e831dbce43f75c67c1b320cf417c74
https://pure.au.dk/portal/da/publications/towards-a-static-check-of-fmus-in-vdmsl(0dbbe38c-6225-457b-a27a-e98fb5367f05).html

A Relational Encoding for a Clash-Free Subset of ASMs

Autor: Gerhard Schellhorn, Wolfgang Reif, Jörg Pfähler, Gidon Ernst

Publikováno v: Lecture Notes in Computer Science ISBN: 9783319335995
ABZ

This paper defines a static check for clash-freedom of ASM rules, including sequential and parallel composition, nondeterministic choice, and recursion. The check computes a formula that, if provable, makes a relational encoding of ASM rules possible

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c5532aa87f4ea81566a3aa0a10951c23
https://doi.org/10.1007/978-3-319-33600-8_15

Static type checking of Hadoop MapReduce programs

Autor: Jens Dörre, Christian Lengauer, Sven Apel

Publikováno v: Proceedings of the second international workshop on MapReduce and its applications.

MapReduce is a programming model for the development of Web-scale programs. It is based on concepts from functional programming, namely higher-order functions, which can be strongly typed using parametric polymorphism. Yet this connection is tenuous.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::8d41ad84c3fe5db9168e097705362e6b
https://doi.org/10.1145/1996092.1996096

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