Sciweavers

171 search results - page 27 / 35
» Arithmetic Function Interpreter in C
Sort
View
ICWS
2009
IEEE
15 years 6 months ago
An Approach to Composing Web Services with Context Heterogeneity
The potential benefits of Web services composition heavily rely on semantic interoperability, i.e., the ability to exchange data meaningfully amongst Web services. Context heterog...
Xitong Li, Stuart E. Madnick, Hongwei Zhu 0002, Yu...
ACMMSP
2005
ACM
99views Hardware» more  ACMMSP 2005»
15 years 3 months ago
Gated memory control for memory monitoring, leak detection and garbage collection
ct In the past, program monitoring often operates at the code level, performing checks at function and loop boundaries. Recent research shows that profiling analysis can identify ...
Chen Ding, Chengliang Zhang, Xipeng Shen, Mitsunor...
SPAA
2005
ACM
15 years 3 months ago
Finding effective support-tree preconditioners
In 1995, Gremban, Miller, and Zagha introduced supporttree preconditioners and a parallel algorithm called supporttree conjugate gradient (STCG) for solving linear systems of the ...
Bruce M. Maggs, Gary L. Miller, Ojas Parekh, R. Ra...
100
Voted
ICLP
1999
Springer
15 years 1 months ago
Algebra of Logic Programming
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
Silvija Seres, J. Michael Spivey, C. A. R. Hoare
EMMCVPR
2009
Springer
15 years 1 months ago
Complex Diffusion on Scalar and Vector Valued Image Graphs
Complex diffusion was introduced in the image processing literature as a means to achieve simultaneous denoising and enhancement of scalar valued images. In this paper, we present ...
Dohyung Seo, Baba C. Vemuri