SCOPUS 정보 검색 플랫폼

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2400, Issue , 2002, Pages 309-313

On the equivalence of two systems of affine recurrence equations

(3) Barthou, Denis a Feautrier, Paul b Redon, Xavier c

a UNIVERSITY OF VERSAILLES (France)

b INRIA (France)

c UNIV LILLE (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

AFFINE RECURRENCE EQUATIONS; ALGORITHM RECOGNITION; PARALLELIZATIONS; PILOT IMPLEMENTATION; PROGRAM ANALYSIS; SEMI-DECISION PROCEDURES; TRANSITIVE CLOSURE; UNSOLVED PROBLEMS;

ARTIFICIAL INTELLIGENCE;

EID: 84956865893 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/3-540-45706-2_40 Document Type: Conference Paper

Times cited : (29)

References (9)

1
- 0347780121
- Technical Report RR-4285, INRIA, Oct
- D. Barthou, P. Feautrier, and X. Redon. On the equivalence of two systems of affine recurrence equations. Technical Report RR-4285, INRIA, Oct. 2001.
- (2001) On the Equivalence of Two Systems of Affine Recurrence Equations
- Barthou, D.¹ Feautrier, P.² Redon, X.³

2
- 84947479623
- Symbolic verification with periodic sets
- volume 818 of Lecture Notes in Computer Science, Springer-Verlag
- B. Boigelot and P. Wolper. Symbolic verification with periodic sets. In Proceedings of the 6th International Conference on Computer-Aided Verification, volume 818 of Lecture Notes in Computer Science, pages 55–67. Springer-Verlag, 1994.
- (1994) Proceedings of the 6Th International Conference on Computer-Aided Verification , pp. 55-67
- Boigelot, B.¹ Wolper, P.²

3
- 0004129492
- Birkhäuser
- A. Darte, Y. Robert, and F. Vivien. Scheduling and automatic Parallelization. Birkhäuser, 2000.
- (2000) Scheduling and Automatic Parallelization
- Darte, A.¹ Robert, Y.² Vivien, F.³

4
- 0026109335
- Dataflow analysis of scalar and array references
- P. Feautrier. Dataflow analysis of scalar and array references. Int. J. of Parallel Programming, 20(1):23–53, Feb. 1991.
- (1991) Int. J. Of Parallel Programming , vol.20 , Issue.1 , pp. 23-53
- Feautrier, P.¹

5
- 84956861058
- The loop parallelizer LooPo – Announcement
- Springer, LNCS 1239
- M. Griebl and C. Lengauer. The loop parallelizer LooPo – Announcement. In 9th Languages and Compilers for Parallel Computing Workshop. Springer, LNCS 1239, 1996. http://www.fmi.uni-passau.de/cl/loopo.
- (1996) 9Th Languages and Compilers for Parallel Computing Workshop
- Griebl, M.¹ Lengauer, C.²

6
- 0030381495
- Transitive closure of infinite graphs and its applications
- W. Kelly, W. Pugh, E. Rosser, and T. Shpeisman. Transitive closure of infinite graphs and its applications. Int. J. of Parallel Programming, 24(6):579–598, 1996.
- (1996) Int. J. Of Parallel Programming , vol.24 , Issue.6 , pp. 579-598
- Kelly, W.¹ Pugh, W.² Rosser, E.³ Shpeisman, T.⁴

7
- 0026224282
- The alpha language and its use for the design of systolic arrays
- H. Leverge, C. Mauras, and P. Quinton. The alpha language and its use for the design of systolic arrays. Journal of VLSI Signal Processing, 3:173–182, 1991.
- (1991) Journal of VLSI Signal Processing , vol.3 , pp. 173-182
- Leverge, H.¹ Mauras, C.² Quinton, P.³

8
- 0347150101
- MIT Press
- R. Metzger and Z. Wen. Automatic Algorithm Recognition: A New Approach to Program Optimization. MIT Press, 2000.
- (2000) Automatic Algorithm Recognition: A New Approach to Program Optimization
- Metzger, R.¹ Wen, Z.²

9
- 0345888838
- Detection of scans in the polytope model
- X. Redon and P. Feautrier. Detection of scans in the polytope model. Parallel Algorithms and Applications, 15:229–263, 2000.
- (2000) Parallel Algorithms and Applications , vol.15 , pp. 229-263
- Redon, X.¹ Feautrier, P.²

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