Papers Available for Download via ACM Author-Izer Service

As IoT devices advance, their microcontroller systems-on-a-chip (SoCs) demand higher speeds, more memory, and advanced peripherals, leading to increased power consumption. Integrating low-power (LP) coprocessors in SoCs can reduce power usage while ...

Emfrp, a functional reactive programming (FRP) language for small-scale embedded systems, is a DSL designed for execution in resource-constrained environments. The execution model of Emfrp provides a reactive behavior of the system through repeated ...

This paper presents mechanisms for describing real-time tasks in functional reactive programming (FRP) languages for small-scale embedded systems. We have designed and implemented Emfrp, an FRP language for resource-constrained systems, and ...

Functional Reactive Programming (FRP) is a programming paradigm that describes a system as a data flow between time-varying values, a concept that abstracts values that change over time. It helps describe embedded systems and GUIs. FRP is also useful ...

This paper reports the implementation of Emfrp-REPL, an interactive interpreter (REPL) of a functional reactive programming language for resource-constrained embedded systems. Its goal is to accelerate the prototyping and development of microcontroller-...

Emfrp is a functional reactive programming language designed for small embedded systems. By imposing certain restrictions on the language mechanism, the language guarantees the termination of the update process for each time-varying value and enables ...

We propose new functionality for FRP language to support computations on GPUs. Some embedded systems equip GPUs, which enable us to process large amounts of data such as camera images. We have developed an FRP language for embedded systems, named ...

This paper presents an automatic parallelization method for a pure FRP language designed for embedded systems. Recent advances in microprocessor technology make it possible to use multicore processors even in resource-constrained embedded systems. To ...

Reactive programming over a network is a challenging task because efficient elimination of temporary violations of data flow invariants, known as glitches, in a distributed setting is still an open issue. In this paper, we propose a method for ...

This paper presents the design of a simple context-oriented programming extension to Emfrp, a purely functional reactive programming language for resource-constrained embedded systems. The language provides declarative and straightforward ways to ...

The Actor model is a concurrent computation model based on asynchronous message passing and shared-nothing principle. These characteristics and the absence of locks guarantee that actor-based programs can avoid simple concurrency bugs such as data ...

This paper describes a reflective extension to Emfrp, a functional reactive programming language designed for resource-constrained embedded systems. The primary purpose of introducing reflection is to provide a certain degree of flexibility and ...

In this paper, we introduce a new functional reactive programming (FRP) language Emfrp designed to support small-scale embedded systems. An Emfrp program defines a system as a fixed directed graph whose nodes correspond to the time-varying values in ...

In this paper, we introduce the notion of concurrent context-oriented programming and its experimental implementation. To realize context-oriented programming in concurrent systems based on asynchronous communication such as the Actor model, we must ...

To realize context-orientation in concurrent systems, especially in systems based on asynchronous communication, we must take special care to control synchronizations among context changes and other computations. In this paper, we present a method to ...

The goal of this work is to establish a simple and flexible construction method for reflective concurrent systems. In this paper, a novel method to construct a meta-level architecture for a group of actors is presented. The key idea is to apply parallel ...

Interactive theorem provers such as Coq are widely used for program verification. However, if one aims to, for example, add a simple feature to an already-verified program, it may require reconstructing the entire proof. In other words, building upon a ...

Recently, mobile code technology has been utilized in many systems: Java applets, Jini, Active network, Internet appliances, etc. To make mobile code programs work more effectively, we must consider their adaptation on runtime environments. Our goal is ...

In a software system, dynamic adaptability is the ability for dynamic adaptation on runtime environments. A software system with dynamic adaptability can adapt itself to the changes of runtime environments by changing its own behavior in dynamic & ...

Our work is along the line of the work of B. Smith and P. Maes. We first discuss our notion of reflection in object-oriented concurrent computation and then present a reflective object-oriented concurrent language ABCL/R. We give several illustrative ...