1133 search results - page 73 / 227 » Local Logics for Traces |
69
Voted
ICCCN
1997
IEEE
15 years 5 months ago
1997
IEEE
We present UDP datagram demultiplexing techniques that can yield potentially substantial applicationindependent performance gains over BSD-derived UDP implementations. Our demulti...
104
Voted
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
ICPP
2005
IEEE
15 years 6 months ago
2005
IEEE
Automatic pattern search in event traces is a powerful method to identify performance problems in parallel applications. We demonstrate that knowledge about the virtual topology, ...
94
Voted
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
104
click to vote
HOTOS
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we propose FLUXO, a system that separates an Internet service's logical functionality from the architectural decisions made to support performance, scalability...