413 search results - page 26 / 83 » Synthesis of Distributed Algorithms Using Asynchronous Autom... |
83
Voted
ICAC
2005
IEEE
15 years 3 months ago
2005
IEEE
Detection and diagnosis of faults in a large-scale distributed system is a formidable task. Interest in monitoring and using traces of user requests for fault detection has been o...
AIMSA
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Constraint Satisfaction has been widely used to model static combinatorial problems. However, many AI problems are dynamic and take place in a distributed environment, i....
72
Voted
TCS
2002
14 years 9 months ago
2002
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
ISLPED
2004
ACM
15 years 3 months ago
2004
ACM
In this paper we investigate the statistics of multiplier operands and identify two characteristics of their distribution that have important consequences for the design of low po...
68
Voted
CCGRID
2010
IEEE
14 years 10 months ago
2010
IEEE
Finite difference methods continue to provide an important and parallelisable approach to many numerical simulations problems. Iterative multigrid and multilevel algorithms can co...