SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Parallel Processing Letters

Volumn 11, Issue 4, 2001, Pages 423-437

Distributed evaluation of functional BSP programs

(1) Loulergue, F a

a UNIVERSITÉ PARIS EST CRÉTEIL (France)

Author keywords

Bulk synchronous parallelism; Execution model; calculus

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; PARALLEL ALGORITHMS; PROGRAM PROCESSORS; SEMANTICS; VECTORS;

BULK-SYNCHRONOUS PARALLEL (BSP) PROGRAMS;

PARALLEL PROCESSING SYSTEMS;

EID: 0035572818 PISSN: 01296264 EISSN: None Source Type: Journal
DOI: 10.1016/s0129-6264(01)00070-1 Document Type: Article

Times cited : (6)

References (21)

1
- 4544334709
- The essence of concurrent ML
- F. Nielson, editor, Monographs in Computer Science. Springer
- (1996) ML with Concurrency
- Panangaden, P.¹ Reppy, J.²

2
- 0024751383
- I-structures: Data structures for parallel computing
- (1989) ACM Transactions on Programming Languages and Systems , vol.11 , Issue.4
- Arvind¹ Nikhil, R.²

3
- 0006384412
- Carol flight: A portable SPMD extension of ML for distributed memory multiprocessors
- A.W. Böhm and J. T. Feo, editors, Denver, Colorado, April, Lawrence Livermore National Laboratory, USA
- (1995) Workshop on High Performance Functional Computing
- Foisy, C.¹ Chailloux, E.²

4
- 0006296519
- Processing transactions on GRIP, a parallel graph reducer
- A. Bode, M. Reeve, and G. Wolf, editors, PARLE'93, Parallel Architectures and Languages Europe, Munich, June, Springer
- (1993) Lecture Notes in Computer Science , vol.694
- Akerholt, G.¹ Hammond, K.² Peyton-Jones, S.³ Trinder, P.⁴

5
- 0003587629
- MIT Press
- (1989) Algorithmic Skeletons: Structured Management of Parallel Computation
- Cole, M.¹

6
- 0003949908
- Taylor & Francis
- (1998) Structured Development of Parallel Programs
- Pelagatti, S.¹

7
- 0025467711
- A bridging model for parallel computation
- August
- (1990) Communications of the ACM , vol.33 , Issue.8 , pp. 103
- Valiant, L.G.¹

8
- 0034911470
- Concrete data structures and functional parallel programming
- (2001) Theoretical Computer Science , vol.258 , Issue.1-2 , pp. 233-267
- Hains, G.¹ Loulergue, F.² Mullins, J.³

9
- 0033733192
- A calculus of functional BSP programs
- (2000) Science of Computer Programming , vol.37 , Issue.1-3 , pp. 253-277
- Loulergue, F.¹ Hains, G.² Foisy, C.³

10
- 0004148166
- Technical report, INRIA
- (2000) The Objective Carol system 3.00, documentation and user's guide
- Leroy, X.¹

11
- 0006324642
- Functional bulk synchronous parallel programming using the BSMLlib library
- S. Gorlatch, editor, Research Report MIP-2000-07. University of Passau, June
- (2000) Second International Workshop on Constructive Methods for Parallel Programming (CMPP'2000)
- Hains, G.¹ Loulergue, F.²

12
- 84944050514
- p: Functional BSP programs on enumerated vectors
- J. Kazuki, editor, International Symposium on High Performance Computing, Springer, October
- (2000) Lecture Notes in Computer Science , vol.1940 , pp. 355-363
- Loulergue, F.¹

13
- 4244211288
- Le modèle de programmation à parallélisme de données: Une perspective sémantique
- (1993) Technique et Science Informatiques , vol.12 , Issue.5
- Bougé, L.¹

14
- 0003522379
- Technical Report 15-96, Programming Research Group, Oxford University Computing Laboratory, August
- (1996) Questions and answers about BSP
- Skillicorn, D.B.¹ Hill, J.M.D.² McColl, W.F.³

15
- 0006326381
- Extension du BSλ-calcul
- P. Weis, editor, Morzine-Avoriaz, February
- (1999) JFLA'99: Journées Francophones des Langages Applicatifs , pp. 93-112
- Loulergue, F.¹

16
- 85088174719
- Technical Report 2001-02, University of Paris 12, Val-de-Marne, Laboratory of Algorithms, Complexity and Logic (LACL), June
- (2001) p-calculus
- Loulergue, F.¹

17
- 1442319459
- Optimising data-parallel programs using the BSP cost model
- Europar'98, Springer Verlag
- (1998) Lecture Notes in Computer Science , vol.1470 , pp. 698-715
- Skillicorn, D.B.¹ Danelutto, M.² Pelagatti, S.³ Zavanella, A.⁴

18
- 0006348820
- BSP-based cost analysis of skeletal programs
- G. Michaelson and Ph. Trinder, editors, Intellect
- (2000) Trends in Functional Programming
- Cole, M.¹ Hayashi, Y.²

19
- 0003173953
- Parallel composition and bulk synchronous parallel functional programming
- S. Gilmore, editor, Intellect Books
- (2001) Trends in Functional Programming , vol.2 , pp. 77-88
- Loulergue, F.¹

20
- 0006368728
- A structured synchronization and communication model fitting irregular data accesses
- (1998) Journal of Parallel and Distributed Computing , vol.50 , pp. 3-27
- Melin, E.¹ Raffin, B.² Rebeuf, X.³ Virot, B.⁴

21
- 18744394511
- PhD thesis, Université d'Orléans, LIFO, december
- (2000) Un modèle de coût symbolique pour les programmmes parallèles asynchones à dépendances structurées
- Rebeuf, X.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.