1,019 research outputs found
Stormy Weather. On Human-Made Clouds in Contemporary Art / Stormy Weather. Nuages fabriqués et art contemporain
No full textCare, Fürsorge, Pflege. Kunst an einem technologischen Kampfplatz unserer Zeit/Care. Art on an Technological Battlefield of Our Time
No full textMagischer Widerstand. Über Hexenpraxen in der Gegenwartskunst / Magical Resistance. Witch Practices in Contemporary Art
No full textModular Abstract Definitional Interpreters for WebAssembly
No full textEven though static analyses can improve performance and secure programs against vulnerabilities, no static whole-program analyses exist for WebAssembly (Wasm) to date. Part of the reason is that Wasm has many complex language concerns, and it is not obvious how to adopt existing analysis frameworks for these features. This paper explores how abstract definitional interpretation can be used to develop sophisticated analyses for Wasm and other complex languages efficiently. In particular, we show that the semantics of Wasm can be decomposed into 19 language-independent components that abstract different aspects of Wasm. We have written a highly configurable definitional interpreter for full Wasm 1.0 in 1628 LOC against these components. Analysis developers can instantiate this interpreter with different value and effect abstractions to obtain abstract definitional interpreters that compute inter-procedural control and data-flow information. This way, we develop the first whole-program dead code, constant propagation, and taint analyses for Wasm, each in less than 210 LOC. We evaluate our analyses on 1458 Wasm binaries collected by others in the wild. Our implementation is based on a novel framework for definitional abstract interpretation in Scala that eliminates scalability issues of prior work
Economic impact of growth effects in mixed stands of Norway spruce and European beech – A simulation based study
No full textCollaborating with start-ups - selection criteria for valuable open innovation partnerships
No full textAuthor Katharina MusnerMasterarbeit Universität Linz 202
Organizational learning and agility as continuous change process : approaches and methods
No full textauthor Katharina AlbertiniMasterarbeit University Innsbruck 202
The gendered impact of flexible working arrangements on job satisfaction
No full textAuthor Katharina Bauer, BScMasterarbeit Universität Linz 202
The gendered impact of flexible working arrangements on job satisfaction
No full textAuthor Katharina Bauer, BScMasterarbeit Universität Linz 202
Job satisfaction and remote work: how to increase job satisfaction within remote work structures
No full textAuthor Katharina EggerMasterarbeit Universität Linz 202
- …
