The integration of system and SW functions for efciency, performance and especially dependability is of interest from a research and system design perspective. In this paper, we p...
This paper addresses the problem of learning from highly structured data. Speci cally, it describes a procedure, called decomposition, that allows a learner to access automatically...
This paper introduces an energy-efficient FPGA module, intended for embedded implementations. The main features of the proposed cell include a rich local-interconnect network, whi...
The SLam calculus is a typed -calculus that maintains security information as well as type information. The type system propagates security information for each object in four for...
: This paper describes the development of a model for the reflective treatment of both application and environmentally sourced exceptions. We show how a variety of exception models...