5481 search results - page 326 / 1097 » Application Analysis for Parallel Processing |
143
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
193
click to vote
ECOWS
2009
Springer
15 years 10 months ago
2009
Springer
The Windows Workflow Foundation (WF) has been introduced as part of the .NET framework as a means of creating workflow-centric applications. Its intended field of application is br...
170
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Computer-assisted reading and analysis of text has applications in the humanities and social sciences. Ever-larger electronic text archives have the advantage of allowing a more c...
171
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
HadoopDB is a hybrid of MapReduce and DBMS technologies, designed to meet the growing demand of analyzing massive datasets on very large clusters of machines. Our previous work ha...
171
click to vote
SC
2004
ACM
16 years 5 days ago
2004
ACM
There exist many application classes for which the users have significant flexibility in the quality of output they desire. At the same time, there are other constraints, such a...