5149 search results - page 605 / 1030 » Timed Asynchronous Distributed Systems |
146
click to vote
CONCUR
2000
Springer
15 years 8 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...
149
Voted
SRDS
2003
IEEE
15 years 10 months ago
2003
IEEE
Many mathematical models have been proposed to evaluate the execution performance of an application with and without checkpointing in the presence of failures. They assume that th...
137
click to vote
CCGRID
2009
IEEE
15 years 11 months ago
2009
IEEE
— As the scale and complexity of parallel systems continue to grow, failures become more and more an inevitable fact for solving large-scale applications. In this research, we pr...
158
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
Battery lifetime, a primary design constraint for mobile embedded systems, has been shown to depend heavily on the load current profile. This paper explores how scheduling guidel...
141
click to vote
CCGRID
2005
IEEE
15 years 10 months ago
2005
IEEE
Connected world-widely distributed computers and data systems establish a global source of processing power and data, called a grid. Key properties of a grid are the fact that com...