16 search results - page 1 / 4 » Generating Well-Synchronized Multithreaded Programs from Sof... |
WICSA
2004
13 years 5 months ago
2004
COORDINATION
2005
Springer
13 years 10 months ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
CASES
2007
ACM
13 years 8 months ago
2007
ACM
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...
DAC
1998
ACM
14 years 5 months ago
1998
ACM
We present a Petri net theoretic approach to the software synthesis problem that can synthesize ordinary C programs from processbased concurrent specifications without the need for...
SAMOS
2005
Springer
13 years 10 months ago
2005
Springer
—We describe the generation of the simulation environment for the Sandbridge Sandblaster multithreaded processor. The processor model is described using the Sandblaster architect...