1404 search results - page 77 / 281 » Increasing Concurrency in Databases Using Program Analysis |
88
Voted
AIPS
2007
15 years 2 months ago
2007
The last eight years have seen dramatic progress in temporal planning as highlighted by the temporal track in the last three International Planning Competitions (IPC). However, ou...
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
102
click to vote
VLDB
2002
ACM
15 years 6 days ago
2002
ACM
Safe programming languages encourage the development of dynamically extensible systems, such as extensible Web servers and mobile agent platforms. Although protection is of utmost...
119
Voted
SIGMOD
2010
ACM
15 years 5 months ago
2010
ACM
To take full advantage of the parallelism offered by a multicore machine, one must write parallel code. Writing parallel code is difficult. Even when one writes correct code, the...
239
click to vote
VLDB
2002
ACM
16 years 25 days ago
2002
ACM
Our aim is to develop new database technologies for the approximate matching of unstructured string data using indexes. We explore the potential of the suffix tree data structure i...