3436 search results - page 333 / 688 » Software Tools for Performance Modeling of Parallel Programs |
132
Voted
SPRINGSIM
2010
15 years 1 months ago
2010
This paper presents how the DUP System, a straightforward POSIX-compatible framework that enables programminglanguage-agnostic parallel and distributed stream processing, can be u...
133
click to vote
AMOST
2007
ACM
15 years 7 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
115
click to vote
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Web macros give web browser users ways to "program" tedious tasks, allowing those tasks to be repeated more quickly and reliably than when performed by hand. Web macros ...
145
click to vote
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
129
click to vote
COMPUTER
1998
15 years 2 months ago
1998
provide tools or abstractions that allow developers to program in parallel. But what hardware do we need to support shared memory threads? The hardware should provide a well-defin...