Sciweavers

566 search results - page 83 / 114
» A virtual class calculus
Sort
View
JPDC
2006
156views more  JPDC 2006»
13 years 7 months ago
Grid harvest service: A performance system of grid computing
Conventional performance evaluation mechanisms focus on dedicated systems. Grid computing infrastructure, on the other hand, is a shared collaborative environment constructed on v...
Ming Wu, Xian-He Sun
NGC
2008
Springer
149views Communications» more  NGC 2008»
13 years 7 months ago
A New Type System for JVM Lock Primitives
A bytecode verifier for the Java virtual machine language (JVML) statically checks that bytecode does not cause any fatal error. However, the present verifier does not check correc...
Futoshi Iwama, Naoki Kobayashi
IJAC
2007
64views more  IJAC 2007»
13 years 7 months ago
Star-Free Geodesic Languages for Groups
In this article we show that every group with a finite presentation satisfying one or both of the small cancellation conditions C (1/6) and C (1/4) − T (4) has the property that...
Susan M. Hermiller, Derek F. Holt, Sarah Rees
JPDC
2007
86views more  JPDC 2007»
13 years 7 months ago
Strategies to create platforms for differentiated services from dedicated and opportunistic resources
This paper is proposing a new platform for implementing services in future service oriented architectures. The basic premise of our proposal is that by combining large volume of u...
Shah Asaduzzaman, Muthucumaru Maheswaran
TCSV
2002
81views more  TCSV 2002»
13 years 7 months ago
Image information restoration based on long-range correlation
A new class of image information-restoration algorithms virtually different from traditional techniques are proposed. In comparison with other approaches, our methods not only use ...
Dapeng Zhang, Zhou Wang