Sciweavers

34181 search results - page 222 / 6837
» Computer system
Sort
View
GCC
2003
Springer
16 years 14 days ago
Component-Based Middleware Platform for Grid Computing
: In the Grid environment, user can manage and make use of web services, such as uploading or downloading web services. But when user want to download one web services to run it in...
Jianmin Zhu, Rong Chen, Guangnan Ni, Yuan Liu

Book
391views
17 years 5 months ago
Build a Computer from Scratch
"In this article series you will be shown how to build a computer system. This article series will cover how to select and install everything such as the case, motherboard, vi...
Jeff Heaton
PDCAT
2004
Springer
16 years 18 days ago
Locabus: A Kernel to Kernel Communication Channel for Cluster Computing
Abstract. This paper proposes a kernel to kernel communication system for use in cluster computers. It is implemented directly on the Ethernet data link layer. This allows use of E...
Paul Werstein, Mark Pethick, Zhiyi Huang
LFCS
2009
Springer
16 years 1 months ago
The Logic of Proofs as a Foundation for Certifying Mobile Computation
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
Eduardo Bonelli, Federico Feller