4397 search results - page 583 / 880 » Relational Algebra Operations |
153
click to vote
KBSE
1997
IEEE
15 years 8 months ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
135
click to vote
INFOCOM
1996
IEEE
15 years 8 months ago
1996
IEEE
The Transmission Control Protocol Internet Protocol TCP IP 1 suite is a very widely used technique that is employed to interconnect computing facilities in modern network environm...
124
click to vote
FM
1997
Springer
15 years 8 months ago
1997
Springer
In this paper an extension of the IFAD VDM-SL Toolbox with a proof obligation generator is described. Static type checking in VDM is undecidable in general and therefore the type c...
123
click to vote
ICDE
1993
IEEE
15 years 8 months ago
1993
IEEE
An iterator is proposed that allows to apply sequences of update operations in a set-oriented way with deterministic semantics. Because the mechanism is independent of a particula...
123
click to vote
SSDBM
1994
IEEE
15 years 8 months ago
1994
IEEE
To extend the scope of multivariate data visualization, the notion of comparative visualization is introduced: it allows the comparison of visualization methods by interconnecting...