6897 search results - page 253 / 1380 » Parallelization of Modular Algorithms |
100
Voted
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields a...
136
click to vote
ERSA
2004
15 years 4 months ago
2004
Abstract-- Technological advances have made FPGAs an attractive platform for the acceleration of complex scientific applications. These applications demand high performance and hig...
91
Voted
ACS
2010
15 years 2 months ago
2010
We explain the precise relationship between two module-theoretic descriptions of sheaves on an involutive quantale, namely the description via so-called Hilbert structures on modu...
109
Voted
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
We present a new set of metrics for analyzing the interaction between the modules of a large software system. We believe that these metrics will be important to any automatic or s...
135
Voted
BPM
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We consider workflow graphs as a model for the control flow of a business process model and study the problem of workflow graph parsing, i.e., finding the structure of a ...