88 search results - page 1 / 18 » Introduction to the Relationlog System |
DEDUCTIVE
1998
13 years 6 months ago
1998
240
click to vote
Lecture Notes
As the name implies, it is a short introduction about operating system.
Lecture Notes
Comparing systems using measurement, simulation, and queueing models. Common mistakes and how to avoid them, selection of techniques and metrics, art of data presentation, summariz...
RTA
2007
Springer
13 years 11 months ago
2007
Springer
The use of automata techniques to prove the termination of string rewrite systems and left-linear term rewrite systems is advocated by Geser et al. in a recent sequence of papers. ...
FROCOS
2005
Springer
13 years 10 months ago
2005
Springer
