Volume 36; Issue 3

2

Unifying behavioral equivalences of timed transition systems

Année:
2010
Langue:
english
Fichier:
PDF, 362 KB
english, 2010
3

Automaton recognition of doubly connected labyrinths with finite cyclic diameter

Année:
2010
Langue:
english
Fichier:
PDF, 248 KB
english, 2010
4

On one application of computations with oracle

Année:
2010
Langue:
english
Fichier:
PDF, 261 KB
english, 2010
5

Development of the value numbering method

Année:
2010
Langue:
english
Fichier:
PDF, 254 KB
english, 2010
6

Mapping loop nests to multipipelined architecture

Année:
2010
Langue:
english
Fichier:
PDF, 440 KB
english, 2010