Sciweavers

6014 search results - page 71 / 1203
» Parametric Analysis of Computer Systems
Sort
View
DC
2010
15 years 2 months ago
A knowledge-based analysis of global function computation
Consider a distributed system N in which each agent has an input value and each communication link has a weight. Given a global function, that is, a function f whose value depends...
Joseph Y. Halpern, Sabina Petride
SAC
2006
ACM
15 years 2 months ago
Combining supervised and unsupervised monitoring for fault detection in distributed computing systems
Fast and accurate fault detection is becoming an essential component of management software for mission critical systems. A good fault detector makes possible to initiate repair a...
Haifeng Chen, Guofei Jiang, Cristian Ungureanu, Ke...
RV
2010
Springer
220views Hardware» more  RV 2010»
15 years 10 days ago
Runtime Verification with the RV System
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
Patrick O'Neil Meredith, Grigore Rosu
CGI
1999
IEEE
15 years 6 months ago
A Shape-Preserving Data Embedding Algorithm for NURBS Curves and Surfaces
Existing data embedding algorithms for polygonal meshes and their attributes can't be applied to the majority of (geometric) computer aided design (CAD) applications, for two...
Ryutarou Ohbuchi, Hiroshi Masuda, Masaki Aono