1906 search results - page 49 / 382 » Dependable Self-Hosting Distributed Systems Using Constraint... |
128
click to vote
CAP
2010
14 years 9 months ago
2010
We present a parallel algorithm for exact division of sparse distributed polynomials on a multicore processor. This is a problem with significant data dependencies, so our solutio...
MIDDLEWARE
2005
Springer
15 years 7 months ago
2005
Springer
A problem with many distributed applications is their behavior in lieu of unpredictable variations in user request volumes or in available resources. This paper explores a performa...
133
click to vote
ISSTA
1998
ACM
15 years 6 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
113
click to vote
CCGRID
2003
IEEE
15 years 7 months ago
2003
IEEE
Service-based Grid infrastructures emphasize service composition rather than sharing of low level resources. The idea is to build Grid applications out of computational services p...
116
click to vote
COORDINATION
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...