Sciweavers

4690 search results - page 52 / 938
» An operational semantics for Scheme
Sort
View
SCALESPACE
2009
Springer
14 years 4 months ago
On Semi-implicit Splitting Schemes for the Beltrami Color Flow
The Beltrami flow is an efficient non-linear filter, that was shown to be effective for color image processing. The corresponding anisotropic diffusion operator strongly couple...
Lorina Dascal, Guy Rosman, Xue-Cheng Tai, Ron Kimm...
ENTCS
2007
104views more  ENTCS 2007»
13 years 10 months ago
Amb Breaks Well-Pointedness, Ground Amb Doesn't
McCarthy’s amb operator has no known denotational semantics, and its basic operational properties - the context lemma, the compatibility of refinement similarity and convex bis...
Paul Blain Levy
IPPS
1997
IEEE
14 years 2 months ago
A Reliable Hardware Barrier Synchronization Scheme
Barrier synchronization is a crucial operation for parallel systems. Many schemes have been proposed in the literature to achieve fast barrier synchronization through software, ha...
Rajeev Sivaram, Craig B. Stunkel, Dhabaleswar K. P...
DFG
2004
Springer
14 years 3 months ago
Semantical Integration of Object-Oriented Viewpoint Specification Techniques
Benjamin Braatz, Markus Klein, Gunnar Schröte...
ICSOC
2005
Springer
14 years 3 months ago
Semantic Caching for Web Services
We present a semantic caching scheme suitable for caching responses from Web services on the SOAP protocol level. Existing semantic caching schemes for database systems or Web sour...
Stefan Seltzsam, Roland Holzhauser, Alfons Kemper