Sciweavers

2853 search results - page 57 / 571
» On Coherence in Computer Algebra
Sort
View
IPPS
2003
IEEE
14 years 2 months ago
Model Checking a Cache Coherence Protocol for a Java DSM Implementation
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald...
NPAR
2010
ACM
14 years 2 months ago
Self-similar texture for coherent line stylization
Stylized line rendering for animation has traditionally traded-off between two undesirable artifacts: stroke texture sliding and stroke texture stretching. This paper proposes a n...
Pierre Bénard, Forrester Cole, Aleksey Golo...
ICDCS
1997
IEEE
14 years 1 months ago
Fragment Reconstruction: Providing Global Cache Coherence in a Transactional Storage System
Cooperative caching is a promising technique to avoid the increasingly formidable disk bottleneck problem in distributed storage systems; it reduces the number of disk accesses by...
Atul Adya, Miguel Castro, Barbara Liskov, Umesh Ma...
BMVC
2010
13 years 7 months ago
Motion Coherent Tracking with Multi-label MRF optimization
We present a novel off-line algorithm for target segmentation and tracking in video. In our approach, video data is represented by a multi-label Markov Random Field model, and seg...
David Tsai, Matthew Flagg, James M. Rehg
CGF
2010
109views more  CGF 2010»
13 years 3 months ago
Time-Dependent 2-D Vector Field Topology: An Approach Inspired by Lagrangian Coherent Structures
This paper presents an approach to a time-dependent variant of the concept of vector field topology for 2-D vector fields. Vector field topology is defined for steady vector field...
Filip Sadlo, Daniel Weiskopf