Sciweavers

1404 search results - page 78 / 281
» Increasing Concurrency in Databases Using Program Analysis
Sort
View
114
Voted
EVOW
2006
Springer
15 years 4 months ago
Mining Structural Databases: An Evolutionary Multi-Objetive Conceptual Clustering Methodology
Abstract. The increased availability of biological databases containing representations of complex objects permits access to vast amounts of data. In spite of the recent renewed in...
Rocío Romero-Záliz, Cristina Rubio-E...
CADE
2004
Springer
16 years 27 days ago
Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
José Meseguer, Grigore Rosu
ISCA
2012
IEEE
208views Hardware» more  ISCA 2012»
13 years 3 months ago
Harmony: Collection and analysis of parallel block vectors
Efficient execution of well-parallelized applications is central to performance in the multicore era. Program analysis tools support the hardware and software sides of this effor...
Melanie Kambadur, Kui Tang, Martha A. Kim
121
Voted
NFM
2011
223views Formal Methods» more  NFM 2011»
14 years 7 months ago
Generating Data Race Witnesses by an SMT-Based Analysis
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
Mahmoud Said, Chao Wang, Zijiang Yang, Karem Sakal...
70
Voted
VLDB
1992
ACM
120views Database» more  VLDB 1992»
15 years 4 months ago
An Information-Retrieval Approach for Image Databases
The retrieval process in image database systems is inherently different from the retrieval processin traditional (recordoriented)databasesystems.While thelatter canbe consideredan...
Fausto Rabitti, Pasquale Savino