Results 71 to 80 of about 106,571 (319)
Operational Semantics of Hybrid Systems [PDF]
, 2005 Hybrid systems are heterogeneous systems that include continuous-time (CT) subsystems interacting with discrete-event (DE) subsystems. They are effective models for physical systems interacting with software or experiencing discrete mode changes. This dissertation discusses an interpretation of hybrid systems as executable programs written in a ...
Lee, E A, Zheng, H Y
openaire +2 more sources
An operational semantics for android activities [PDF]
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation, 2014 We define an operational semantics for a large part of the Android platform, encompassing the Dalvik bytecode but also, and more importantly, the inter-component communication mechanism used inside Android applications. This semantics is intended to provide a formal basis for the development of static analyses that consider the complex flow of ...
E. Payet, SPOTO, Nicola Fausto
openaire +2 more sources
Drug‐Free Thrombolysis Mediated by Physically Activated Micro/Nanoparticles
Advanced Functional Materials, EarlyView.Overview of particle‐mediated thrombolytic effects (thermal, mechanical, and chemical) and their activating physical stimuli (light, ultrasound, and magnetic field) in drug‐free thrombolysis. ABSTRACT Thrombus‐associated disorders rank among the world's leading causes of death, with ischemic heart disease and stroke as the main contributors.
Pierre Sarfati +2 more
wiley +1 more source
An Effect System for Algebraic Effects and Handlers [PDF]
Logical Methods in Computer Science, 2014 We present an effect system for core Eff, a simplified variant of Eff, which is an ML-style programming language with first-class algebraic effects and handlers. We define an expressive effect system and prove safety of operational semantics with respect
Andrej Bauer, Matija Pretnar
doaj +1 more source
Operational Semantics for Declarative Networking [PDF]
, 2008 Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a computer network. It has already been used to implement various networked systems, e.g., network overlays, Byzantine fault tolerance protocols, and distributed hash tables ...
Navarro Perez, J., Rybalchenko, A.
openaire +2 more sources
Towards Interactive Logic Programming [PDF]
, 2015 Linear logic programming uses provability as the basis for computation. In the operational semantics based on provability, executing the additive-conjunctive goal $G_1 \& G_2$ from a program $P$ simply terminates with a success if both $G_1$ and $G_2 ...
Kwon, Keehang, Park, Mi-Young
core
Approximated Symbolic Computations over Hybrid Automata [PDF]
, 2013 Hybrid automata are a natural framework for modeling and analyzing systems which exhibit a mixed discrete continuous behaviour. However, the standard operational semantics defined over such models implicitly assume perfect knowledge of the real systems ...
Casagrande, Alberto +2 more
core +3 more sources
Bioinspired Adaptive Sensors: A Review on Current Developments in Theory and Application
Advanced Materials, EarlyView.This review comprehensively summarizes the recent progress in the design and fabrication of sensory‐adaptation‐inspired devices and highlights their valuable applications in electronic skin, wearable electronics, and machine vision. The existing challenges and future directions are addressed in aspects such as device performance optimization ...
Guodong Gong +12 more
wiley +1 more source
Reversing Parallel Programs with Blocks and Procedures [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 We show how to reverse a while language extended with blocks, local variables, procedures and the interleaving parallel composition. Annotation is defined along with a set of operational semantics capable of storing necessary reversal information, and ...
James Hoey, Irek Ulidowski, Shoji Yuen
doaj +1 more source
Inductive assertions and operational semantics [PDF]
International Journal on Software Tools for Technology Transfer, 2003 This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes only the proof obligations that would be produced by a verification condition generator but does not require the definition of a verification condition generation.
openaire +2 more sources