2180 search results - page 165 / 436 » Performance analysis of concurrent systems with early evalua... |
233
Voted
FORTE
1994
15 years 8 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
164
click to vote
SOSP
2009
ACM
16 years 3 months ago
2009
ACM
Bug reproduction is critically important for diagnosing a production-run failure. Unfortunately, reproducing a concurrency bug on multi-processors (e.g., multi-core) is challengin...
170
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper addresses the problem of reactive power dispatch in a power system partitioned into several areas controlled by different transmission system operators. Previous resear...
150
click to vote
LREC
2010
15 years 8 months ago
2010
In this paper we present a partial dependency parser for Irish, in which Constraint Grammar (CG) rules are used to annotate dependency relations and grammatical functions in unres...
179
Voted
MASCOTS
2007
15 years 8 months ago
2007
—1 End to end QoS of communication systems is essential for users but their performance evaluation is a complex issue. The ion of such systems are usually given by multidimension...