This paper presents the ObjVlisp model designed to experiment and synthesize the expanding activities of the Object Oriented world. The goal is to specify a minimal kernel whose semantic is perfectly ...
The scattering problem refers to the gossiping and the broadcasting problems [1,2]. It consists in distributing a set of data from a single source such that each component is destinated to a distinct ...
The overall goal of Menelas is to provide better access to the information contained in natural language patient discharge summaries, through the design and implementation of a pilot system able to an...
The type and effect discipline is a new framework for reconstructing the principal type and the minimal effect of expressions in implicitly typed polymorphic functional languages that support imperati...
An on-line control IC for watch stepping motors that allows significant power savings is presented. This system enables the open loop control of a wide range of motors. This leads to a significantly l...
This report addresses assertion-based verification (ABV) and proposes a model for supervising semi-formal verification of temporal properties of TLM (transaction level modeling) descriptions. This mod...