1404 search results - page 19 / 281 » Increasing Concurrency in Databases Using Program Analysis |
106
click to vote
ICSE
1995
IEEE-ACM
15 years 5 months ago
1995
IEEE-ACM
This paper presents a compact Petri net representation that is e cient to construct for concurrent programs that use explicit tasking and rendezvous style communication. These Pet...
118
click to vote
PPOPP
2009
ACM
16 years 2 months ago
2009
ACM
Understanding why the performance of a multithreaded program does not improve linearly with the number of cores in a sharedmemory node populated with one or more multicore process...
155
Voted
PPOPP
2006
ACM
15 years 7 months ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...
106
click to vote
SEFM
2007
IEEE
15 years 8 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
129
click to vote
SIGCSE
2002
ACM
15 years 1 months ago
2002
ACM
A number of communication libraries have been written to support concurrent programming. For a variety of reasons, these libraries generally are not well-suited for use in undergr...