7971 search results - page 1524 / 1595 » On unbounded operators and applications |
191
click to vote
PKDD
1998
Springer
15 years 10 months ago
1998
Springer
TextVis is a visual data mining system for document collections. Such a collection represents an application domain, and the primary goal of the system is to derive patterns that p...
179
click to vote
TACAS
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
165
click to vote
ISPAN
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper is concerned with the transparent parallelisation of declarative database queries, based on theoretical principles. We have designed an entire database architecture sui...
160
click to vote
PLDI
1997
ACM
15 years 10 months ago
1997
ACM
An interface definition language (IDL) is a nontraditional language for describing interfaces between software components. IDL compilers generate “stubs” that provide separat...
151
click to vote
PPOPP
1997
ACM
15 years 10 months ago
1997
ACM
Some of the most common parallel programming idioms include locks, barriers, and reduction operations. The interaction of these programming idioms with the multiprocessor's c...