2255 search results - page 370 / 451 » High Assurance Software Systems |
168
click to vote
FAST
2009
15 years 2 months ago
2009
Rapid adoption of virtualization technologies has led to increased utilization of physical resources, which are multiplexed among numerous workloads with varying demands and impor...
154
click to vote
AINTEC
2007
Springer
15 years 10 months ago
2007
Springer
With the tremendous growth of World Wide Web (WWW), the door has been opened to a multitude of services and information for even the most casual of users. Today, many wireless and ...
127
click to vote
IOLTS
2005
IEEE
15 years 10 months ago
2005
IEEE
— In this paper, an innovative self-checking Reed Solomon encoder architecture is described. The presented architecture exploits some properties of the arithmetic operations in G...
148
click to vote
OSDI
2002
ACM
16 years 4 months ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
133
click to vote
EUROSYS
2006
ACM
16 years 1 months ago
2006
ACM
Many stateful services use the replicated state machine approach for high availability. In this approach, a service runs on multiple machines to survive machine failures. This pap...