4520 search results - page 286 / 904 » Algebraic Techniques for Timed Systems |
193
click to vote
ICPADS
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper, we propose a novel deadlock resolution algorithm. In the presence of global deadlocks in a multidatabase system, this algorithm always selects an optimal set of vic...
176
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Feedback control laws have been traditionally treated as periodic tasks when implemented on digital platforms. However, the growing complexity of systems calls for efficient i...
175
click to vote
ICA3PP
2005
Springer
16 years 28 days ago
2005
Springer
Abstract— Large scale distributed computing infrastructure captures the use of high number of nodes, poor communication performance and continously varying resources that are not...
164
click to vote
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
For many storage providers, the cost of providing service calls exceeds the costs of the hardware being serviced. In this paper, we show that zeromaintenance, small disk arrays ar...
222
click to vote
PPAM
2007
Springer
16 years 1 months ago
2007
Springer
Lattice-Boltzmann (LB) methods are a well-known technique in the context of computational fluid dynamics. By nature, they can easily be parallelized but their adaptation to the Gr...