Zobrazeno 1 - 10
of 79
pro vyhledávání: '"Martin Nowack"'
Publikováno v:
ISSTA
Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis
29th ACM SIGSOFT International Symposium on Software Testing and Analysis
Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis
29th ACM SIGSOFT International Symposium on Software Testing and Analysis
When symbolic execution is used to analyse real-world applications, it often consumes all available memory in a relatively short amount of time, sometimes making it impossible to analyse an application for an extended period. In this paper, we presen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cbff7dcd39bdf73e3d91a410734f2984
https://doi.org/10.1145/3395363.3397360
https://doi.org/10.1145/3395363.3397360
Autor:
Cristian Cadar, Martin Nowack
KLEE is a popular dynamic symbolic execution engine, initially designed at Stanford University and now primarily developed and maintained by the Software Reliability Group at Imperial College London. KLEE has a large community spanning both academia
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4fbefb228ab28c244c57327a06db0f97
http://hdl.handle.net/10044/1/83346
http://hdl.handle.net/10044/1/83346
Autor:
Martin Nowack
Publikováno v:
ASE
34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)
34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)
Dynamic Symbolic Execution (DSE) has seen rising popularity as it allows to check applications for behaviours such as error patterns automatically. One of its biggest challenges is the state space explosion problem: DSE tries to evaluate all possible
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::246a552d88d642e56c325c7bc9045e2d
https://doi.org/10.1109/ase.2019.00089
https://doi.org/10.1109/ase.2019.00089
Publikováno v:
Tests and Proofs ISBN: 9783030311568
TAP@FM
International Conference on Tests and Proofs
TAP@FM
International Conference on Tests and Proofs
Dynamic symbolic execution is a technique that analyses programs by gathering mathematical constraints along execution paths. To achieve bit-level precision, one must use the theory of bitvectors. However, other theories might achieve higher performa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6cf28b6634013fcdf8fb597091d71023
https://doi.org/10.1007/978-3-030-31157-5_3
https://doi.org/10.1007/978-3-030-31157-5_3
Publikováno v:
The International Journal of Life Cycle Assessment. 17:655-665
In this article, we analyze how environmental aspects can be derived from life cycle management instruments for procurement decisions of low-value products. For our analysis, we chose the case of operating room textiles. The review includes the life
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::397289929b75641afa1a37d268522c8e
https://doi.org/10.1007/s11367-012-0401-3
https://doi.org/10.1007/s11367-012-0401-3
Publikováno v:
Technological Forecasting and Social Change. 78:1603-1615
For meaningful scenarios, creative input concerning possible future trends is crucial. Herman Kahn, the father of modern scenario planning, underlined the importance of “thinking the unthinkable” in a significant scenario study. “Blessed with h
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1abdd9f864aeac03a54f59edacbf881e
https://doi.org/10.1016/j.techfore.2011.03.006
https://doi.org/10.1016/j.techfore.2011.03.006
Autor:
Edeltraud Günther, Martin Nowack
Publikováno v:
uwf UmweltWirtschaftsForum. 17:251-255
Klimawandel, demografischer Wandel, technologischer Wandel und deren Folgen, aber auch andere sich andernde Rahmenbedingungen werden das integrierte Wasserressourcenmanagement (IWRM) in Zukunft vor grose Herausforderungen stellen. Die Szenarioplanung
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::63952ef8b06bfd27ea4276c259c48465
https://doi.org/10.1007/s00550-009-0146-z
https://doi.org/10.1007/s00550-009-0146-z
Publikováno v:
Transactional Memory. Foundations, Algorithms, Tools, and Applications ISBN: 9783319147192
Transactional Memory
Transactional Memory
Exception handling is notoriously difficult for programmers whereas transactional memory has been instrumental in simplifying concurrent programming. In this chapter, we describe how the transactional syntactic sugar simplifies the exception handling
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e57620e626c8dc9aaf4c0652f9f30858
https://doi.org/10.1007/978-3-319-14720-8_12
https://doi.org/10.1007/978-3-319-14720-8_12
Autor:
Martin Nowack, Edeltraud Günther
Publikováno v:
uwf UmweltWirtschaftsForum. 16:49-51
aus betriebswirtschaftlicher Sicht scheint ein Co2-Management aus zweierlei Grunden geboten: einerseits hat der Klimawandel auswirkungen auf die Unternehmen, die sich an veranderte Klimabedingungen anpassen mussen (Adaptation) und andererseits nimmt
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ef35c387cdbdcaee151e2eb542d12ae0
https://doi.org/10.1007/s00550-008-0080-5
https://doi.org/10.1007/s00550-008-0080-5
Publikováno v:
SPAA
Hardware Transactional Memory (HTM) implementations are becoming available in commercial, off-the-shelf components. While generally comparable, some implementations deviate from the strict all-or-nothing property of pure Transactional Memory. We anal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::da6d7caa489720580acc1ef7f8eebf70
https://doi.org/10.1145/2486159.2486165
https://doi.org/10.1145/2486159.2486165