1404 search results - page 208 / 281 » Increasing Concurrency in Databases Using Program Analysis |
101
Voted
DBPL
2009
Springer
15 years 7 months ago
2009
Springer
In this paper, we revisit the view based security framework for XML without imposing any of the previously considered restrictions on the class of queries, the class of DTDs, and t...
100
Voted
ASAP
2004
IEEE
15 years 4 months ago
2004
IEEE
Biosequence similarity search is an important application in modern molecular biology. Search algorithms aim to identify sets of sequences whose extensional similarity suggests a c...
96
Voted
RV
2010
Springer
14 years 11 months ago
2010
Springer
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...
88
Voted
DAC
2005
ACM
15 years 2 months ago
2005
ACM
This paper describes a novel technique called Embedded Test-bench Control (ETC), extensively used in the verification of Tensilica’s latest configurable processor. Conventional ...
96
Voted
CGF
2008
15 years 21 days ago
2008
We present the Memory Trace Visualizer (MTV), a tool that provides interactive visualization and analysis of the sequence of memory operations performed by a program as it runs. A...