5269 search results - page 176 / 1054 » order 2007 |
131
click to vote
WSC
2007
15 years 6 months ago
2007
In this paper, we investigate results on relationship between different semantics of place/transition Petri nets based on labelled partial orders. We also discuss relationships be...
110
click to vote
WSC
2007
15 years 6 months ago
2007
Lean principles require the identification of an ideal system state along with an associated policy to achieve that state. This paper discusses the use of multi-criteria models in...
115
click to vote
ECIR
2007
Springer
15 years 6 months ago
2007
Springer
This paper addresses the problem of identifying collection dependent stop-words in order to reduce the size of inverted files. We present four methods to automatically recognise s...
123
click to vote
WCET
2007
15 years 5 months ago
2007
We present a method to find static path exclusions in a control flow graph in order to refine the WCET analysis. Using this information, some infeasible paths can be discarded ...
CORR
2007
Springer
15 years 4 months ago
2007
Springer
This paper provides a new, decidable definition of the higher-order recursive path ordering in which type comparisons are made only when needed, therefore eliminating the need for...