Výsledky vyhledávání - "Schultz, U.P."

PReGO: a generative methodology for satisfying real-time requirements on COTS-based systems: definition and experience report

Autor: Rouxel, B., Schultz, U.P., Akesson, B., Holst, J., Jørgensen, O., Grelck, C., Erwig, M., Gray, J.

Publikováno v: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
GPCE '20: proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences : November 16-17, 2020, Virtual, USA, 70-83
STARTPAGE=70;ENDPAGE=83;TITLE=GPCE '20
GPCE
Rouxel, B, Schultz, U P, Akesson, B, Holst, J, Jørgensen, O & Grelck, C 2020, PReGO : A generative methodology for satisfying real-time requirements on COTS-based systems: Definition and experience report . in M Erwig & J Gray (eds), GPCE 2020-Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming : Concepts and Experiences, Co-located with SPLASH 2020 . Association for Computing Machinery, pp. 70-83, 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2020-Co-located with SPLASH 2020, Virtual, Online, United States, 16/11/2020 . https://doi.org/10.1145/3425898.3426954

Satisfying real-time requirements in cyber-physical systems is challenging as timing behaviour depends on the application software, the embedded hardware, as well as the execution environment. This challenge is exacerbated as real-world, industrial s

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ee268f7980ea148b2faca6eddb10bcad

Zobrazit plný text záznamu

Component-based computation-energy modeling for embedded systems

Autor: Seewald, A., Schultz, U.P., Roeder, J., Rouxel, B., Grelck, C., Smaragdakis, Y.

Publikováno v: SPLASH (Companion Volume)
Seewald, A, Schultz, U P, Roeder, J, Rouxel, B & Grelck, C 2019, Component-based computation-energy modeling for embedded systems . in Y Smaragdakis (ed.), Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications : Software for Humanity . Association for Computing Machinery, New York, NY, USA, pp. 5-6, ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications, Athen, Greece, 20/10/2019 . https://doi.org/10.1145/3359061.3362775
Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity
SPLASH companion '19: proceedings companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity : October 20-25, 2019, Athens, Greece, 5-6
STARTPAGE=5;ENDPAGE=6;TITLE=SPLASH companion '19

Computational energy–efficiency is a critical aspect of many modern embedded devices as it impacts the level of autonomy for numerous scenarios. We present a component–based energy modeling approach to abstract per–component energy in a dataflo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::01883170e36862fc2ef3cf0dfc7482ef
https://doi.org/10.1145/3359061.3362775

Zobrazit plný text záznamu

Extensible language implementation with object algebras (short paper)

Autor: Gouseti, M., Peters, C., van der Storm, T., Schultz, U.P., Flatt, M.

Publikováno v: 13th International Conference on Generative Programming: Concepts & Experiences (GPCE): proceedings : September 15-16, 2014, Västerås, Sweden, 25-28
STARTPAGE=25;ENDPAGE=28;TITLE=13th International Conference on Generative Programming: Concepts & Experiences (GPCE)
GPCE
GPE 2014-International Conference on Generative Programming: Concepts and Experiences
GPE 2014-International Conference on Generative Programming: Concepts and Experiences, 2014, Västerås, Sweden. pp.25-28, ⟨10.1145/2658761.2658765⟩

International audience; Object Algebras are a recently introduced design pattern to make the implementation of recursive data types more extensible. In this short paper we report our experience in using Object Algebras in building a realistic domain-

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::220ca0e99c9c43afd946805be956b142
https://doi.org/10.1145/2775053.2658765

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.

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.

Distance-Based Access Modifiers Applied to Safety in Home Networks

Autor: Mortensen, K.H., Schougaard, K.R., Schultz, U.P.

Publikováno v: Mortensen, K H, Schougaard, K R, Schultz, U P, Markopoulos, P (ed.), Eggen, B (ed.) & Aarts (ed.) 2004, Distance-Based Access Modifiers Applied to Safety in Home Networks . in Ambient Intelligence : Second European Symposium . 3295 i Lecture Notes in Computer Science edn, Springer, pp. 315-326 .

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pure_au_____::8b6d9449bdbaf1d381940b0a402a4bca
https://pure.au.dk/portal/da/publications/distancebased-access-modifiers-applied-to-safety-in-home-networks(56199a00-8b82-11dc-bee9-02004c4f4f50).html

Zobrazit plný text záznamu

Declarative Specialization for Object-Oriented-Program Specialization

Autor: Andersen, H.M., Schultz, U.P.

Publikováno v: Andersen, H M & Schultz, U P 2004, ' Declarative Specialization for Object-Oriented-Program Specialization ' Paper presented at, Verona, Italy, 24/08/2004-25/08/2004, .

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pure_au_____::b64c2e30f5fc5038487e79e21b2c9632
https://pure.au.dk/portal/da/publications/declarative-specialization-for-objectorientedprogram-specialization(1e3cafc0-87bb-11dc-bee9-02004c4f4f50).html

Zobrazit plný text záznamu

Lambda-lifting in Quadratic Time

Autor: Danvy, O., Schultz, U.P.

Publikováno v: Danvy, O & Schultz, U P 2004, ' Lambda-lifting in Quadratic Time ', Journal of Functional and Logic Programming (JFLP), vol. 2004, no. 1 .

Lambda-lifting is a program transformation that is used in compilers, partial evaluators, and program transformers. In this article, we show how to reduce its complexity from cubic time to quadratic time, and we present a flow-sensitive lambda-lifter

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=pure_au_____::84cf012bc480bbda273905d32de5fbc2
https://pure.au.dk/portal/da/publications/lambdalifting-in-quadratic-time(66406fc0-8ec6-11dc-bee9-02004c4f4f50).html

Zobrazit plný text záznamu

Automatic Program Specialization for Java

Autor: Schultz, U.P., Lawall, J.L., Consel, C.

Publikováno v: ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS), 2003, 25 (4), pp.452--499
Schultz, U P, Lawall, J L & Consel, C 2003, ' Automatic program specialization for Java ', ACM Transactions on Programming Langauges and Systems (TOPLAS), vol. 25, no. 4, pp. 452-499 .

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e18bad7691af05e9e1bf40db5704357e
https://inria.hal.science/inria-00475682

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání