1888 search results - page 189 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
153
Voted
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Using a directed acyclic graph (dag) model of algorithms, we solve a problem related to precedenceconstrained multiprocessor schedules for array computations: Given a sequence of ...
137
click to vote
ACMICEC
2008
ACM
15 years 5 months ago
2008
ACM
In this paper, we studied the semantic consistency maintenance issue between heterogeneous contexts, that is, how a firm business process of one e-marketplace can be transformed t...
137
click to vote
FAC
2006
15 years 4 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
131
click to vote
EUROPAR
2007
Springer
15 years 10 months ago
2007
Springer
We describe an approach to automatic parallelisation of programs written in Sieve C++ (Codeplay’s C++ extension), using the Sieve compiler and runtime system. In Sieve C++, the p...
134
click to vote
ENTCS
2006
15 years 4 months ago
2006
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...