5604 search results - page 172 / 1121 » Becoming Increasingly Reliable |
163
click to vote
ASSETS
2006
ACM
16 years 14 days ago
2006
ACM
Wireless headsets are a great asset to Vision Impaired Persons (VIP’s) as they prove to be much easier to use and reliable than wired equivalents. Radio based wireless headsets ...
186
click to vote
PLDI
2006
ACM
16 years 13 days ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
168
click to vote
FASE
2005
Springer
16 years 11 hour ago
2005
Springer
In situations in which developers are not familiar with a system or its documentation is inadequate, the system’s source code becomes the only reliable source of information. Unf...
193
click to vote
ICCS
2005
Springer
16 years 2 hour ago
2005
Springer
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...
177
click to vote
CF
2004
ACM
15 years 12 months ago
2004
ACM
This paper presents a fault tolerant design technique for the clockless wave pipeline. The specific architectural model investigated in this paper is the two-phase clockless asyn...