Chaitanya Belwal

Learn More
A new, purely functional model of computation, called Priority-based Functional Reactive Programming (P-FRP), has been introduced as a new paradigm for building real-time software. P-FRP allows assignment of static priorities to tasks and guarantees that, when a higher priority task is released, the system will immediately preempt any lower-priority tasks(More)
Transactional memory is a mechanism of controlling access to shared resources in concurrent programs. Though originally implemented in hardware, software implementations of transactional memory are now available as library extensions in all major programming language. Lately, variants of software transactional memory (STM) with real-time support have been(More)
A purely functional model of computation, called PFRP, offers a new paradigm for building reactive software. By allowing static priority assignment, P-FRP guarantees that, when a higher priority task is released, the system will immediately preempt any lower-priority tasks that may be executing at that time. To maintain the atomicity of execution, changes(More)
declarative approach for modeling and building safety-critical embedded systems. Recently, Priority-based FRP (P-FRP) was introduced as a formalism that guarantees real-time response. Due to the state-less nature of execution of functional programs, P-FRP implements a transactional nature of execution where preempted lower priority tasks are aborted. This(More)
We discuss an adaptive resolution system for modeling regional air pollution based on the chemical transport model Stem. The grid adaptivity is implemented using the generic tool Paramesh, which enables the grid management operations while harnessing the power of parallel computers. The computational algorithm is based on a decomposition of the domain, with(More)
Software transactional memory (STM) is a transactional mechanism of controlling access to shared resources in memory. Recently, variants of STM with real-time support have been presented. Due to its abort-restart nature, the execution semantics of STM are different from the classical preemptive or nonpreemptive model. In this letter, we formally derive(More)
Software Transactional Memory (STM) is a mechanism for controlling access to shared resources in memory using an abort-restart preemption model for tasks which share data objects. This execution model of STM is different from the classical preemptive or non-preemptive models and currently the only method to determine schedulability is through an exhaustive(More)