291 research outputs found
OPEN/CAESAR : an open software architecture for verification, simulation and testing
Theme 1 - Reseaux et systemes. Projet VASYAvailable from INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1998 n.3352 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc
Variational approach of a magnetic shaping problem
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 n.1352 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Document description language INTERPRESS
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 F, issue : a.1990 n.120 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Elimination of redundancy from functions defined by schemes
Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1991 n.1429 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
On infinite loops in logic programming
SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
On random walks arising in queing systems: ergodicity and transience via quadratic forms as Lyapounov functions. Part 1
SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
GOTHIC memory management : a multiprocessor shared single level store
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 n.1202 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Conditional rewrite rules as an algebraic semantics of processes
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1990 n.1226 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Enumeration of bordered words
SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
A simple taxonomy for distributed mutual exclusion algorithms
Parution du meme article dans deux fascicules differents : n 1343 en decembre 1990 et n 1362 en 1991SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1991 n.1362; 14802 E, issue : a.1990 n.1343 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
- …