985 search results - page 93 / 197 » A Caching Model of Operating System Kernel Functionality |
159
click to vote
ICONS
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
129
click to vote
SRDS
1996
IEEE
15 years 9 months ago
1996
IEEE
Wide-area parallel processing systems will soon be available to researchers to solve a range of problems. In these systems, it is certain that host failures and other faults will ...
139
click to vote
AVSS
2006
IEEE
15 years 11 months ago
2006
IEEE
We model the performance of a speaker recognition system used for surveillance to prioritize a large number of candidate speakers in search of a single target speaker. It is assum...
137
click to vote
JSA
2000
15 years 4 months ago
2000
Integrating processors and main memory is a promising approach to increase system performance. Such integration provides very high memory bandwidth that can be exploited efficientl...
155
click to vote
CONCUR
2009
Springer
15 years 2 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...