Results for:
"
Pierre+Granche
" in Documents
- The OBJVLISP Model Definition of a Uniform Reflexive and Extensible Ob...
- 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 ...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09
- Scheduling A Scattering-Gathering Sequence On Hypercubes 1993
- 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 ...
-
Rating:
Views: (1011)
Pages: ()
Uploaded: 13-05-09
- Menelas an Experiment in the Processing of Natural Language Medical Re...
- 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...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 13-05-09
- Dependency in Value Networks The Safeguarding Effects of Electronic Co...
- Tous droits r?serv?s pour tous pays. Toute traduction et toute reproduction sous quelque forme que ce soit est
-
Rating:
Views: (1024)
Pages: ()
Uploaded: 13-05-09
- The Level of International Business and its Association with Different...
- Tous droits r?serv?s pour tous pays. Toute traduction et toute reproduction sous quelque forme que ce soit sont interdites.
-
Rating:
Views: (1046)
Pages: ()
Uploaded: 13-05-09
- The Type and Effect Discipline 1993 126 citations ? 3 self
- 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...
-
Rating:
Views: (1017)
Pages: ()
Uploaded: 13-05-09
- COCA an On Line Control IC for Watch Stepping Motors Ermanno Bernascon...
- 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...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 13-05-09
- A Model for Assertion-Based Verification of TLM Designs
- 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...
-
Rating:
Views: (1013)
Pages: ()
Uploaded: 22-01-08