Sciweavers

3104 search results - page 462 / 621
» Using quantitative analysis to implement autonomic IT system...
Sort
View
APN
2007
Springer
15 years 11 months ago
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...
Marco Beccuti, Giuliana Franceschinis, Serge Hadda...
157
Voted
HPDC
2008
IEEE
15 years 4 months ago
Code coverage, performance approximation and automatic recognition of idioms in scientific applications
Basic data flow patterns which we call idioms, such as stream, transpose, reduction, random access and stencil, are common in scientific numerical applications. We hypothesize tha...
Jiahua He, Allan Snavely, Rob F. Van der Wijngaart...
NETWORKING
2007
15 years 6 months ago
On-Line Predictive Load Shedding for Network Monitoring
Building robust network monitoring applications is hard given the unpredictable nature of network traffic. Complex analysis on streaming network data usually leads to overload situ...
Pere Barlet-Ros, Diego Amores-López, Gianlu...
ACIVS
2006
Springer
15 years 10 months ago
Dedicated Hardware for Real-Time Computation of Second-Order Statistical Features for High Resolution Images
We present a novel dedicated hardware system for the extraction of second-order statistical features from high-resolution images. The selected features are based on gray level co-o...
Dimitris G. Bariamis, Dimitrios K. Iakovidis, Dimi...
VR
2007
IEEE
122views Virtual Reality» more  VR 2007»
15 years 11 months ago
Registered, Sensor-Integrated Virtual Reality for Surgical Applications
Image guidance is a technique that often uses virtual reality to provide accurate localization and real-time surgical navigation. Combining image guidance with a biosensor based o...
Brady W. King, Luke A. Reisner, Michael D. Klein, ...