Sciweavers

4400 search results - page 342 / 880
» A proposal for parallel self-adjusting computation
Sort
View
CW
2002
IEEE
15 years 11 months ago
Extensible Requirements Patterns of Web Application for Efficient Web Application Development
Nowadays, web application has been going to be an e-business application. In the e-business environment, reducing time to market is a critical issue. Therefore, web application de...
Romi S. Wahono, Jingde Cheng
CW
2002
IEEE
15 years 11 months ago
A Practical Image Retouching Method
In this paper, we present a novel fast algorithmfor image retouching. A space-mapping technique is used to transform a missing (or damaged) part of a surface into a different shap...
Vladimir V. Savchenko, Nikita Kojekine, Hiroshi Un...
HPCS
2002
IEEE
15 years 11 months ago
CoStore: A Reliable and Highly Available Storage System Using Clusters
The CoStore cluster architecture has been proposed to construct a reliable and highly available storage system. A prototype CoStore has been implemented and its performance has be...
Yong Chen, Lionel M. Ni, Cheng-Zhong Xu, Mingyao Y...
IEEEPACT
2002
IEEE
15 years 11 months ago
Efficient Interconnects for Clustered Microarchitectures
Clustering is an effective microarchitectural technique for reducing the impact of wire delays, the complexity, and the power requirements of microprocessors. In this work, we inv...
Joan-Manuel Parcerisa, Julio Sahuquillo, Antonio G...
IPPS
2002
IEEE
15 years 11 months ago
Program Composition in Isabelle/UNITY
We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Ch...
Sidi O. Ehmety, Lawrence C. Paulson