2373 search results - page 383 / 475 » The Design of the Zinc Modelling Language |
144
click to vote
DAC
1992
ACM
15 years 10 months ago
1992
ACM
This paper describes a model for, and an implementation of, production-based synthesis of hardware description language (HDL) code in which the overall structure of the resultant ...
180
click to vote
IFIPTCS
2000
15 years 10 months ago
2000
Hierarchical state machines are finite state machines whose states themselves can be other machines. In spite of their popularity in many modeling tools for software design, very l...
166
click to vote
IQIS
2007
ACM
15 years 7 months ago
2007
ACM
Extraction–Transform–Load (ETL) processes comprise complex data workflows, which are responsible for the maintenance of a Data Warehouse. Their practical importance is denoted...
148
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Abstract. There are a range of abstractions used for both modelling and proof modern computational systems. While these abstractions may have been devised for specific purposes, t...
150
click to vote
IAAI
1993
15 years 7 months ago
1993
In 1991 Ford began deployment of the Computer Aided Parts Estimating System (CAPE), a highly advanced knowledge-based system designed to generate, evaluate and cost automotive par...