2436 search results - page 377 / 488 » Comonadic Notions of Computation |
172
click to vote
ECHT
1992
15 years 8 months ago
1992
An approach to exible hyperbase hypertext database support predicated on the notion of extensibility is presented. The extensible hypertext platform Hyperform implements basic hyp...
167
click to vote
POPL
1993
ACM
15 years 8 months ago
1993
ACM
e data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compiletime and exploited to automatically generate code fo...
114
click to vote
VLDB
1992
ACM
15 years 8 months ago
1992
ACM
We propose a transaction model that provides a framework for transactions to cooperate without sacrificing serializability as a notion of correctness. Cooperation does not depend ...
145
click to vote
ADBIS
2009
Springer
15 years 8 months ago
2009
Springer
Identification of all objects in a dataset whose similarity is not less than a specified threshold is of major importance for management, search, and analysis of data. Set similari...
161
click to vote
CGO
2009
IEEE
15 years 8 months ago
2009
IEEE
Effectively migrating sequential applications to take advantage of parallelism available on multicore platforms is a well-recognized challenge. This paper addresses important aspec...