Sciweavers

5608 search results - page 54 / 1122
» Structure description tools
Sort
View
EURODAC
1995
IEEE
126views VHDL» more  EURODAC 1995»
15 years 9 months ago
Towards verifying VHDL descriptions of processors
We present a system for the formal veri cation of processors which combines a computer algebra simpli cation tool with an object-oriented approach. It has been successfully used f...
Laurent Arditi, Hélène Collavizza
VLDB
1990
ACM
69views Database» more  VLDB 1990»
15 years 10 months ago
Concept Description Language for Statistical Data Modeling
In this paper we describe a new language for statistical data modelling, which offers a general framework for the representation of elementary and summarydata.Thereare threemain c...
Tiziana Catarci, Giovanna D'Angiolini, Maurizio Le...