5831 search results - page 57 / 1167 » Distributed Dynamic Backtracking |
100
click to vote
FASE
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
107
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Managing the transactions in real time distributed computing system is not easy, as it has heterogeneously networked computers to solve a single problem. If a transaction runs acr...
114
Voted
SASO
2007
IEEE
15 years 5 months ago
2007
IEEE
Grid and ubiquitous computing systems generally consist of a large number of networked nodes with applications implemented as distributed services or processes, respectively. A cr...
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
The saturation strategy for symbolic state-space generation is very effective for globally-asynchronous locally-synchronous discrete-state systems. Its inherently sequential natu...
SC
1993
ACM
15 years 3 months ago
1993
ACM
Vienna Fortran is a machine-independent language extension of Fortran, which is based upon the Single-Program-Multiple-Data SPMD paradigm and allows the user to write programs f...