1404 search results - page 71 / 281 » Increasing Concurrency in Databases Using Program Analysis |
CHARME
2001
Springer
15 years 4 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
110
Voted
CONCURRENCY
2006
15 years 18 days ago
2006
: The next generation of scientific experiments and studies, popularly called e-Science, is carried out by large collaborations of researchers distributed around the world engaged ...
104
click to vote
SCFBM
2008
15 years 1 days ago
2008
Background: Microarrays are becoming a very popular tool for microbial detection and diagnostics. Although these diagnostic arrays are much simpler when compared to the traditiona...
83
Voted
JOT
2007
15 years 14 days ago
2007
Interface-based programming, i.e. the systematic use of interface types in variable declarations, serves the decoupling of classes and increases a program’s changeability. To ma...
POPL
1998
ACM
15 years 4 months ago
1998
ACM
Recent years have seen increasing interest in systems that reason about and manipulate executable code. Such systems can generally benefit from information about aliasing. Unfort...