3441 search results - page 540 / 689 » Parallel Logic Programming Systems |
161
click to vote
BIRTHDAY
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
112
click to vote
ICCAD
1996
IEEE
15 years 9 months ago
1996
IEEE
We propose a new method for generating BDDs from hardware algorithm descriptions written in a programming language. Our system can deal with control structures, such as conditiona...
160
click to vote
EWDW
1990
15 years 9 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
127
click to vote
ICML
1989
IEEE
15 years 9 months ago
1989
IEEE
The available concept-learners only partially fulfill the needs imposed by the learning apprentice generation of learners. We present a novel approach to interactive concept-learni...
153
click to vote
VLDB
1991
ACM
15 years 8 months ago
1991
ACM
We propose a two-pha.se algorithm for physical database design. In phase one the algorithm, for each logical query, losesrules to determine characteristics of a physical design (s...