852 search results - page 117 / 171 » entcs 2010 |
129
Voted
ENTCS
2002
15 years 3 months ago
2002
We present a novel technique called comparison checking that helps optimizer writers debug optimizers by testing, for given inputs, that the semantics of a program are not changed...
135
Voted
ENTCS
2002
15 years 3 months ago
2002
When different mathematical models are used for software analysis and development it is important to understand their relationships. When the models are truly mathematical, and wh...
137
Voted
ENTCS
2002
15 years 3 months ago
2002
This paper presents an argumentation based framework to support an agent's deliberation process for drawing conclusions under a given policy. The argumentative policy of the ...
89
Voted
ENTCS
2002
15 years 3 months ago
2002
Building on previous work [15,8], this paper describes two syntactic ways of defining `well-behaved' operational semantics for timed processes. In both cases, the rules are d...
129
Voted
ENTCS
2002
15 years 3 months ago
2002
Despite considerable effort, the state-space explosion problem remains an issue in the analysis of Markov models. Given structure, symbolic representations can result in very comp...