Zobrazeno 1 - 10
of 181
pro vyhledávání: '"Michael Mendler"'
Synchronized Shared Memory and Black-box Procedural Abstraction: Towards a Formal Semantics of Blech
Publikováno v:
ACM Transactions on Embedded Computing Systems.
Traditional imperative synchronous programming languages heavily rely on a strict separation between data memory and communication signals. Signals can be shared between computational units but cannot be overwritten within a synchronous reaction cycl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c0e52289baf84c167fa25ae881ec5494
https://doi.org/10.1145/3571585
https://doi.org/10.1145/3571585
Publikováno v:
ACM Transactions on Embedded Computing Systems. 20:1-26
Object orientation is a powerful and widely used paradigm for abstraction and structuring in programming. Many languages are designed with this principle or support different degrees of object orientation. In synchronous languages, originally develop
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::05fe3df1db5bc1c3d3b55175957da2bc
https://doi.org/10.1145/3453482
https://doi.org/10.1145/3453482
Autor:
Michael Mendler
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 46, Iss Proc. FIT 2010, Pp 28-48 (2011)
In this paper we propose an algebra of synchronous scheduling interfaces which combines the expressiveness of Boolean algebra for logical and functional behaviour with the min-max-plus arithmetic for quantifying the non-functional aspects of synchron
Externí odkaz:
https://doaj.org/article/df3e1fe3272543c0a45b43b107300cee
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030860585
TABLEAUX
TABLEAUX
In classical modal logic, necessity \({\mathop {\Box } A}\), possibility \({\mathop {\Diamond } A}\), impossibility \({\mathop {\Box } \lnot A}\) and non-necessity \({\mathop {\Diamond } \lnot A}\) form a Square of Oppositions (SO) whose corners are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d0ef8c19268b90900c0e7d1b51be65ba
https://doi.org/10.1007/978-3-030-86059-2_26
https://doi.org/10.1007/978-3-030-86059-2_26
Publikováno v:
FDL
Traditional imperative synchronous programming languages heavily rely on a strict separation between data memory and communication signals. Signals can be shared between computational units but cannot be overwritten within a synchronous reaction cycl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f4fa90d301dbd5ea7e319a35c8cdf1b5
https://doi.org/10.1109/fdl50818.2020.9232942
https://doi.org/10.1109/fdl50818.2020.9232942
Autor:
Hans-Peter Hammes, Michael Mendler, Peter P. Nawroth, Andrea Schlotterer, Thomas Fleming, Jürgen G. Okun, Christin Riedinger, Stephan Herzig
Publikováno v:
J. Biol. Chem. 293, 4845-4859 (2018)
The enzyme AICAR-transformylase/IMP cyclohydrolase (ATIC) catalyzes the last two steps of purine de novo synthesis. It metabolizes 5-aminoimidazole-4-carboxamide ribonucleoside (AICAR), which is an AMP analogue, leading to activation of AMP-activated
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7b2a39d3cf0cbd097eb999a2fa9581a2
https://doi.org/10.1074/jbc.m117.805879
https://doi.org/10.1074/jbc.m117.805879
Publikováno v:
MEMOCODE
The synchronous language Esterel provides determinate concurrency for reactive systems. Determinacy is ensured by the signal coherence rule , which demands that signals have a stable value throughout one reaction cycle. This is natural for the origin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d264be420277479d1935a1e14cb88772
https://doi.org/10.1145/3063129
https://doi.org/10.1145/3063129
Publikováno v:
ACM Transactions on Embedded Computing Systems. 16:1-21
Hybrid systems combine discrete controllers with adjoining physical processes. While many approaches exist for simulating hybrid systems, there are few approaches for their emulation, especially when the actual physical plant is not available. This p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::802ac56636a8d30fbf53e4f55a2c5016
https://doi.org/10.1145/3126536
https://doi.org/10.1145/3126536
Publikováno v:
FDL
Object orientation is a powerful and widely used paradigm for abstraction and structuring in programming. Many languages are designed with this principle or support different degrees of object orientation. In synchronous languages, originally develop
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::23319486bc99e514010c7d1418455d35
https://doi.org/10.1109/fdl.2019.8876901
https://doi.org/10.1109/fdl.2019.8876901
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030223472
Models, Mindsets, Meta
Models, Mindsets, Meta
The intuitionistic theory of the real interval [0, 1], known as Skolem-Godel-Dummet logic (SGD), generates a well-known Heyting algebra intermediate between intuitionistic and classical logic. Originally of purely mathematical interest, it has recent
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::edea768e70ec6d08f9a47510defce599
https://doi.org/10.1007/978-3-030-22348-9_5
https://doi.org/10.1007/978-3-030-22348-9_5