748 search results - page 67 / 150 » concurrency 2008 |
160
click to vote
SNPD
2008
15 years 7 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...
178
click to vote
TOPNOC
2008
15 years 6 months ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
159
click to vote
TSE
2002
15 years 6 months ago
2002
The Inequality Necessary Condition Analyzer (INCA) is a finite-state verification tool that has been able to check properties of some very large concurrent systems. INCA checks a p...
180
click to vote
CONCURRENCY
2010
15 years 4 months ago
2010
SCALASCA is a performance toolset that has been specifically designed to analyze parallel application execution behavior on large-scale systems. It offers an incremental performan...
156
click to vote
TSMC
1998
15 years 6 months ago
1998
— This paper is concerned with the analytical modeling of computer architectures to aid in the design of high-level language-directed computer architectures. High-level language-...