Zobrazeno 1 - 10
of 59
pro vyhledávání: '"Stefan Marr"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 155, Iss Proc. PLACES 2014, Pp 54-60 (2014)
In the past decades, many different programming models for managing concurrency in applications have been proposed, such as the actor model, Communicating Sequential Processes, and Software Transactional Memory. The ubiquity of multi-core processors
Externí odkaz:
https://doaj.org/article/e80bea9ea34d4cac83ac7caba57ea110
Autor:
Stefan Marr, Michael Haupt, Stijn Timbermont, Bram Adams, Theo D'Hondt, Pascal Costanza, Wolfgang De Meuter
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 17, Iss Proc. PLACES 2009, Pp 63-77 (2010)
The upcoming many-core architectures require software developers to exploit concurrency to utilize available computational power. Today's high-level language virtual machines (VMs), which are a cornerstone of software development, do not provide suff
Externí odkaz:
https://doaj.org/article/64c3dcd88807450f9609946af1a2f2e8
Publikováno v:
Proceedings of the 14th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages.
Publikováno v:
Proceedings of the 18th ACM SIGPLAN International Symposium on Dynamic Languages.
Publikováno v:
Proceedings of the 18th ACM SIGPLAN International Symposium on Dynamic Languages.
Autor:
Isaac Oscar Gariano, Erin Greenwood-Thessman, Richard D. Roberts, Stefan Marr, James Noble, Michael Homer
Publikováno v:
Proceedings of the 16th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems.
Transient gradual type systems often depend on type-based cast insertion to achieve good performance: casts are inserted whenever the static checker detects that a dynamically-typed value may flow into a statically-typed context. Transient gradually
With concurrency being integral to most software systems, developers combine high-level concurrency models in the same application to tackle each problem with appropriate abstractions. While languages and libraries offer a wide range of concurrency m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::06d3e7bc26e95f2532f558edecd8a5eb
http://arxiv.org/abs/2103.00031
http://arxiv.org/abs/2103.00031
Publikováno v:
VEE
C codebases frequently embed nonportable and unstandardized elements such as inline assembly code. Such elements are not well understood, which poses a problem to tool developers who aspire to support C code. This paper investigates the use of x86-64
Publikováno v:
DLS
Programming language virtual machines (VMs) realize language semantics, enforce security properties, and execute applications efficiently. Fully Reflective Execution Environments (EEs) are VMs that additionally expose their whole structure and behavi