80 search results - page 6 / 16 » Runtime Checking of Multithreaded Applications with Visual T... |
SAMOS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract—In this paper we present a Multithreaded programming methodology for multi-core systems that utilizes DataFlow concurrency. The programmer augments the program with macr...
ASPDAC
2008
ACM
13 years 10 months ago
2008
ACM
The information about the run-time behavior of software applications is crucial for enabling system level optimizations for embedded systems. This embedded Software Metadata inform...
HPDC
1998
IEEE
14 years 29 days ago
1998
IEEE
This paper introduces Strings, a high performance distributed shared memory system designed for clusters of symmetrical multiprocessors (SMPs). The distinguishing feature of this ...
ISORC
1998
IEEE
14 years 29 days ago
1998
IEEE
Traditionally transactions have been singlethreaded. In such an environment the thread terminating the transaction is, by definition, the thread which performed the work. Therefor...
FMICS
2009
Springer
14 years 18 days ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...