4341 search results - page 756 / 869 » Quantitative Model checking |
101
Voted
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
Today’s shared-memory parallel programming models are complex and error-prone. While many parallel programs are intended to be deterministic, unanticipated thread interleavings ...
127
Voted
BIBM
2008
IEEE
15 years 9 months ago
2008
IEEE
Using microarray technology for genetic analysis in biological experiments requires computationally intensive tools to interpret results. The main objective here is to develop a ...
122
click to vote
DSN
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper introduces SymPLFIED, a program-level framework which allows specification of arbitrary error detectors and the verification of their efficacy against hardware errors. ...
107
Voted
ICEIS
2008
IEEE
15 years 9 months ago
2008
IEEE
The current evolution of Information Technology leads to the increase of automatic data processing over multiple information systems. The data we deal with concerns sensitive infor...
139
Voted
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...