ALIBI
发表于 2025-3-30 09:47:14
A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations or safety properties. Optimizations for reducing the overhead are becoming increasingly sophisticated themselves, which makes it mandatory to verify that they preserve what shall be enforced..In this article, we propose a taxonomy for such optimizations and use it to develop a classification of exi
消息灵通
发表于 2025-3-30 12:55:26
Thirty-Seven Years of Relational Hoare Logic: Remarks on Its Principles and Historyrements such as confidentiality and program relations such as equivalence or similarity between program versions. A considerable number of recent works introduce different relational Hoare logics without yet converging on a core set of proof rules. This paper looks backwards to little known early wo
不吉祥的女人
发表于 2025-3-30 17:49:34
Safer Parallelizationwledge hidden in existing code. A common parallelization approach is the use of standardized ., which allow making best use of parallel programming interfaces such as OpenMP. When such patterns cannot be implemented directly, it can be necessary to apply code transformations beforehand to suitably r
勉励
发表于 2025-3-30 22:45:50
Refactoring and Active Object Languagesshow how well-known OO refactorings such as Hide Delegate, Move Method, and Extract Class interact with a concurrency model that distinguishes between local and remote objects. Refactorings that are straightforward in Java suddenly force the developers to reflect on the underlying assumptions of the
Aboveboard
发表于 2025-3-31 03:40:47
http://reply.papertrans.cn/59/5854/585393/585393_55.png
具体
发表于 2025-3-31 06:34:48
Composition of Component Models - A Key to Construct Big Systems proper abstraction mechanisms for components are necessary. Furthermore, when composing many components, composition must be associative, i.e. for components . must hold: .. This paper suggests a general framework for such components and their composition. With examples of systems represented in di
amygdala
发表于 2025-3-31 12:56:55
Degrees of Autonomy in Coordinating Collectives of Self-Driving Vehiclesin order to ensure safety and efficiency. In this paper, after introducing the general issues associated to coordination of self-driving vehicles, we show that a key engineering issue is identifying the most suitable degree of autonomy in decision making that should be left to vehicles during the co
的染料
发表于 2025-3-31 13:42:50
http://reply.papertrans.cn/59/5854/585393/585393_58.png