34181 search results - page 253 / 6837 » Computer system |
203
click to vote
DSN
2003
IEEE
16 years 21 days ago
2003
IEEE
This paper presents a formal model for asynchronous distributed systems with servers that may exhibit Byzantine faults or crash and subsequently recover. The model is computationa...
187
click to vote
EENERGY
2010
15 years 11 months ago
2010
Information and communication technology (ICT) consumes energy, but is also an important means of conserving energy. Conventionally, it has done so by optimizing the performance o...
189
click to vote
TOPLAS
2008
15 years 7 months ago
2008
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
201
click to vote
EDOC
2005
IEEE
16 years 1 months ago
2005
IEEE
The advent of UML 2.0 has provided a new set of concepts more apt for modeling the structure and behavior of distributed systems. These concepts and mechanisms can be effectively ...
237
click to vote
ICAC
2006
IEEE
16 years 1 months ago
2006
IEEE
Traditional High Performance Computing systems require extensive management and suffer from security and configuration problems. This paper presents a new clustermanagement syste...