760 search results - page 14 / 152 » A visualization system for multithreaded programming |
112
click to vote
SSS
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we concentrate on distributed algorithms for automated synthesis of fault-tolerant programs in the high atomicity model, where all processes can read and write all p...
109
click to vote
FSTTCS
2005
Springer
15 years 7 months ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
246
click to vote
ASPLOS
2009
ACM
16 years 2 months ago
2009
ACM
Although chip-multiprocessors have become the industry standard, developing parallel applications that target them remains a daunting task. Non-determinism, inherent in threaded a...
140
click to vote
SIGADA
1999
Springer
15 years 6 months ago
1999
Springer
This work explores Tcl-Tk 8.0 as a tool to easily build script based GUIs for Ada95 realtime systems. Tcl-Tk 8.0 is a library that makes graphic programming easier, but it suffers...
106
click to vote
IISWC
2008
IEEE
15 years 8 months ago
2008
IEEE
The design and evaluation of microprocessor architectures is a difficult and time-consuming task. Although small, handcoded microbenchmarks can be used to accelerate performance e...