2756 search results - page 323 / 552 » Parallel Mesh Generation |
112
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Several applications of graph rewriting systems (notably, some encodings of calculi with name passing) require rules which, besides deleting and generating graph items, are able to...
138
click to vote
COORDINATION
2006
Springer
15 years 7 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
159
Voted
ESCIENCE
2006
IEEE
15 years 7 months ago
2006
IEEE
As the large volume of resources involved and the power of computational Grids increased, there is a corresponding and urgent need for employ the grid technologies into problem so...
134
click to vote
CONCUR
2000
Springer
15 years 7 months ago
2000
Springer
Unfoldings are a technique for verification of concurrent and distributed systems introduced by McMillan. The method constructs a finite complete prefix, which can be seen as a sym...
132
click to vote
ANSS
1995
IEEE
15 years 6 months ago
1995
IEEE
In this paper we present simulation algorithmsthat characterize the main sources of communication generated by parallel applications under both invalidate and updatebased cache co...