6014 search results - page 1012 / 1203 » Parametric Analysis of Computer Systems |
131
click to vote
RT
2004
Springer
15 years 9 months ago
2004
Springer
With the advancements in realtime ray tracing and new global illumination algorithms we are now able to render the most important illumination effects at interactive rates. One of...
132
click to vote
VIZSEC
2004
Springer
15 years 9 months ago
2004
Springer
Most visualizations of security-related network data require large amounts of finely detailed, high-dimensional data. However, in some cases, the data available can only be coars...
173
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Accurately modeling object colors, and features in general, plays a critical role in video segmentation and analysis. Commonly used color models, such as global Gaussian mixtures, ...
141
click to vote
SIGECOM
2003
ACM
15 years 9 months ago
2003
ACM
We consider the problem of designing fast and strategyproof exchanges for dynamic resource allocation problems in distributed systems. The exchange is implemented as a sequence of...
122
click to vote
SAC
2010
ACM
15 years 9 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...