Sciweavers

19832 search results - page 3531 / 3967
» The Korrontea Data Modeling
Sort
View
WFLP
2000
Springer
124views Algorithms» more  WFLP 2000»
15 years 10 months ago
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
Elvira Albert, Sergio Antoy, Germán Vidal
ICIP
1995
IEEE
15 years 10 months ago
A harmonic retrieval framework for discontinuous motion estimation
Abstract— Motion discontinuities arise when there are occlusions or multiple moving objects in the scene that is imaged. Conventional regularization techniques use smoothness con...
Wei-Ge Chen, Georgios B. Giannakis, N. Nandhakumar
ICMCS
1995
IEEE
157views Multimedia» more  ICMCS 1995»
15 years 10 months ago
A Scalable Video-on-Demand Service for the Provision of VCR-Like Functions
– One approach to supporting continuous media traffic is via resource reservation at connection establishment time. The shortcomings of this approach are the lack of flexibility...
Huang-Jen Chen, A. Krishnamurthy, Thomas D. C. Lit...
PPOPP
1995
ACM
15 years 10 months ago
Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation
Low-overhead message passing is critical to the performance of many applications. Active Messages[27] reduce the software overhead for message handling: messages are run as handle...
Deborah A. Wallach, Wilson C. Hsieh, Kirk L. Johns...
SC
1991
ACM
15 years 10 months ago
Delayed consistency and its effects on the miss rate of parallel programs
In cache based multiprocessors a protocol must maintain coherence among replicated copies of shared writable data. In delayed consistency protocols the effect of out-going and in-...
Michel Dubois, Jin-Chin Wang, Luiz André Ba...
« Prev « First page 3531 / 3967 Last » Next »