1404 search results - page 20 / 281 » Increasing Concurrency in Databases Using Program Analysis |
119
Voted
EPIA
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...
86
Voted
CONCURRENCY
2008
15 years 14 days ago
2008
Abstract. Database systems have been vital for all forms of data processing for a long time. In recent years, the amount of processed data has been growing dramatically, even in sm...
HOTDEP
2008
15 years 2 months ago
2008
Database systems are a key component behind many of today's computer systems. As a consequence, it is crucial that database systems provide correct and continuous service des...
SAC
2008
ACM
14 years 12 months ago
2008
ACM
Middleware-based database replication protocols require few or no changes in the database engine. As a consequence, they are more portable and flexible than kernel-based protocols...
AMAST
2004
Springer
15 years 5 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...