15840 search results - page 697 / 3168 » The Control of Synchronous Systems |
176
click to vote
ISOLA
2004
Springer
16 years 19 days ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
176
click to vote
ECRTS
2002
IEEE
16 years 7 days ago
2002
IEEE
We consider various techniques for implementing shared objects and for accounting for objectsharing overheads in Pfair-scheduled multiprocessor systems. We primarily focus on the ...
173
click to vote
JPDC
2006
15 years 7 months ago
2006
The vulnerability of computer nodes due to component failures is a critical issue for cluster-based file systems. This paper studies the development and deployment of mirroring in...
200
Voted
MANSCI
2007
15 years 7 months ago
2007
In this paper, a market-based decomposition method for decomposable linear systems is developed. The solution process iterates between a master problem that solves the market-matc...
201
click to vote
TIT
2010
15 years 2 months ago
2010
Totally asynchronous code-division multiple-access (CDMA) systems are addressed. In part I, the fundamental limits of asynchronous CDMA systems were analyzed in terms of total cap...