3616 search results - page 350 / 724 » Conditional Memory Ordering |
226
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
Query processing over graph-structured data is enjoying a growing number of applications. Keyword search on a graph finds a set of answers, each of which is a substructure of the ...
140
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inļ¬...
128
click to vote
DSD
2009
IEEE
15 years 11 months ago
2009
IEEE
āThe 2D Discrete Wavelet Transform (DWT) is a time-consuming kernel in many multimedia applications such as JPEG2000 and MPEG-4. The 2D DWT consists of horizontal ļ¬ltering alon...
132
click to vote
ICDM
2009
IEEE
15 years 11 months ago
2009
IEEE
āTime series motifs are sets of very similar subsequences of a long time series. They are of interest in their own right, and are also used as inputs in several higher-level data...
157
click to vote
ICCS
2009
Springer
15 years 11 months ago
2009
Springer
Irregular and sparse scientiļ¬c computing programs frequently experience performance losses due to ineļ¬cient use of the memory system in most machines. Previous work has shown t...