10707 search results - page 434 / 2142 » Designing executable abstractions |
165
click to vote
ASPLOS
2011
ACM
14 years 9 months ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...
195
click to vote
ASPLOS
2011
ACM
14 years 9 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
156
click to vote
SAMOS
2009
Springer
16 years 21 days ago
2009
Springer
We believe that future many-core architectures should support a simple and scalable way to execute many threads that are generated by parallel programs. A good candidate to impleme...
148
click to vote
AINA
2008
IEEE
16 years 20 days ago
2008
IEEE
Process management and workflow systems play an important role in the composition of services in business as well as automation environments. Processes are designed using tools a...
291
click to vote
CCGRID
2008
IEEE
16 years 19 days ago
2008
IEEE
Workflow Management System is generally utilized to define, manage and execute workflow applications on Grid resources. However, the increasing scale complexity, heterogeneity and...