437 search results - page 2 / 88 » Gradience, Constructions and Constraint Systems |
DEXA
1993
Springer
13 years 9 months ago
1993
Springer
We argue that a fully object-oriented database management system is a very suitable basis of every modern CASE environment. We describe how the features provided by an OODBMS are e...
AGP
1995
IEEE
13 years 8 months ago
1995
IEEE
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...
SCP
1998
13 years 5 months ago
1998
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
SSS
2010
Springer
13 years 3 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
EURODAC
1995
IEEE
13 years 8 months ago
1995
IEEE
The synthesis of electronic circuits on system level o ers the possibility to nd better locations of the A/D interfaces and to determine parameters like clock rates and bit widths...