51 search results - page 3 / 11 » fuin 2007 |
FUIN
2007
13 years 5 months ago
2007
Concurrent runs reveal more insight into distributed systems than interleaved runs. This is shown by help of Dijkstra’s paradigm of five philosophers.
FUIN
2007
13 years 5 months ago
2007
The paper is devoted to characterizing hybrid systems by specifying their possible runs, called processes, where each process is represented by a pomset in an intrinsic, global tim...
FUIN
2007
13 years 5 months ago
2007
We show how properties of an interesting class of imperative programs can be calculated by means of relational modeling and symbolic computation. The ideas of [5, 26] are implement...
FUIN
2007
13 years 5 months ago
2007
Using 1947 work of Post showing that the word problem for semigroups is unsolvable, we explicitly exhibit an algebraic characterization of the bits of the halting probability Ω....
FUIN
2007
13 years 5 months ago
2007
Reachability analysis for timed automata using SAT-based methods was considered in many papers, occurring to be a very efficient model checking technique. In this paper we show ho...