On schematological equivalence of partially interpreted dataflow networksRABINOVICH, A.Information and computation (Print). 1997, Vol 138, Num 1, pp 49-87, issn 0890-5401Article

Comparison of five multiprocessor systemsGAJSKI, D. D; PEIR, J.-K.Parallel computing. 1985, Vol 2, Num 3, pp 265-282, issn 0167-8191Article

ON THE WEAK KÄHLER-RICCI FLOWCHEN, X. X; TIAN, G; ZHANG, Z et al.Transactions of the American Mathematical Society. 2011, Vol 363, Num 6, pp 2849-2863, issn 0002-9947, 15 p.Article

Testabilité de systèmes synchrones flots de données = Testability of data flow synchronous systemsLE TRAON, Y; ROBACH, C.Fiabilité & maintenabilité. Colloque national. 1996, pp 849-861, 2VolConference Paper

Performance of the efficient data-driven evaluation schemeJOHNSON, D; BERMAN, F.Journal of parallel and distributed computing (Print). 1993, Vol 18, Num 3, pp 340-346, issn 0743-7315Article

A 40Gb/s network processor with PISC<^TM> dataflow architectureCARLSTROM, Jakob; NORDMARK, Gunnar; ROOS, Joachim et al.IEEE International Solid-State Circuits Conference. 2004, pp 60-61, isbn 0-7803-8267-6, 2Vol, 2 p.Conference Paper

Communication flow expressions in a Notification and response systemORDILLE, Joann J; PETSCHE, Thomas.Lecture notes in computer science. 2002, pp 86-96, issn 0302-9743, isbn 3-540-44110-7, 11 p.Conference Paper

The synchronous data flow programming language LUSTREHALBWACHS, N; CASPI, P; RAYMOND, P et al.Proceedings of the IEEE. 1991, Vol 79, Num 9, pp 1305-1320, issn 0018-9219Article

Eine Datenflussmethode für die Programmierung von parallelen Signalprozessoren = Une méthode basée sur le flux de données pour la programmation de processeurs de signaux parallèles = A data flow method for parallel signal processors programmingTHALER, M.Mitteilungen der Arbeitsgemeinschaft für elektrische Nachrichtentechnik der Stiftung Hasler-Werke Bern. 1986, Num 43, pp 19-25Article

Weighted pushdown systems and their application to interprocedural dataflow analysisREPS, Thomas; SCHWOON, Stefan; JHA, Somesh et al.Lecture notes in computer science. 2003, pp 189-213, issn 0302-9743, isbn 3-540-40325-6, 25 p.Conference Paper

Practical adaptation of the global optimization algorithm of morel and renvoiseDHAMDHERE, D. M.ACM transactions on programming languages and systems. 1991, Vol 13, Num 2, pp 291-294, issn 0164-0925Article

A data-driven machine for OR-parallel evaluation of logic programsHALIM, Z.New generation computing. 1986, Vol 4, Num 1, pp 5-33, issn 0288-3635Article

Data-flow analysis of program fragmentsROUNTEV, A; RYDER, B. G; LANDI, W et al.Lecture notes in computer science. 1999, pp 235-252, issn 0302-9743, isbn 3-540-66538-2Conference Paper

Optimizing the representation of local iteration sets and access sequences for block-cyclic distributionsMIDKIFF, S. P.Lecture notes in computer science. 1997, pp 420-434, issn 0302-9743, isbn 3-540-63091-0Conference Paper

The effects of timing dependence and recursion on parallel program schemataMATSUBARA, Yasuo; SHAKUSHI, Takahiro.Lecture notes in computer science. 2002, pp 291-300, issn 0302-9743, isbn 3-540-43674-X, 10 p.Conference Paper

Auto-consistent environment for measurement software developmentSTEENPUT, E; ROLAIN, Y.IEEE transactions on instrumentation and measurement. 1997, Vol 46, Num 4, pp 742-746, issn 0018-9456Article

Context-sensitive interprocedural analysis in the presence of dynamic aliasingSATHYANATHAN, P. W; LAM, M. S.Lecture notes in computer science. 1997, pp 101-119, issn 0302-9743, isbn 3-540-63091-0Conference Paper

The essence of eta-expansion in partial evaluationDANVY, O; MALMKJAER, K; PALSBERG, J et al.Lisp and symbolic computation. 1995, Vol 8, Num 3, pp 209-227, issn 0892-4635Conference Paper

Un automate d'unification pour la machine OPALE = A unification automaton for the OPALE machineBERGER SABBATEL, Gilles; IANESELLI, Jean-Christophe.Rapport de recherche - Informatique et mathématiques appliquées de Grenoble, ISSN: 0750-7380 ; 465. 1984, 52 p.Report

Array SSA for explicitly parallel programsCOLLARD, J.-F.Lecture notes in computer science. 1999, pp 383-390, issn 0302-9743, isbn 3-540-66443-2Conference Paper

A non-blocking transaction data flow graph based approach for replicated dataKRISHNA, P; BHALLA, S.Operating systems review. 1993, Vol 27, Num 3, pp 46-54, issn 0163-5980Article

Future management needs of a software-driven science communityNILSSON, Kim K; MÖLLER-NILSSON, Ole.Proceedings of SPIE, the International Society for Optical Engineering. 2010, Vol 7740, issn 0277-786X, isbn 978-0-8194-8230-3 0-8194-8230-7, 2Vol, 77400P.1-77400P.7, 2Conference Paper

From GDSII to OASIS : Practical support tools for data processing flow transitionENDO, Masakazu; NISHIZAWA, Kuninori; KATO, Kokoro et al.Proceedings of SPIE, the International Society for Optical Engineering. 2006, issn 0277-786X, isbn 0-8194-6358-2, vol 2, 62832P.1-62832P.9Conference Paper

A feedback based framework for semi-automic composition of web servicesHAN, Dongsoo; LEE, Sungdoke; KO, Inyoung et al.Lecture notes in computer science. 2006, pp 414-424, issn 0302-9743, isbn 3-540-31142-4, 1Vol, 11 p.Conference Paper

Distributed control flow with classical modal logicMURPHY, Tom; CRARY, Karl; HARPER, Robert et al.Lecture notes in computer science. 2005, pp 51-69, issn 0302-9743, isbn 3-540-28231-9, 19 p.Conference Paper