Zobrazeno 1 - 10 of 41 pro vyhledávání: '"Koopman, P.W.M."'
1
Green Computing for the Internet of Things
Autor: Lubbers, M., Koopman, P.W.M.
Publikováno v: SusTrainable Summer School 2022: 4–8 July, 2022 University of Rijeka-Faculty of Engineering, Croatia, 1-10. Rijeka : University of Rijeke
STARTPAGE=1-10;TITLE=SusTrainable Summer School 2022: 4–8 July, 2022 University of Rijeka-Faculty of Engineering, Croatia
SusTrainable Summer School 2022: 4–8 July, 2022 University of Rijeka-Faculty of Engineering, Croatia, pp. 1-10
Contains fulltext : 292765.pdf (Author’s version preprint ) (Open Access) SusTrainable Summer School 2022
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8d3f6368f2c5e008e5f9c2dc841b0386
https://hdl.handle.net/2066/292765
Zobrazit plný text záznamu
2
Type-Safe Functions and Tasks in a Shallow Embedded DSL for Microprocessors
Autor: Koopman, P.W.M., Plasmeijer, M.J., Zsok, V.
Publikováno v: Zsok, V. (ed.), Central European Functional Programming School: 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers, 283-340. Cham : Springer
STARTPAGE=283;ENDPAGE=340;ISSN=0302-9743;TITLE=Zsok, V. (ed.), Central European Functional Programming School: 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::829ddc1e4a8b07ec9cee5f8afbdb3f3b
https://hdl.handle.net/2066/292764
Zobrazit plný text záznamu
3
Interpreting task oriented programs on tiny computers
Autor: Lubbers, M., Koopman, P.W.M., Plasmeijer, M.J., Stutterheim, J.
Publikováno v: Stutterheim, J. (ed.), IFL '19: Proceedings of the 31st Symposium on Implementation and Application of Functional Languages, 4:1-4:12. ACM
STARTPAGE=4:1;ENDPAGE=4:12;TITLE=Stutterheim, J. (ed.), IFL '19: Proceedings of the 31st Symposium on Implementation and Application of Functional Languages
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::064f67db7a0e17c3ca92991ae193556e
https://hdl.handle.net/2066/242018
Zobrazit plný text záznamu
4
iEditors: extending iTask with interactive plug-ins
Autor: Jansen, Jan Martin, Koopman, P.W.M., Plasmeijer, M.J., Scholz, Sven-Bodo
Publikováno v: Scholz, Sven-Bodo (ed.), Proceedings Implementation and Application of Functional Languages : 20th International Symposium on the Implementation and Application of Functional Languages, IFL'08, pp. 170-186
Scholz, Sven-Bodo (ed.), Proceedings Implementation and Application of Functional Languages : 20th International Symposium on the Implementation and Application of Functional Languages, IFL'08, 170-186. Hertfordshire, UK : University of Hertfordshire
STARTPAGE=170;ENDPAGE=186;ISSN=0924-3275;TITLE=Scholz, Sven-Bodo (ed.), Proceedings Implementation and Application of Functional Languages : 20th International Symposium on the Implementation and Application of Functional Languages, IFL'08
Contains fulltext : 66851.pdf (author's version ) (Open Access) IFL'08 : 20th International Symposium on the Implementation and Application of Functional Languages
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0199756be41c0a5b027a7cbd3fc90ad2
https://hdl.handle.net/2066/66851
Zobrazit plný text záznamu
5
An Ontology of States
Autor: Polonsky, A., Barendregt, H.P., Achten, P., Koopman, P.W.M.
Publikováno v: Lecture Notes in Computer Science ISBN: 9783642403545
The Beauty of Functional Code
Lecture Notes in Computer Science ; 8106, 18-26. Berlin : Springer
STARTPAGE=18;ENDPAGE=26;TITLE=Lecture Notes in Computer Science ; 8106
Achten, P.; Koopman, P.W.M. (ed.), The beauty of functional code-essays dedicated to rinus plasmeijer on the occasion of his 61st birthday, pp. 18-26
The notion of state is ubiquitous in analysis of computational systems. State introduces intensional content into a dynamical process which cannot be directly observed from outside. Without a state, the process is defined purely by its inputoutput be
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b3d60777ee4222df5c71fca96ccacbbd
https://doi.org/10.1007/978-3-642-40355-2_3
Zobrazit plný text záznamu
6
Functional semantics
Autor: Koopman, P.W.M., Achten, P.
Publikováno v: Lecture Notes in Computer Science ; 8106, 60-78. Berlin : Springer
STARTPAGE=60;ENDPAGE=78;TITLE=Lecture Notes in Computer Science ; 8106
Lecture Notes in Computer Science ISBN: 9783642403545
Achten, P.; Koopman, P.W.M. (ed.), The beauty of functional code, pp. 60-78
In ordinary interpreters and executable specifications of operational semantics the interpreted language is represented by an algebraic data type and the operations are functions having this data type as argument. In this essay we reverse the roles o
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4b098cccf5a176bd29e00470a9a76f9b
http://hdl.handle.net/2066/122415
Zobrazit plný text záznamu
7
On-the-Fly Formal Testing of a Smart Card Applet
Autor: Weelden, A. van, Oostdijk, M.D., Frantzen, L., Koopman, P.W.M., Tretmans, G.J., Sasaki, Ryoichi, Qing, Sihan, Okamoto, Eiji, Yoshiura, Hiroshi
Publikováno v: Sasaki, Ryoichi; Qing, Sihan; Okamoto, Eiji (ed.), Security and Privacy in the Age of Ubiquitous Computing: IFIP TC11 20th International Information Security Conference May 30 – June 1, 2005, Chiba, Japan, 565-576. New York : Springer-Verlag
STARTPAGE=565;ENDPAGE=576;ISSN=9783-4215;TITLE=Sasaki, Ryoichi; Qing, Sihan; Okamoto, Eiji (ed.), Security and Privacy in the Age of Ubiquitous Computing: IFIP TC11 20th International Information Security Conference May 30 – June 1, 2005, Chiba, Japan
Sasaki, Ryoichi; Qing, Sihan; Okamoto, Eiji (ed.), Security and Privacy in the Age of Ubiquitous Computing: IFIP TC11 20th International Information Security Conference May 30 – June 1, 2005, Chiba, Japan, pp. 565-576
Contains fulltext : 32809.pdf (Author’s version preprint ) (Open Access) IFIP TC11
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::302ef61bdef5e05ad9d318b60050e34e
https://doi.org/10.1007/0-387-25660-1_37
Zobrazit plný text záznamu
8
Church Encoding of Data Types Considered Harmful for Implementations
Autor: Koopman, P.W.M., Plasmeijer, R., Jansen, Jan Martin, Tobin-Hochstadt, S.
Publikováno v: Tobin-Hochstadt, S. (ed.), IFL '14 : Proceedings 26th International Workshop on the Implementation of Functional Languages, IFL '14, Boston, U.S.A., pp. 117-127
Tobin-Hochstadt, S. (ed.), IFL '14 : Proceedings 26th International Workshop on the Implementation of Functional Languages, IFL '14, Boston, U.S.A., 117-127. New York : ACM
STARTPAGE=117;ENDPAGE=127;TITLE=Tobin-Hochstadt, S. (ed.), IFL '14 : Proceedings 26th International Workshop on the Implementation of Functional Languages, IFL '14, Boston, U.S.A.
Item does not contain fulltext IFL '14 : 26th International Workshop on the Implementation of Functional Languages, IFL '14, October 1-3, 2014, Boston, U.S.A.
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a86bd7f66d970896e0b2fe053c061753
https://hdl.handle.net/2066/141417
Zobrazit plný text záznamu
9
Beautiful workflows : a matter of taste?
Autor: Aalst, van der, W.M.P., Westergaard, M., Reijers, H.A., Achten, P., Koopman, P.W.M.
Publikováno v: The Beauty of Functional Code-Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday, 211-233
STARTPAGE=211;ENDPAGE=233;TITLE=The Beauty of Functional Code-Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
Lecture Notes in Computer Science ISBN: 9783642403545
The Beauty of Functional Code
Workflows can be specified using different languages. Mainstream workflow management systems predominantly use procedural languages having a graphical representation involving AND/XOR splits and joins (e.g., using BPMN). However, there are interestin
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dc7f606c84dccb3021df6c08fb4fa97e
https://research.tue.nl/nl/publications/c1c53352-5da8-4c1b-a3d5-11b790aa585d
Zobrazit plný text záznamu
10
Polygonizing Implicit Surfaces in a Purely Functional Way
Autor: Zoerner, T., Koopman, P.W.M., Eekelen, M.C.J.D. van, Plasmeijer, M.J., Mohnen, Markus
Publikováno v: Mohnen, Markus; Koopman, P.W.M. (ed.), Implementation of Functional Languages : The 12th International workshop on the Implementation of Functional Languages, IFL 2000, Selected Papers, pp. 158-175
Lecture Notes in Computer Science ; 2011, 158-175. Aachen, Germany : Springer
STARTPAGE=158;ENDPAGE=175;TITLE=Lecture Notes in Computer Science ; 2011
Contains fulltext : 107642.pdf (author's version ) (Closed access)
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::dc5992b3d158ccb7605e59a7959201ef
https://hdl.handle.net/2066/107642
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje