Sciweavers

34202 search results - page 40 / 6841
» The Tera computer system
Sort
View
CDC
2009
IEEE
114views Control Systems» more  CDC 2009»
14 years 12 days ago
A computable type theory for control systems
— In this paper, we develop a theory of computable types suitable for the study of control systems. The theory uses type-two effectivity as the underlying computational model, bu...
Pieter Collins
GCC
2003
Springer
14 years 27 days ago
Research on Security Architecture and Protocols of Grid Computing System
This paper analyzes security problems existing in Grid Computing System and describes the security mechanism in Grid Computing System. After briefly introducing the security abstra...
Xiangming Fang, Shoubao Yang, Leitao Guo, Lei Zhan...
IPPS
2007
IEEE
14 years 2 months ago
A Probabilistic Approach to Measuring Robustness in Computing Systems
System builders are becoming increasingly interested in robust design. We believe that a methodology for generating robustness metrics will help the robust design research efforts...
Behdis Eslamnour, Shoukat Ali