1222 search results - page 145 / 245 » Verifying a File System Implementation |
145
Voted
MOBIDE
1999
ACM
15 years 7 months ago
1999
ACM
This paper describes the design of a system that significantly improves the performance of telnet data delivery for 3270 and 5250 emulation so that access to legacy applications v...
140
click to vote
ACSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
When an application reads private / sensitive information and subsequently communicates on an output channel such as a public file or a network connection, how can we ensure that ...
113
click to vote
SIGCSE
2008
ACM
15 years 2 months ago
2008
ACM
In this paper we present the design of a modern course in cluster computing and large-scale data processing. The defining differences between this and previously published designs...
151
Voted
HIPC
2007
Springer
15 years 6 months ago
2007
Springer
First Come First Served (FCFS) is a policy that is accepted for implementing fairness in a number of application domains such as scheduling in Operating Systems, scheduling web req...
139
Voted
TIP
2008
15 years 2 months ago
2008
Abstract--In this paper, we analyze the computational challenges in implementing particle filtering, especially to video sequences. Particle filtering is a technique used for filte...