569 search results - page 37 / 114 » acm 1995 |
ISSAC
1995
Springer
14 years 15 days ago
1995
Springer
Dynamic evaluation is a technique for producing multiple results according to a decision tree which evolves with program execution. Sometimes it is desired to produce results for ...
STOC
1995
ACM
14 years 14 days ago
1995
ACM
The goal of incremental cryptography is to design cryptographic algorithms with the property that having applied the algorithm to a document, it is possible to quickly update the ...
SC
1995
ACM
14 years 14 days ago
1995
ACM
The design of a parallel implementation of multilevel recursive spectral bisection on the Cray T3D is described. The code is intended to be fast enough to enable dynamic repartiti...
SIGGRAPH
1995
ACM
14 years 14 days ago
1995
ACM
We developa clustereddithering methodthatusesstochasticscreening and is able to perform an adaptive variation of the cluster size. This makes it possible to achieve optimal rendit...
POPL
1995
ACM
14 years 15 days ago
1995
ACM
We present a variant of the Standard ML module system rameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compattract types, inst...