762 search results - page 34 / 153 » Conditionally correct superoptimization |
98
Voted
MFCS
1997
Springer
15 years 4 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...
116
click to vote
CLIMA
2008
15 years 1 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,...
75
Voted
WSC
2001
15 years 1 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...
99
Voted
CORR
2010
Springer
15 years 16 days 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...
85
Voted
FUIN
2006
15 years 14 days 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...