Advances in Computers, Band 91Academic Press, 17.08.2013 - 240 Seiten Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of sugnificant, lasting value in this rapidly expanding field.
|
Inhalt
1 | |
2 Understanding Application Contentiousness and Sensitivity on Modern Multicores | 59 |
3 An Outlook of High Performance Computing Infrastructures for Scientific Computing | 87 |
4 ModelDriven Engineering of Reliable FaultTolerant SystemsA StateoftheArt Survey | 119 |
207 | |
213 | |
Contents of Volumes in This Series | 217 |
Häufige Begriffe und Wortgruppen
abstract algorithms application approach architecture asynchronous automatically bandwidth benchmarks capture challenge cluster co-runners components Computer Science contention characteristics contentiousness and sensitivity core dependence distributed systems dynamic analysis example exception handling execution fault removal fault-tolerance mechanisms fault-tolerant systems formal Fujaba functional graph high performance IEEE implementation inference input interface language LLC miss rate machines message passing method middleware MOCAS model checking model of system model-based model-based testing Model-Driven Architecture model-driven engineering multicore node Notes in Computer Object Management Group ofthe output parallel computing parallel program platform PMUs predict prefetchers problem processors rCOS real-time reliable replication requirements reuse reverse-engineering runtime Section sensitivity to contention sequence diagrams set of traces shared memory shown in Fig software behavior Software Engineering solution source code specific Springer static analysis survey System domain system semantics techniques temporal logic testing tolerance types variables verification