1404 search results - page 54 / 281 » Increasing Concurrency in Databases Using Program Analysis |
134
click to vote
BMCBI
2005
15 years 13 days ago
2005
Background -: Sequencing of EST and BAC end datasets is no longer limited to large research groups. Drops in per-base pricing have made high throughput sequencing accessible to in...
126
click to vote
CANDC
2004
ACM
15 years 12 days ago
2004
ACM
Increasingly, scientists have begun to tackle gene functions and other complex regulatory processes by studying organisms at the global scales for various levels of biological org...
98
Voted
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
92
Voted
LCTRTS
2001
Springer
15 years 5 months ago
2001
Springer
When the Asynchronous Method Invocation (AMI) model was introduced into the CORBA specification, client applications benefited from the ability to invoke nonblocking two-way reque...
114
click to vote
ASE
1999
15 years 6 days ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...