337 search results - page 12 / 68 » Parallel Support for Source Code Analysis and Modification |
193
Voted
IPPS
2007
IEEE
16 years 3 days ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
187
click to vote
SCP
2010
15 years 17 days ago
2010
Current software development often relies on non trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such ...
193
click to vote
MICRO
1999
IEEE
15 years 10 months ago
1999
IEEE
Current microprocessors incorporate techniques to exploit instruction-level parallelism (ILP). However, previous work has shown that these ILP techniques are less effective in rem...
140
Voted
ICPP
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes a technique called producer-push that enhances the performance of a page-based software distributed shared memory system. Shared data, in software DSM systems...
179
Voted
ISCA
2012
IEEE
13 years 8 months ago
2012
IEEE
Efficient execution of well-parallelized applications is central to performance in the multicore era. Program analysis tools support the hardware and software sides of this effor...