3436 search results - page 413 / 688 » Software Tools for Performance Modeling of Parallel Programs |
120
Voted
KBSE
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
102
click to vote
AADEBUG
1997
Springer
15 years 6 months ago
1997
Springer
Currently, few tools are available for assisting developers with debugging intelligent systems. Because these systems rely heavily on context dependent knowledge and sometimes sto...
102
click to vote
SIGSOFT
2010
ACM
15 years 10 days ago
2010
ACM
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
129
Voted
ICMT
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Graph transformation has a well-established theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and t...
106
click to vote
ISCA
1997
IEEE
15 years 6 months ago
1997
IEEE
Current microprocessors aggressively exploit instructionlevel parallelism (ILP) through techniques such as multiple issue, dynamic scheduling, and non-blocking reads. Recent work ...