5723 search results - page 903 / 1145 » Managing the network |
176
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
193
click to vote
RTAS
1995
IEEE
15 years 10 months ago
1995
IEEE
—Real-time applications typically operate under strict timing and dependability constraints. Although traditional data replication protocols provide fault tolerance, real-time gu...
171
click to vote
SPDP
1991
IEEE
15 years 10 months ago
1991
IEEE
A number of experiments regarding the placement of instructions, private data and shared data in the Non-Uniform-Memory-Access multiprocessor, RP3 has been performed. Three Scient...
183
click to vote
FAST
2008
15 years 9 months ago
2008
Operating system memory managers fail to consider the population of read versus write pages in the buffer pool or outstanding I/O requests when writing dirty pages to disk or netw...
233
click to vote
WSC
2008
15 years 9 months ago
2008
Production development can conflict with production ergonomics and management of environmental impacts. In this paper, we describe how ergonomics can be assessed in production sys...