5326 search results - page 1021 / 1066 » On what we can ensure |
67
Voted
SPAA
2006
ACM
15 years 6 months ago
2006
ACM
This paper investigates time-efficient implementations of atomic read-write registers in message-passing systems where the number of readers can be unbounded. In particular we st...
SIGADA
2005
Springer
15 years 6 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
88
Voted
SC
2004
ACM
15 years 6 months ago
2004
ACM
—It seems well understood that supercomputer simulation is an enabler for scientific discoveries, weapons, and other activities of value to society. It also seems widely believed...
110
click to vote
ICFCA
2004
Springer
15 years 6 months ago
2004
Springer
Lattice diagrams, known as Hasse diagrams, have played an ever increasing role in lattice theory and fields that use lattices as a tool. Initially regarded with suspicion, they no...
73
Voted
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Due to the widespread appearance of filesharing systems like Napster, the peer-to-peer concept has recently become well known. So far, these file-sharing systems have been used fo...