Sciweavers

4747 search results - page 794 / 950
» Shuffle Memory System
Sort
View
FM
2009
Springer
134views Formal Methods» more  FM 2009»
15 years 4 months ago
Partial Order Reductions Using Compositional Confluence Detection
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
Frédéric Lang, Radu Mateescu
ICDE
2008
IEEE
395views Database» more  ICDE 2008»
17 years 6 months ago
PermJoin: An Efficient Algorithm for Producing Early Results in Multi-join Query Plans
This paper introduces an efficient algorithm for Producing Early Results in Multi-join query plans (PermJoin, for short). While most previous research focuses only on the case of ...
Justin J. Levandoski, Mohamed E. Khalefa, Mohamed ...
ICCV
2009
IEEE
16 years 9 months ago
Radiometric Compensation using Stratified Inverses
Through radiometric compensation, a projector-camera system can project a desired image onto a non-flat and nonwhite surface. This can be achieved by computing the inverse light tr...
Tian-Tsong Ng, Ramanpreet S. Pahwa, Jiamin Bai, To...
CVPR
1998
IEEE
16 years 8 months ago
Video Scene Segmentation via Continuous Video Coherence
In extended video sequences, individual frames are grouped into shots which are defined as a sequence taken by a single camera, and related shots are grouped into scenes which are...
John R. Kender, Boon-Lock Yeo
ICIP
2007
IEEE
16 years 8 months ago
Analysis and Integrated Architecture Design for Overlap Smooth and in-Loop Deblocking Filter in VC-1
Unlike familiar macroblock-based in-loop deblocking filter in H.264, the filters of VC-1 perform all horizontal edges (for in-loop deblocking filtering) or vertical edges (for ove...
Yen-Lin Lee, Truong Nguyen