2468 search results - page 442 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
138
click to vote
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
Traditional problem determination techniques rely on static dependency models that are difficult to generate accurately in today’s large, distributed, and dynamic application e...
124
Voted
RTSS
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper, we derive a statistical delay guarantee of the generalized Virtual Clock scheduling algorithm. We define the concept of an equivalent fluid and packet source and pr...
142
Voted
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
Inspired by computational linguistic approaches to annotate the structures that occur in human dialogue, this paper describes a technique which encodes these structures as transfo...
155
click to vote
HOTNETS
2010
14 years 10 months ago
2010
There are a lot of applications that run on modern mobile operating systems. Inevitably, some of these applications fail in the hands of users. Diagnosing a failure to identify the...
120
click to vote
PPSN
1994
Springer
15 years 7 months ago
1994
Springer
The Reproductive Plan Language 2 (RPL2) is an extensible interpreted language for writing and using evolutionary computing programs. It supports arbitrary genetic representations,...