212 search results - page 33 / 43 » Conformance Testing of Distributed Concurrent Systems with E... |
SIGOPSE
1990
ACM
13 years 11 months ago
1990
ACM
u s e s t h e p r i m a r y c o p y r e p l i c a t i o nAbstract technique [1, 26, 27]. In this method, client calls are directed to a single primary server, which communicatesThi...
ERLANG
2004
ACM
14 years 1 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
SIGMETRICS
2011
ACM
12 years 10 months ago
2011
ACM
Software bugs that occur in production are often difficult to reproduce in the lab due to subtle differences in the application environment and nondeterminism. To address this pr...
ASPLOS
2010
ACM
14 years 2 months ago
2010
ACM
Computer systems often fail due to many factors such as software bugs or administrator errors. Diagnosing such production run failures is an important but challenging task since i...
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
Desktop Grids are rapidly gaining popularity as a costeffective computing platform for the execution of applications with extensive computing needs. As opposed to grids and cluste...