ESTIMATION DE L'INFLUENCE DES CARACTERISTIQUES DES PROGRAMMES SUR L'EFFICACITE DE LA MULTIPROGRAMMATION DANS LES CALCULATEURSIVNITSKIJ VA; NIKOLAEV VA.1977; PROGRAMMIROVANIE; S.S.S.R.; DA. 1977; NO 5; PP. 91-96; BIBL. 2 REF.Article

LE SEQUENCEUR BIPOLAIRE DE MICROPROGRAMME AM 2909.SPRINGER J.1976; AUTOMAT. INFORMAT. INDUSTR.; FR.; DA. 1976; NO 47; PP. 49-54Article

STRUCTURED IMPLENTATION OF SYMBOLIC EXECUTION. A FIRST PART IN A PROGRAM VERIFIER.GALAND S; LONCOUR G.1975; INFORM. PROCESSG LETTERS; NETHERL.; DA. 1975; VOL. 3; NO 4; PP. 97-103; BIBL. 8 REF.Article

PERCOLATION OF CODE TO ENHANCE PARALLEL DISPATCHING AND EXECUTIONFOSTER CC; RISEMAN EM.1972; I.E.E.E. TRANS. COMPUTERS; U.S.A.; DA. 1972; VOL. 21; NO 12; PP. 1411-1415; BIBL. 8 REF.Serial Issue

PROGRAM DEVELOPMENT AND RUNNING ON HOST/TARGET SYSTEMSARBLASTER A.1981; INT. J. MAN-MACH. STUD.; ISSN 0020-7373; GBR; DA. 1981; VOL. 14; NO 3; PP. 387-394; BIBL. 2 REF.Article

METHODE DE REALISATION DES PROGRAMMES RAMIFIES DANS LES SYSTEMES DE CALCUL HOMOGENES FONCTIONNANT EN REGIME SYNCHRONEDIMITRIEV YU K.1974; VYCHISLIT. SIST.; S.S.S.R.; DA. 1974; NO 60; PP. 103-114; BIBL. 6 REF.Article

A NEW APPROACH TO FUZZY PROGRAMMINGOSTASIEWICZ W.1982; FUZZY SETS SYST.; ISSN 0165-0114; NLD; DA. 1982; VOL. 7; NO 2; PP. 139-152; BIBL. 17 REF.Article

MICROPROGRAMMING: A TOOL FOR VERTICAL MIGRATIONLUQUE E; RIPOLL A.1981; MICROPROCESS. MICROPROGRAM.; ISSN 0165-6074; NLD; DA. 1981; VOL. 8; NO 3-5; PP. 219-228; BIBL. 28 REF.Article

ANALYSE DES STRUCTURES DE PROGRAMMESKAS'YANOV VN.1980; KIBERNETIKA; UKR; DA. 1980; NO 1; PP. 48-61; BIBL. 25 REF.Article

CALCULATOR PROGRAM SPEEDS LAPLACE-TRANSFORM INVERSIONJUREK D.1980; ELECTRON. DESIGN; USA; DA. 1980; VOL. 28; NO 18; PP. 159-161; BIBL. 1 REF.Article

AN ANALYSIS OF CHECKPOINTINGBROCK A.1979; I.C.L. TECH. J.; GBR; DA. 1979; VOL. 1; NO 3; PP. 211-228Article

MODELE MATHEMATIQUE DES COUTS DE SYSTEME DANS LES COMPLEXES DE CALCUL A PLUSIEURS MACHINESGRINSHPAN LA.1978; AVTOMAT. VYCHISLIT. TEKH.; SUN; DA. 1978; NO 4; PP. 76-80; BIBL. 11 REF.Article

APPLICATIONS OF SYMBOLIC EXECUTION TO PROGRAM TESTING.DARRINGER JA; KING JC.1978; COMPUTER; U.S.A.; DA. 1978; VOL. 11; NO 4; PP. 51-60Article

CALCULABILITE DES FONCTIONS DEFINIES RECURSIVES PAR EXECUTION DU PROGRAMME EQUIVALENT A LEURS DEFINITIONSRUSIECKI A.1975; PRACE C.O. P.A.N.; POLSKA; DA. 1975; NO 184; PP. 1-76; ABS. ANGL. RUSSE; BIBL. 1 REF.Article

A NEW APPROACH TO PROGRAM TESTING.KING JC.sdIN: INT. CONF. RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 228-233; BIBL. 8 REF.Conference Paper

COMPUTER PROGRAM SCHEMATA AND THE PROCESSES THEY GENERATEWESSELKAMPER TC.1982; IEEE TRANS. SOFTW. ENG.; ISSN 0098-5589; USA; DA. 1982; VOL. 8; NO 4; PP. 412-419; BIBL. 5 REF.Article

COPYING OPERANDS VERSUS COPYING RESULTS: A SOLUTION TO THE PROBLEM OF LARGE OPERANDS IN FFP'SMAGO G.1981; CONFERENCE ON FUNCTIONAL PROGRAMMING LANGUAGES AND COMPUTER ARCHITECTURE/1981/PORTSMOUTH NH; USA; NEW YORK: ACM; DA. 1981; PP. 93-97; BIBL. 7 REF.Conference Paper

PROCESSOR ALLOCATION IN DATA DRIVEN SYSTEMS - TWO APPROACHESMUNDELL KJ; LINDER MW; CONRY SE et al.1981; INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING/1981/BELLAIRE OH; USA; NEW YORK: INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS; DA. 1981; PP. 156-157; BIBL. 13 REF.Conference Paper

QUALIFIED DATA FLOW PROBLEMSHOLLEY LH; ROSEN BK.1981; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1981; VOL. 7; NO 1; PP. 60-78; BIBL. 23 REF.Article

UTILISATION DES MODULES FONCTIONNELLEMENT EQUIVALENTS POUR L'ELABORATION DES PROGRAMMES POUR LES CALCULATEURS NUMERIQUES DE COMMANDEBERGSON A; RAUD R.1981; PROGRAMMIROVANIE; SUN; DA. 1981; NO 4; PP. 50-56; BIBL. 5 REF.Article

A FORMALISM FOR REASONING ABOUT FAIR TERMINATIONDE ROEVER WP.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981 PUBL. 1982; NO 131; PP. 113-121; BIBL. 13 REF.Conference Paper

SOFTWARE TO ASSIST USERS IN RUNNING PROGRAMSOPENSHAW S.1980; COMPUT. APPL.; ISSN 0308-4221; GBR; DA. 1980; VOL. 7; NO 1-2; PP. 925-935; BIBL. 10 REF.Article

DISPOSITIF POUR L'EXECUTION DES PROCEDURES DE SERVICE DU SYSTEME D'EXPLOITATION D'UN SYSTEME UNIFIE DE CALCULATEURSAGAMIRZYAN IR.1980; PROGRAMMIROVANIE; SUN; DA. 1980; NO 5; PP. 85-87; BIBL. 87 REF.Article

QUESTION DE DETERMINATION DES CARACTERISTIQUES PROBABILISTES DU TEMPS D'EXECUTION DES PROGRAMMES-MACHINESGOLOVKIN BA.1978; UPRAVL. SIST. MACH.; UKR; DA. 1978; NO 6; PP. 57-60; BIBL. 16 REF.Article

METHODES DE PERFECTIONNEMENT DE LA TRANSLABILITE DES PROGRAMMESMRAZ A.1974; INFORM. SYST.; CESKOSL.; DA. 1974; VOL. 3; NO 1; PP. 71-80; ABS. RUSSE ANGL.; BIBL. 12 REF.Article