156 search results - page 5 / 32 » Formal Analysis for Debugging and Performance Optimization o... |
PPOPP
2006
ACM
14 years 1 months ago
2006
ACM
In prior work, we have proposed techniques to extend the ease of shared-memory parallel programming to distributed-memory platforms by automatic translation of OpenMP programs to ...
AINA
2008
IEEE
14 years 2 months ago
2008
IEEE
With quick evolution of grid technologies and increasing complexity of e-Science applications, reasoning temporal properties of grid workflows to ensure reliability and trustworth...
MODELS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
ADBIS
2005
Springer
14 years 1 months ago
2005
Springer
We present a formal analysis of the following view-selection problem: Given a set of queries and a database, return definitions of views that, when materialized in the database, w...
EUROPAR
2003
Springer
14 years 23 days ago
2003
Springer
Abstract. Today’s parallel computers with SMP nodes provide both multithreading and message passing as their modes of parallel execution. As a consequence, performance analysis a...