698 search results - page 90 / 140 » dagstuhl 2007 |
161
click to vote
DAGSTUHL
2001
15 years 7 months ago
2001
In this paper we present a programmable networking model that provides a common framework for understanding the state-of-the-art in programmable networks. A number of projects are...
161
click to vote
DAGSTUHL
2001
15 years 7 months ago
2001
Ubiquitous computing is a compelling vision for the future that is moving closer to realization at an accelerating pace. The combination of global wireless and wired connectivity a...
152
click to vote
DAGSTUHL
2001
15 years 7 months ago
2001
This paper argues that "formal methods" can (continue to) provide the thinking tools for the future of computing science. Every significant engineering or scientific disc...
203
click to vote
DAGSTUHL
2001
15 years 7 months ago
2001
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...
165
click to vote
DAGSTUHL
2001
15 years 7 months ago
2001
To understand the dynamics of a running program, it is often useful to examine its state at specific moments during its execution. We present memory graphs as a means to capture an...