1712 search results - page 54 / 343 » Abstract Constraint Data Types |
PPOPP
2009
ACM
15 years 11 months ago
2009
ACM
Researchers in transactional memory (TM) have proposed open nesting as a methodology for increasing the concurrency of transactional programs. The idea is to ignore "low-leve...
117
click to vote
ADAEUROPE
2010
Springer
15 years 3 months ago
2010
Springer
Because multicore CPUs have become the standard with all major hardware manufacturers, it becomes increasingly important for ing languages to provide programming abstractions that ...
102
click to vote
KES
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Access control for semi-structured data is nontrivial, as witnessed by the number of access control approaches in recent literature. Recently a case has been made for exp...
VLDB
1993
ACM
15 years 3 months ago
1993
ACM
SQL3generalizestherelationalmodelinto anobjectmodel abstract data types, multiple inheritance, and dynamic polymorphism. Tables may then contain collections (multisets) of objects...
CP
2000
Springer
15 years 3 months ago
2000
Springer
plexity Theorems: Talk Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 David McAllester Regular Papers Automatic Generation of Propagation Rules for F...