201 search results - page 15 / 41 » Typed Dynamic Control Operators for Delimited Continuations |
IM
1997
13 years 9 months ago
1997
This paper presents a novel approach to the control and management of ATM networks, by allowing di erent control architectures to be operational within the same network, and on th...
CDC
2009
IEEE
14 years 11 days ago
2009
IEEE
— Event-triggered and self-triggered control have recently been proposed as an alternative to periodic implementations of feedback control laws over sensor/actuator networks. In ...
CCE
2004
13 years 7 months ago
2004
Batch distillation is an important separation process for small-scale production especially in pharmaceutical, specialty chemical and biochemical industries. Although batch distil...
APLAS
2006
ACM
14 years 1 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...