Abstract. Lazy task creation (LTC) is an e cient approach for executing divide and conquer parallel programs that has been used in the implementation of Multilisp's future con...
This paper presents an idealized conceptual framework for consumer health informatics research drawing from complementary disciplines: information science and health campaign rese...
: Human-Computer Interaction (HCI) is a challenging discipline that is currently concerned with the design, implementation and evaluation of interactive systems for human use, as w...
Customizing architectures for particular applications is a promising approach to yield highly energy-efficient designs for embedded systems. This work explores the benefits of arc...
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...