6014 search results - page 970 / 1203 » Parametric Analysis of Computer Systems |
136
click to vote
EDOC
2007
IEEE
15 years 11 months ago
2007
IEEE
Dependable software systems are difficult to develop because developers must understand and address several interdependent and pervasive dependability concerns. Features that addr...
150
click to vote
ENC
2007
IEEE
15 years 11 months ago
2007
IEEE
This manuscript proposes a retrieval system for fMRI brain images. Our goal is to find a similaritymetric to enable us to support queries for “similar tasks” for retrieval on...
139
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— Loss networks provide a powerful tool for the analysis and design of many communication and networking systems. It is well known that a large number of loss networks have produ...
128
click to vote
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
Our productivity centered performance tuning framework for HPC applications comprises of three main components: (1) a versatile source code, performance metrics, and performance d...
131
click to vote
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...