Sciweavers

3616 search results - page 466 / 724
» Conditional Memory Ordering
Sort
View
ICDE
2008
IEEE
113views Database» more  ICDE 2008»
15 years 9 months ago
A rank-rewrite framework for summarizing XML documents
Abstract— With XML becoming a standard for data representation and exchange, we can expect to see large scale repositories and warehouses of XML data. In order for users to under...
Maya Ramanath, Kondreddi Sarath Kumar
ICMCS
2008
IEEE
139views Multimedia» more  ICMCS 2008»
15 years 9 months ago
Low-complexity asymmetric multiview video coding
Multiview video coding (MVC) is currently under development by the Joint Video Team (JVT) as an extension to Advanced Video Coding (H264/AVC). Based on the suppression theory in b...
Ying Chen, Shujie Liu, Ye-Kui Wang, Miska M. Hannu...
131
Voted
IEEEPACT
2008
IEEE
15 years 9 months ago
Mars: a MapReduce framework on graphics processors
We design and implement Mars, a MapReduce framework, on graphics processors (GPUs). MapReduce is a distributed programming framework originally proposed by Google for the ease of ...
Bingsheng He, Wenbin Fang, Qiong Luo, Naga K. Govi...
SCAM
2008
IEEE
15 years 9 months ago
Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
Lei Wang, Qiang Zhang, PengChao Zhao
CGO
2007
IEEE
15 years 9 months ago
Iterative Optimization in the Polyhedral Model: Part I, One-Dimensional Time
Emerging microprocessors offer unprecedented parallel computing capabilities and deeper memory hierarchies, increasing the importance of loop transformations in optimizing compile...
Louis-Noël Pouchet, Cédric Bastoul, Al...