16190 search results - page 2490 / 3238 » Applicative programming with effects |
151
click to vote
ER
1994
Springer
15 years 10 months ago
1994
Springer
A logical database schema, e.g. a relational one, is an implementation of a speci cation, e.g. an entity-relationship diagram. Upcoming new data models and the necessity of seamle...
150
click to vote
HYBRID
1994
Springer
15 years 10 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
199
click to vote
PPOPP
1993
ACM
15 years 10 months ago
1993
ACM
We describe computation migration,a new technique that is based on compile-time program transformations, for accessing remote data in a distributed-memory parallel system. In cont...
195
click to vote
FPGA
1992
ACM
15 years 10 months ago
1992
ACM
The new family of Field Programmable Gate Arrays, CLI6000 from Concurrent Logic Inc realizes the truly Cellular Logic. It has been mainly designed for the realization of data path...
182
click to vote
VLDB
1994
ACM
15 years 10 months ago
1994
ACM
Expert database systems extend the functionality of conventional database systems by providing a facility for creating and automatically executing Condition-Action rules. While Con...