Sciweavers

2446 search results - page 100 / 490
» Principles of dataspace systems
Sort
View
ECBS
2008
IEEE
170views Hardware» more  ECBS 2008»
13 years 11 months ago
A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile Toolkit
A discrete control system, with stringent hardware constraints, is effectively an embedded real-time system and hence requires a rigorous methodology to develop the software invol...
Lucas Cordeiro, Carlos Mar, Eduardo Valentin, Fabi...
AUTOMATICA
2008
118views more  AUTOMATICA 2008»
13 years 10 months ago
Root-mean-square gains of switched linear systems: A variational approach
We consider the problem of computing the root-mean-square (RMS) gain of switched linear systems. We develop a new approach which is based on an attempt to characterize the "w...
Michael Margaliot, João Pedro Hespanha
CORR
2010
Springer
162views Education» more  CORR 2010»
13 years 10 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
ENTCS
2010
130views more  ENTCS 2010»
13 years 10 months ago
Compositional System Security with Interface-Confined Adversaries
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
Deepak Garg, Jason Franklin, Dilsun Kirli Kaynar, ...
IJON
2002
65views more  IJON 2002»
13 years 10 months ago
A general framework for neurobiological modeling: an application to the vestibular system
The otolith organs in the vestibular system are excellent detectors of linear accelerations. However, any measurement of linear acceleration is ambiguous between a tilt in a gravi...
Chris Eliasmith, M. Brandon Westover, Charles H. A...