Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Appel procédure")

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

Language

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 522

  • Page / 21
Export

Selection :

  • and

Atomic remote procedure callKWEI-JAY LIN; GANNON, J. D.IEEE transactions on software engineering. 1985, Vol 11, Num 10, pp 1126-1135, issn 0098-5589Article

Experience with remote procedure calls in a real-time control systemCARPENTER, B. E; CAILLIAU, R.Software, practice & experience. 1984, Vol 14, Num 9, pp 901-907, issn 0038-0644Article

The design and implementation of a distributed program monitorZHOU, W.The Journal of systems and software. 1993, Vol 22, Num 1, pp 63-77, issn 0164-1212Article

A general proof rule for procedures in predicate transformer semanticsMARTIN, A. J.Acta informatica. 1983, Vol 20, Num 4, pp 301-313, issn 0001-5903Article

Distributed diagnosis under global consistencySU, R; WONHAM, W. M.IEEE Conference on Decision and Control. 2004, isbn 0-7803-8682-5, Vol 1, 525-530Conference Paper

Equivalence of the Gries and Martin proof rules for procedure callsBIJLSMA, A; WILTINK, J. G; MATTHEWS, P. A et al.Acta informatica. 1986, Vol 23, Num 4, pp 357-360, issn 0001-5903Article

Why do so few patients appeal against detention under section 2 of the mental health act ?BRADLEY, C; MARSHALL, M; GATH, D et al.BMJ. British medical journal (International ed.). 1995, Vol 310, Num 6976, pp 364-367, issn 0959-8146Article

Le service d'appel de procédure distante Girolle = The Girolle remote procedure call serviceSHAPIRO, M.TSI. Technique et science informatiques. 1984, Vol 3, Num 6, pp 435-442, issn 0752-4072Article

Strategies for managing the register file in RISCTAMIR, Y; SEQUIN, C. H.IEEE transactions on computers. 1983, Vol 32, Num 11, pp 977-989, issn 0018-9340Article

Accurate program analyses for successful specialization of legacy system softwareMULLER, Gilles; MARLET, Renaud; VOLANSCHI, Eugen-Nicolae et al.Theoretical computer science. 2000, Vol 248, Num 1-2, pp 201-210, issn 0304-3975Article

SUPRA-RPC: SUbprogram PaRAmeters in remote procedure callsSTOYENKO, A. D.Software, practice & experience. 1994, Vol 24, Num 1, pp 27-49, issn 0038-0644Article

RPC under fireVINOSKI, Steve.IEEE internet computing. 2005, Vol 9, Num 5, pp 93-95, issn 1089-7801, 3 p.Article

Edmas: an object-oriented, locally distributed mail systemALMES, G. T; HOLMAN, C. L.IEEE transactions on software engineering. 1987, Vol 13, Num 9, pp 1001-1009, issn 0098-5589Article

Replicated procedure callCOOPER, E. C.Operating systems review. 1986, Vol 20, Num 1, pp 44-56, issn 0163-5980Article

ICARUS ― ein System zur nicht-lokalen Prozedurausführung = ICARUS. Un système pour des appels de procédure à distance = ICARUS. A system for remote procedure callsTEUFEL, B.Angewandte Informatik. 1985, Num 7, pp 291-295, issn 0013-5704Article

Nested Quantification in Graph Transformation RulesRENSINK, Arend.Lecture notes in computer science. 2006, pp 1-13, issn 0302-9743, isbn 3-540-38870-2, 1Vol, 13 p.Conference Paper

Generalised Kernel sets for inverse entailmentRAY, Oliver; BRODA, Krysia; RUSSO, Alessandra et al.Lecture notes in computer science. 2004, pp 165-179, issn 0302-9743, isbn 3-540-22671-0, 15 p.Conference Paper

Inner rectangular drawings of plane graphsMIURA, Kazuyuki; HAGA, Hiroki; NISHIZEKI, Takao et al.Lecture notes in computer science. 2004, pp 693-704, issn 0302-9743, isbn 3-540-24131-0, 12 p.Conference Paper

Overview of GridRPC: A remote procedure call API for grid computingSEYMOUR, Keith; NAKADA, Hidemoto; MATSUOKA, Satoshi et al.Lecture notes in computer science. 2002, pp 274-278, issn 0302-9743, isbn 3-540-00133-6, 5 p.Conference Paper

GRPC: A communication cooperation mechanism in distributed systemsXINGWEI WANG; HONG ZHAO; JIAKENG ZHU et al.Operating systems review. 1993, Vol 27, Num 3, pp 75-86, issn 0163-5980Article

A sharp proof rule for procedures in wp semanticsBIJLSMA, A; MATTHEWS, P. A; WILTINK, J. G et al.Acta informatica. 1989, Vol 26, Num 5, pp 409-419, issn 0001-5903Article

Program parallelization with interprocedural analysisZHIYUAN LI; PEN-CHUNG YEW.Journal of supercomputing. 1988, Vol 2, Num 2, pp 225-244, issn 0920-8542Article

Remote capabilitiesFOSTER, J. M; CURRIE, I. F.Computer journal (Print). 1987, Vol 30, Num 5, pp 451-457, issn 0010-4620Article

Delta-confluent drawingsEPPSTEIN, David; GOODRICH, Michael T; MENG, Jeremy Yu et al.Lecture notes in computer science. 2006, pp 165-176, issn 0302-9743, isbn 3-540-31425-3, 1Vol, 12 p.Conference Paper

Fast and dependable communication in hyper-ringsALTMAN, Tom; IGARASHI, Yoshihide; MOTEGI, Kazuhiro et al.Lecture notes in computer science. 2002, pp 350-359, issn 0302-9743, isbn 3-540-43996-X, 10 p.Conference Paper

  • Page / 21