Sciweavers

9503 search results - page 358 / 1901
» Authenticated System Calls
Sort
View
CDC
2008
IEEE
109views Control Systems» more  CDC 2008»
15 years 7 months ago
Topological geometry and control for distributed port-Hamiltonian systems with non-integrable structures
Abstract-- This paper discusses topological geometrical aspects and a control strategy for a distributed port-Hamiltonian system with a non-integrable structure called a distribute...
Gou Nishida, Bernhard Maschke, Masaki Yamakita
CORR
2010
Springer
162views Education» more  CORR 2010»
15 years 7 months ago
A distributed file system for a wide-area high performance computing infrastructure
We describe our work in implementing a wide-area distributed file system for the NSF TeraGrid. The system, called XUFS, allows private distributed name spaces to be created for tr...
Edward Walker
CORR
2010
Springer
101views Education» more  CORR 2010»
15 years 7 months ago
Computing the Least Fixed Point of Positive Polynomial Systems
We consider equation systems of the form X1 = f1(X1, . . . , Xn), . . . , Xn = fn(X1, . . . , Xn) where f1, . . . , fn are polynomials with positive real coefficients. In vector fo...
Javier Esparza, Stefan Kiefer, Michael Luttenberge...
CORR
2010
Springer
136views Education» more  CORR 2010»
15 years 7 months ago
Applying Prolog to Develop Distributed Systems
Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. Whil...
Nuno P. Lopes, Juan A. Navarro, Andrey Rybalchenko...
ENTCS
2006
120views more  ENTCS 2006»
15 years 7 months ago
Timers for Distributed Systems
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
Gabriel Ciobanu, Cristian Prisacariu