1299 search results - page 145 / 260 » On the Correctness of Operating System Kernels |
139
click to vote
SIES
2007
IEEE
15 years 11 months ago
2007
IEEE
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
157
click to vote
CF
2004
ACM
15 years 10 months ago
2004
ACM
New applications and standards are first conceived only for functional correctness and without concerns for the target architecture. The next challenge is to map them onto an arch...
148
click to vote
DSN
2000
IEEE
15 years 9 months ago
2000
IEEE
Byzantine quorum systems [13] enhance the availability and efficiency of fault-tolerant replicated services when servers may suffer Byzantine failures. An important limitation of...
150
click to vote
SRDS
2008
IEEE
15 years 11 months ago
2008
IEEE
The efficiency of service discovery is critical in the development of fully decentralized middleware intended to manage large scale computational grids. This demand influenced t...
160
click to vote
AHS
2006
IEEE
15 years 10 months ago
2006
IEEE
Space missions often require radiation and extreme-temperature hardened electronics to survive the harsh environments beyond earth’s atmosphere. Traditional approaches to preser...