762 search results - page 34 / 153 » Conditionally correct superoptimization |
108
Voted
MFCS
1997
Springer
15 years 6 months ago
1997
Springer
It is important for programs to have modular correctness properties. We look at non-deterministic programs expressed as termrewriting systems which compute normal forms of input t...
128
Voted
CLIMA
2008
15 years 3 months ago
2008
The paper deals with the problem of agents conformance with multiparty protocols. We introduce a notion of conformance of a set of k agents with a multiparty protocol with k roles,...
WSC
2001
15 years 3 months ago
2001
This paper discusses the validity of using common random numbers (CRNs) with two-stage selection procedures to improve the possibility of correct selection and discusses the intri...
115
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
101
Voted
FUIN
2006
15 years 2 months ago
2006
We study concurrent processes modelled as workflow Petri nets extended with resource constraints. We define a behavioural correctness criterion called soundness: given a sufficient...