6201 search results - page 1060 / 1241 » Implementation of Axiomatic Language |
191
click to vote
LCPC
1998
Springer
15 years 10 months ago
1998
Springer
There is a class of sparse matrix computations, such as direct solvers of systems of linear equations, that change the fill-in (nonzero entries) of the coefficient matrix, and invo...
184
click to vote
PKDD
1998
Springer
15 years 10 months ago
1998
Springer
Knowledge discovery in databases (KDD) is a process that can include steps like forming the data set, data transformations, discovery of patterns, searching for exceptions to a pat...
214
click to vote
IPPS
1997
IEEE
15 years 10 months ago
1997
IEEE
We present the Data Parallel Fortran (DPF) benchmark suite, a set of data parallel Fortran codes forevaluatingdata parallel compilers appropriatefor any target parallel architectu...
172
click to vote
SP
1997
IEEE
15 years 10 months ago
1997
IEEE
When packet filtering is used as a security mechanism, different routers may need to cooperate to enforce the desired security policy. It is difficult to ensure that they will d...
166
click to vote
SIGGRAPH
1997
ACM
15 years 10 months ago
1997
ACM
Artists study anatomy to understand the relationship between exterior form and the structures responsible for creating it. In this paper we follow a similar approach in developing...