Sciweavers

7055 search results - page 1054 / 1411
» Some New 4-Designs
Sort
View
DBPL
1991
Springer
92views Database» more  DBPL 1991»
15 years 11 months ago
A Remote Execution Mechanism For Distributed Homogeneous Stable Stores
Persistent languages and systems provide the ability to create and manipulate all data in a uniform manner regardless of how long it persists. Such systems are usually implemented...
Alan Dearle, John Rosenberg, Francis Vaughan
HT
1991
ACM
15 years 11 months ago
What's Eliza Doing in the Chinese Room? Incoherent Hyperdocuments - and How to Avoid Them
Research on understanding linear texts has shown that comprehension and navigation mainly depend on the reader’s ability to construct a coherent mental representation. While the...
Manfred Thüring, Jörg M. Haake, Jör...
VLDB
1991
ACM
143views Database» more  VLDB 1991»
15 years 11 months ago
Handling Data Skew in Multiprocessor Database Computers Using Partition Tuning
Shared nothing multiprocessor archit.ecture is known t.obe more scalable to support very large databases. Compared to other join strategies, a hash-ba9ed join algorithm is particu...
Kien A. Hua, Chiang Lee
POPL
1990
ACM
15 years 11 months ago
Concurrent Constraint Programming
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...
Vijay A. Saraswat, Martin C. Rinard
CAV
2010
Springer
190views Hardware» more  CAV 2010»
15 years 11 months ago
Measuring and Synthesizing Systems in Probabilistic Environments
Often one has a preference order among the different systems that satisfy a given specification. Under a probabilistic assumption about the possible inputs, such a preference order...
Krishnendu Chatterjee, Thomas A. Henzinger, Barbar...
« Prev « First page 1054 / 1411 Last » Next »