Sciweavers

19832 search results - page 3648 / 3967
» The Korrontea Data Modeling
Sort
View
ICLP
1998
Springer
15 years 11 months ago
Efficient Implementation of a Linear Logic Programming Language
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...
Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Ky...
ICCAD
1997
IEEE
162views Hardware» more  ICCAD 1997»
15 years 11 months ago
Application-driven synthesis of core-based systems
We developed a new hierarchical modular approach for synthesis of area-minimal core-based data-intensive systems. The optimization approach employs a novel global least-constraini...
Darko Kirovski, Chunho Lee, Miodrag Potkonjak, Wil...
SIGADA
1998
Springer
15 years 11 months ago
Building Fault Tolerant Distributed Systems Using IP Multicast
Our institute has been developing the only publicly available implementation of the Ada 95 Distributed Systems Annex for several years in strong collaboration with Ada Core Techno...
Samuel Tardieu, Laurent Pautet
VLDB
1998
ACM
139views Database» more  VLDB 1998»
15 years 11 months ago
Experiences in Federated Databases: From IRO-DB to MIRO-Web
From beginning of 1994 to the end of 1996, the IRO-DB ESPRIT project has developed tools for accessing relational and object-oriented databases in an integrated way. The system is...
Peter Fankhauser, Georges Gardarin, M. Lopez, J. M...
VLDB
1998
ACM
138views Database» more  VLDB 1998»
15 years 11 months ago
TOPAZ: a Cost-Based, Rule-Driven, Multi-Phase Parallelizer
Currently the key problems of query optimization are extensibility imposed by object-relational technology, as well as query complexity caused by forthcoming applications, such as...
Clara Nippl, Bernhard Mitschang
« Prev « First page 3648 / 3967 Last » Next »