13489 search results - page 396 / 2698 » Operating System |
153
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
This paper describes RacerX, a static tool that uses flowsensitive, interprocedural analysis to detect both race conditions and deadlocks. It is explicitly designed to find erro...
159
click to vote
FPCA
1995
15 years 10 months ago
1995
We add functional continuations and prompts to a language with an ML-style type system. The operators signi cantly extend and simplify the control operators in SML/NJ, and can be ...
180
click to vote
ICPP
1999
IEEE
15 years 11 months ago
1999
IEEE
On-line transaction processing exhibits poor memory behavior in high-end multiprocessor servers because of complex sharing patterns and substantial interaction between the databas...
149
click to vote
FAST
2003
15 years 8 months ago
2003
We show how untrusted computers can be used to facilitate secure mobile data access. We discuss a novel architecture, data staging, that improves the performance of distributed ...
178
click to vote
ICS
2005
Tsinghua U.
16 years 8 days ago
2005
Tsinghua U.
Parallel I/O needs to keep pace with the demand of high performance computing applications on systems with ever-increasing speed. Exploiting high-end interconnect technologies to ...