1712 search results - page 44 / 343 » Abstract Constraint Data Types |
TGC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
ESOP
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. A race condition is a situation where two threads manipulate a data structure simultaneously, without synchronization. Race conditions are common errors in multithreaded ...
71
Voted
PODS
1994
ACM
15 years 3 months ago
1994
ACM
Abstract Appears in Proceedings of the Thirteenth Symposium on Principles of Database Systems, 1994 Ashish Gupta Yehoshua Sagivy Je rey D. Ullman Jennifer Widom Dept. of Computer S...
KDD
2007
ACM
15 years 11 months ago
2007
ACM
Clustering with constraints is an emerging area of data mining research. However, most work assumes that the constraints are given as one large batch. In this paper we explore the...
99
Voted
POPL
1998
ACM
15 years 3 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...