2943 search results - page 222 / 589 » Software Implementation of Synchronous Programs |
119
Voted
IEEEPACT
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents and characterizes the Princeton Application Repository for Shared-Memory Computers (PARSEC), a benchmark suite for studies of Chip-Multiprocessors (CMPs). Prev...
149
Voted
DAC
2009
ACM
15 years 7 months ago
2009
ACM
Traditional debug methodologies are limited in their ability to provide debugging support for many-core parallel programming. Synchronization problems or bugs due to race conditio...
130
Voted
WICSA
2004
15 years 4 months ago
2004
Software architecture descriptions can play a wide variety of roles in the software lifecycle, from requirements specification, to logical design, to implementation architectures....
132
Voted
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
142
Voted
SEFM
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper we present ¼heckmate, a generic static analyzer of Java multithreaded programs based on the interpretation theory. It supports all the most relevant features of J...