Sciweavers

11484 search results - page 161 / 2297
» Modeling in the Large and Modeling in the Small
Sort
View
FMCO
2007
Springer
129views Formal Methods» more  FMCO 2007»
16 years 18 days ago
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
Peter Van Roy, Seif Haridi, Alexander Reinefeld, J...
LSSC
2007
Springer
16 years 17 days ago
Parallel Implementation of LQG Balanced Truncation for Large-Scale Systems
Model reduction of large-scale linear time-invariant systems is an ubiquitous task in control and simulation of complex dynamical processes. We discuss how LQG balanced truncation ...
José M. Badía, Peter Benner, Rafael ...
MLG
2007
Springer
16 years 17 days ago
Inferring Vertex Properties from Topology in Large Networks
: Network topology not only tells about tightly-connected “communities,” but also gives cues on more subtle properties of the vertices. We introduce a simple probabilistic late...
Janne Sinkkonen, Janne Aukia, Samuel Kaski
CP
2005
Springer
15 years 12 months ago
Distributed Constraints for Large-Scale Scheduling Problems
Many problems of theoretical and practical interest can be formulated as Constraint Satisfaction Problems (CSPs). The general CSP is known to be NP-complete; however, distributed m...
Montserrat Abril, Miguel A. Salido, Federico Barbe...
PRESENCE
2010
76views more  PRESENCE 2010»
15 years 1 months ago
Modularity for Large Virtual Reality Applications
This paper focuses on the design of high performance VR applications. These applications usually involve various I/O devices and complex simulations. A parallel architecture or gri...
Jérémie Allard, Jean-Denis Lesage, B...