716 search results - page 39 / 144 » time 1997 |
ICALP
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. Milner proposed an axiomatization for the Kleene star in basic process algebra, in the presence of deadlock and empty process, modulo bisimulation equivalence. In this pa...
WSC
1997
15 years 1 months ago
1997
Over time, simulation tools have found use in most manufacturing enterprises. Due to the increased flexibility and openness of the tools available today, simulation can now begin ...
VLSID
1997
IEEE
15 years 4 months ago
1997
IEEE
Integer addition is one of the most important operations in digital computer systems because the performance of processors is significantly influenced by the speed of their adde...
CPE
1997
Springer
15 years 4 months ago
1997
Springer
We consider the problem of storing and searching a large state space obtained from a high-level model such as a queueing network or a Petri net. After reviewing the traditional te...
RECOMB
1997
Springer
15 years 4 months ago
1997
Springer
We present a new polynomial time approximation scheme (PTAS) for tree alignment, which is an important variant of multiple sequence alignment. As in the existing PTASs in the liter...