Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Sven-Olof Nyström"'
Publikováno v:
ICST Workshops
We report on a case study on model based testingfor a commercially available telecom software system. A mainpurpose is to investigate how different strategies for test suitegeneration affect quality attributes of the generated test suites, in a reali
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1c021e2f5724aae9f7cde72636605e7c
https://doi.org/10.1109/icstw.2016.42
https://doi.org/10.1109/icstw.2016.42
Publikováno v:
Scandinavian Journal of Infectious Diseases. 31:87-91
A total of 154 episodes of infective endocarditis (IE) in 149 patients were studied retrospectively with special regard to the major aetiological groups and the surgical evaluation. There were 136 episodes of native valve endocarditis (NVE) (88%) and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f6e7c4b02b370ca33630c9e5d61cc164
https://doi.org/10.1080/00365549950161952
https://doi.org/10.1080/00365549950161952
Autor:
Sven-Olof Nyström
Publikováno v:
Information Processing Letters. 60:289-293
It is well known that for many non-deterministic programming languages there is no continuous fully abstract fixpoint semantics. This is usually attributed to “problems with continuity”, that is, the assumption that the semantic functions should
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9be78bc378ed165b81ab7a4fb2988768
https://doi.org/10.1016/s0020-0190(96)00177-9
https://doi.org/10.1016/s0020-0190(96)00177-9
Autor:
Sven-Olof Nyström
Publikováno v:
Erlang Workshop
This paper presents a soft-typing system for the programming language Erlang. The system is based on two concepts; a (forward) data flow analysis that determines upper approximations of the possible values of expressions and other constructs, and a s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::676a60fcf532b18eac7aef9e43b603be
https://doi.org/10.1145/940880.940888
https://doi.org/10.1145/940880.940888
Autor:
Sven-Olof Nyström, Johan Runeson
Publikováno v:
Software and Compilers for Embedded Systems ISBN: 9783540201458
SCOPES
SCOPES
Global register allocation is one of the most important optimizations in a compiler. Since the early 80’s, register allocation by graph coloring has been the dominant approach. The traditional formulation of graph-coloring register allocation impli
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6317e55318f908850e9ef57cb0339978
https://doi.org/10.1007/978-3-540-39920-9_17
https://doi.org/10.1007/978-3-540-39920-9_17
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540417811
LCTES
LCTES
Memory size is an important economic factor in the development of embedded systems. It is therefore desirable to find compiler optimization techniques that reduce the size of the generated code. One such technique is procedural abstraction, where rep
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0229b59750faff825bd5817b5aaabfb8
https://doi.org/10.1007/3-540-45245-1_14
https://doi.org/10.1007/3-540-45245-1_14
Publikováno v:
Dynamo
We describe a profile-driven compiler optimization technique for inter-process optimization, which dynamically inlines the effects of sending messages. Profiling is used to find optimization opportunities, and to dynamically trigger recompilation and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::83b0c4d082ac873b91f03b3da7e4aed6
https://doi.org/10.1145/351397.351411
https://doi.org/10.1145/351397.351411