Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("MISRA, J")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 108

  • Page / 5
Export

Selection :

  • and

SOME ASPECTS OF THE VERIFICATION OF LOOP COMPUTATIONSMISRA J.1978; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1978; VOL. 4; NO 6; PP. 478-486; BIBL. 25 REF.Article

A TECHNIQUE OF ALGORITHM CONSTRUCTION ON SEQUENCES.MISRA J.1978; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1978; VOL. 4; NO 1; PP. 65-69; BIBL. 9 REF.Article

PROSPECTS AND LIMITATIONS OF AUTOMATIC ASSERTION GENERATION FOR LOOP PROGRAMS.MISRA J.1977; S.I.A.M. J. COMPUTG; U.S.A.; DA. 1977; VOL. 6; NO 4; PP. 718-729; BIBL. 10 REF.Article

Teaching stratification : Stimulating interest and critical thinking through research projects = Enseigner la stratification : stimuler l'intérêt et la pensée critique au travers de projets de rechercheMISRA, J.Teaching sociology. 1997, Vol 25, Num 4, pp 278-291, issn 0092-055XArticle

SPECIFICATION, SYNTHESIS, VERIFICATION AND PERFORMANCE ANALYSIS OF DISTRIBUTED PROGRAMS. A CASE STUDY: DISTRIBUTED SIMULATIONCHANDY KM; MISRA J.1980; SEMINAIRE SUR LES SYSTEMES REPARTIS A PARTAGE DE DONNEES/1979/AIX-EN-PROVENCE; FRA; ROCQUENCOURT: INRIA; DA. 1980; VOL. 1; PP. 41-112; BIBL. 16 REF.Conference Paper

AN AXIOMATIC PROOF TECHNIQUE FOR NETWORKS OF COMMUNICATING PROCESSESCHANDY KM; MISRA J.1980; SEMINAIRE SUR LES SYSTEMES REPARTIS A PARTAGE DE DONNEES/1979/AIX-EN-PROVENCE; FRA; ROCQUENCOURT: INRIA; DA. 1980; VOL. 1; PP. 113-127; BIBL. 5 REF.Conference Paper

DEADLOCK ABSENCE PROOFS FOR NETWORKS OF COMMUNICATING PROCESSESCHANDY KM; MISRA J.1979; INFORM. PROCESSG LETTERS; NLD; DA. 1979; VOL. 9; NO 4; PP. 185-189; BIBL. 6 REF.Article

OPTIMAL CHAIN PARTITION OF TREES.MISRA J; TARJAN RE.1975; INFORM. PROCESSG LETTERS; NETHERL.; DA. 1975; VOL. 4; NO 1; PP. 24-26; BIBL. 6 REF.Article

A SIMPLE MODEL OF DISTRIBUTED PROGRAMS BASED ON IMPLEMENTATION-HIDING AND PROCESS AUTONOMYCHANDY KM; MISRA J.1980; SIGPLAN NOT.; USA; DA. 1980; VOL. 15; NO 7-8; PP. 26-35; BIBL. 6 REF.Article

A NONTRIVIAL EXAMPLE OF CONCURRENT PROCESSING: DISTRIBUTED SIMULATIONCHANDY KM; MISRA J.1978; COMPSAC 78. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 2/1978-11-13/CHICAGO; USA; NEW YORK: IEEE; DA. 1978; 822-826; BIBL. 5 REF.Conference Paper

Axioms for memory access in asynchronous hardware systemsMISRA, J.ACM transactions on programming languages and systems. 1986, Vol 8, Num 1, pp 142-153, issn 0164-0925Article

TERMINATION DETECTION OF DIFFUSING COMPUTATIONS IN COMMUNICATING SEQUENTIAL PROCESSESMISRA J; CHANDY KM.1982; ACM TRANS. PROGRAM. LANG. SYST.; ISSN 0164-0925; USA; DA. 1982; VOL. 4; NO 1; PP. 37-43; BIBL. 6 REF.Article

DISTRIBUTED COMPUTATION ON GRAPHS: SHORTEST PATH ALGORITHMSCHANDY KM; MISRA J.1982; COMMUNICATIONS OF THE A.C.M.; ISSN 0001-0782; USA; DA. 1982; VOL. 25; NO 11; PP. 833-837; BIBL. 2 REF.Article

ASYNCHRONOUS DISTRIBUTED SIMULATION VIA A SEQUENCE OF PARALLEL COMPUTATIONSCHANDY KM; MISRA J.1981; COMMUN. ACM; ISSN 0001-0782; USA; DA. 1981; VOL. 24; NO 4; PP. 198-206; BIBL. 15 REF.Conference Paper

A LINEAR TREE PARTITIONING ALGORITHM.KUNDU S; MISRA J.1977; S.I.A.M. J. COMPTG; U.S.A.; DA. 1977; VOL. 6; NO 1; PP. 151-154; BIBL. 7 REF.Article

The mass class and teaching assistants : A case for discussion exercises : Teaching and curriculum = La classe nombreuse et les assistants enseignants : un cas pour les sessions de discussion : Programme et enseignementKARIDES, M; MISRA, J.The American sociologist. 1999, Vol 30, Num 4, pp 72-85, issn 0003-1232Article

Dynamics of buried seed population and seedling cohorts of two dominant weeds in a hill agroecosystem of the humid subtropics of IndiaMISRA, J; PANDEY, H. N; TRIPATHI, R. S et al.Researches on population ecology. 1995, Vol 37, Num 1, pp 1-7, issn 0034-5466Article

The programmatic emergence of the social security stateHICKS, A; MISRA, J; TANG NAH NG et al.American sociological review. 1995, Vol 60, Num 3, pp 329-349, issn 0003-1224Article

The drinking philosophers problemCHANDY, K. M; MISRA, J.ACM transactions on programming languages and systems. 1984, Vol 6, Num 4, pp 632-646, issn 0164-0925Article

An experimental study on the charging of non-radioactive aerosols with and without the presence of gamma radiationSUBRAMANIAN, V; KUMAR, Amit; BASKARAN, R et al.Journal of aerosol science. 2012, Vol 52, pp 98-108, issn 0021-8502, 11 p.Article

Atmospheric lead pollution from vehicular emissions : Measurements in plants, soil and milk samplesSINGH, N; PANDEY, V; MISRA, J et al.Environmental monitoring and assessment. 1997, Vol 45, Num 1, pp 9-19, issn 0167-6369Article

Monitoring of auto exhaust pollution by roadside plantsSINGH, N; YUNUS, M; SRIVASTAVA, K et al.Environmental monitoring and assessment. 1995, Vol 34, Num 1, pp 13-25, issn 0167-6369Article

Transfer experiment study on two winter annuals around a coal-fired power plantPANDEY, V; MISRA, J; SINGH, N et al.Bulletin of environmental contamination and toxicology. 1994, Vol 53, Num 4, pp 528-535, issn 0007-4861Article

Examining the concept of gender role ideology : Women in traditional Jewish worshipLEGGE, J. S; MISRA, J.Contemporary Jewry. 1998, Vol 19, pp 95-119, issn 0147-1694Article

Viable buried weed seed population and weed infestation as influenced by farmyard manure application in hill agroecosystems of MeghalayaSAHOO, U. K; TRIPATHI, R. S; PANDEY, H. N et al.Journal of the Indian Botanical Society. 1995, Vol 74, Num 1-4, pp 213-219, issn 0019-4468Article

  • Page / 5