Sciweavers

2044 search results - page 125 / 409
» System theory for numerical analysis
Sort
View
RECSYS
2009
ACM
15 years 11 months ago
Recommendations with prerequisites
We consider the problem of recommending the best set of k items when there is an inherent ordering between items, expressed as a set of prerequisites (e.g., the course ‘Real Ana...
Aditya G. Parameswaran, Hector Garcia-Molina
119
Voted
SSS
2009
Springer
15 years 11 months ago
Stability of Distributed Algorithms in the Face of Incessant Faults
Abstract. For large distributed systems built from inexpensive components, one expects to see incessant failures. This paper proposes two models for such faults and analyzes two we...
Robert E. Lee DeVille, Sayan Mitra
CDC
2008
IEEE
121views Control Systems» more  CDC 2008»
15 years 11 months ago
Convex relaxations for quadratic distance problems
This paper deals with convex relaxations for quadratic distance problems, a class of optimization problems relevant to several important topics in the analysis and synthesis of ro...
Andrea Garulli, Alfio Masi, Antonio Vicino
CAV
2008
Springer
143views Hardware» more  CAV 2008»
15 years 6 months ago
Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
We show how to view certain subclasses of (single-pushout) graph transformation systems as well-structured transition systems, which leads to decidability of the covering problem v...
Salil Joshi, Barbara König
FAST
2009
15 years 2 months ago
A Performance Evaluation and Examination of Open-Source Erasure Coding Libraries for Storage
Over the past five years, large-scale storage installations have required fault-protection beyond RAID-5, leading to a flurry of research on and development of erasure codes for m...
James S. Plank, Jianqiang Luo, Catherine D. Schuma...