18209 search results - page 3601 / 3642 » Some Remarks on the Paper |
FM
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
GECCO
2009
Springer
13 years 6 months ago
2009
Springer
Simultaneous Multithreading (SMT) is a technology aimed at improving the throughput of the processor core by applying Instruction Level Parallelism (ILP) and Thread Level Parallel...
GI
2009
Springer
13 years 6 months ago
2009
Springer
: Statistics and estimation theory is enriched with techniques derived from differential geometry. This establishes the increasing topic of information geometry. This allows new in...
HIPC
2009
Springer
13 years 6 months ago
2009
Springer
Large scale compute clusters continue to grow to ever-increasing proportions. However, as clusters and applications continue to grow, the Mean Time Between Failures (MTBF) has redu...
HIPC
2009
Springer
13 years 6 months ago
2009
Springer
Traditional performance analysis techniques are performed after a parallel program has completed. In this paper, we describe an online method for continuously monitoring the perfor...