Parametric integer programming
RAIRO-Oper. Res., 22 3 (1988) 243-268
Published online: 2017-02-06
Articles citing this article
The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).
Cited article:
This article has been cited by the following article(s):
Architecture of Computing Systems – ARCS 2008
Joachim Keinert, Christian Haubelt and Jürgen TeichLecture Notes in Computer Science, Architecture of Computing Systems – ARCS 2008 4934 130 (2008)
https://doi.org/10.1007/978-3-540-78153-0_11
90 (2008)
https://doi.org/10.1145/1375581.1375594
Systematic and Automated Multiprocessor System Design, Programming, and Implementation
H. Nikolov, T. Stefanov and E. DeprettereIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 27 (3) 542 (2008)
https://doi.org/10.1109/TCAD.2007.911337
Iterative optimization in the polyhedral model
Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen and John CavazosACM SIGPLAN Notices 43 (6) 90 (2008)
https://doi.org/10.1145/1379022.1375594
73 (2007)
https://doi.org/10.1145/1254766.1254778
554 (2007)
https://doi.org/10.1109/AICCSA.2007.370936
Computation of Storage Requirements for Multi-Dimensional Signal Processing Applications
Florin Balasa, Hongwei Zhu and Ilie I. LuicanIEEE Transactions on Very Large Scale Integration (VLSI) Systems 15 (4) 447 (2007)
https://doi.org/10.1109/TVLSI.2007.895246
pn: A Tool for Improved Derivation of Process Networks
Sven Verdoolaege, Hristo Nikolov and Todor StefanovEURASIP Journal on Embedded Systems 2007 1 (2007)
https://doi.org/10.1155/2007/75947
263 (2007)
https://doi.org/10.1145/1274971.1275008
Classifying interprocess communication in process network representation of nested-loop programs
Alexandru Turjan, Bart Kienhuis and Ed DeprettereACM Transactions on Embedded Computing Systems 6 (2) 13 (2007)
https://doi.org/10.1145/1234675.1234680
A practical dynamic single assignment transformation
Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe and Francky CatthoorACM Transactions on Design Automation of Electronic Systems 12 (4) 40 (2007)
https://doi.org/10.1145/1278349.1278353
1 (2007)
https://doi.org/10.1109/DATE.2007.364486
292 (2007)
https://doi.org/10.1109/PACT.2007.4336220
1 (2007)
https://doi.org/10.1109/IPDPS.2007.370229
Bee+Cl@k
Christophe Alias, Fabrice Baray and Alain DarteACM SIGPLAN Notices 42 (7) 73 (2007)
https://doi.org/10.1145/1273444.1254778
144 (2007)
https://doi.org/10.1109/CGO.2007.21
335 (2006)
https://doi.org/10.1145/1183401.1183448
74 (2006)
https://doi.org/10.1145/1176760.1176771
Computing machine-efficient polynomial approximations
Nicolas Brisebarre, Jean-Michel Muller and Arnaud TisserandACM Transactions on Mathematical Software 32 (2) 236 (2006)
https://doi.org/10.1145/1141885.1141890
Architecture of Computing Systems - ARCS 2006
Hritam Dutta, Frank Hannig and Jürgen TeichLecture Notes in Computer Science, Architecture of Computing Systems - ARCS 2006 3894 176 (2006)
https://doi.org/10.1007/11682127_13
107 (2005)
https://doi.org/10.1109/ICPP.2005.37
255 (2005)
https://doi.org/10.1109/FCCM.2005.47
Parallel and Distributed Processing and Applications
Jingling XueLecture Notes in Computer Science, Parallel and Distributed Processing and Applications 3758 224 (2005)
https://doi.org/10.1007/11576235_28
Solving Out-of-Order Communication in Kahn Process Networks
Alexandru Turjan, Bart Kienhuis and Ed DeprettereJournal of VLSI signal processing systems for signal, image and video technology 40 (1) 7 (2005)
https://doi.org/10.1007/s11265-005-4935-5
Compiler Construction
Sven Verdoolaege, Kristof Beyls, Maurice Bruynooghe and Francky CatthoorLecture Notes in Computer Science, Compiler Construction 3443 91 (2005)
https://doi.org/10.1007/978-3-540-31985-6_7
7 (2004)
https://doi.org/10.1109/PACT.2004.1342537
Compiler Construction
Benoît MeisterLecture Notes in Computer Science, Compiler Construction 2985 134 (2004)
https://doi.org/10.1007/978-3-540-24723-4_10
Efficient and accurate analytical modeling of whole-program data cache behavior
Jingling Xue and X. VeraIEEE Transactions on Computers 53 (5) 547 (2004)
https://doi.org/10.1109/TC.2004.1275296
119 (2004)
https://doi.org/10.1145/996841.996857
247 (2004)
https://doi.org/10.1145/1006209.1006244
Parametric analysis for adaptive computation offloading
Cheng Wang and Zhiyuan LiACM SIGPLAN Notices 39 (6) 119 (2004)
https://doi.org/10.1145/996893.996857
Computer Systems: Architectures, Modeling, and Simulation
Ioan Cimpian, Alexandru Turjan, Ed Deprettere and Erwin de KockLecture Notes in Computer Science, Computer Systems: Architectures, Modeling, and Simulation 3133 494 (2004)
https://doi.org/10.1007/978-3-540-27776-7_51
Load-balancing scatter operations for grid computing
Stéphane Genaud, Arnaud Giersch and Frédéric VivienParallel Computing 30 (8) 923 (2004)
https://doi.org/10.1016/j.parco.2004.07.005
220 (2004)
https://doi.org/10.1145/1023833.1023864
Euro-Par 2003 Parallel Processing
Hélène Renard, Yves Robert and Frédéric VivienLecture Notes in Computer Science, Euro-Par 2003 Parallel Processing 2790 148 (2003)
https://doi.org/10.1007/978-3-540-45209-6_24
23 (2003)
https://doi.org/10.1109/ISPDC.2003.1267639
10 (2003)
https://doi.org/10.1109/IPDPS.2003.1213207
Ambient Intelligence: Impact on Embedded Sytem Design
Zbigniew Chamski, Marc Duranton, Albert Cohen, et al.Ambient Intelligence: Impact on Embedded Sytem Design 251 (2003)
https://doi.org/10.1007/0-306-48706-3_13
117 (2002)
https://doi.org/10.1145/564870.564888
The Compiler Design Handbook
Sanjay RajopadhyeThe Compiler Design Handbook (2002)
https://doi.org/10.1201/9781420040579.ch10
Parallel Computing Technologies
Julien Soula, Philippe Marquet, Alain Demeure and Jean-Luc DekeyserLecture Notes in Computer Science, Parallel Computing Technologies 2127 358 (2001)
https://doi.org/10.1007/3-540-44743-1_36
Generation of Efficient Nested Loops from Polyhedra
Fabien Quilleré, Sanjay Rajopadhye and Doran WildeInternational Journal of Parallel Programming 28 (5) 469 (2000)
https://doi.org/10.1023/A:1007554627716
79 (2000)
https://doi.org/10.1109/ASAP.2000.862380
DERIVING PROCESS NETWORKS FROM NESTED LOOP ALGORITHMS
EDWIN RIJPKEMA, ED F. DEPRETTERE and BART KIENHUISParallel Processing Letters 10 (02n03) 165 (2000)
https://doi.org/10.1142/S0129626400000172
13 (2000)
https://doi.org/10.1145/334012.334015
Evaluation of predicated array data-flow analysis for automatic parallelization
Sungdo Moon and Mary W. HallACM SIGPLAN Notices 34 (8) 84 (1999)
https://doi.org/10.1145/329366.301112
84 (1999)
https://doi.org/10.1145/301104.301112
4 (1998)
https://doi.org/10.1109/PACT.1998.727127
262 (1998)
https://doi.org/10.1109/ICCL.1998.674176
Loop parallelization algorithms: From parallelism extraction to code generation
Pierre Boulet, Alain Darte, Georges-André Silber and Frédéric VivienParallel Computing 24 (3-4) 421 (1998)
https://doi.org/10.1016/S0167-8191(98)00020-9
56 (1997)
https://doi.org/10.1109/ICPP.1997.622556
Languages and Compilers for Parallel Computing
Martin Griebl and Christian LengauerLecture Notes in Computer Science, Languages and Compilers for Parallel Computing 1239 603 (1997)
https://doi.org/10.1007/BFb0017283
Unimodular transformations of non-perfectly nested loops
Jingling XueParallel Computing 22 (12) 1621 (1997)
https://doi.org/10.1016/S0167-8191(96)00063-4
Euro-Par'97 Parallel Processing
Matthias Besch and Hans Werner PohlLecture Notes in Computer Science, Euro-Par'97 Parallel Processing 1300 338 (1997)
https://doi.org/10.1007/BFb0002753
199 (1997)
https://doi.org/10.1109/ASAP.1997.606826
Fuzzy Array Dataflow Analysis
Denis Barthou, Jean-François Collard and Paul FeautrierJournal of Parallel and Distributed Computing 40 (2) 210 (1997)
https://doi.org/10.1006/jpdc.1996.1261
THE JANUS TEST: A HIERARCHICAL ALGORITHM FOR COMPUTING DIRECTION AND DISTANCE VECTORS (EXTENDED VERSION)*
JEAN-CLAUDE SOGNOParallel Algorithms and Applications 12 (1-3) 57 (1997)
https://doi.org/10.1080/01495739708941416
Resource-constrained scheduling of partitioned algorithms on processor arrays
Michèle Dion, Tanguy Risset and Yves RobertIntegration 20 (2) 139 (1996)
https://doi.org/10.1016/0167-9260(95)00022-4
Euro-Par'96 Parallel Processing
Martin Griebl and Christian LengauerLecture Notes in Computer Science, Euro-Par'96 Parallel Processing 1123 467 (1996)
https://doi.org/10.1007/3-540-61626-8_64
Computer aided parallelisation tools (CAPTools) — conceptual overview and performance on the parallelisation of structured mesh codes
C.S. Ierotheou, S.P. Johnson, M. Cross and P.F LeggettParallel Computing 22 (2) 163 (1996)
https://doi.org/10.1016/0167-8191(95)00004-6
203 (1996)
https://doi.org/10.1109/HICSS.1996.495464
Symbolic analysis for parallelizing compilers
Mohammad R. Haghighat and Constantine D. PolychronopoulosACM Transactions on Programming Languages and Systems 18 (4) 477 (1996)
https://doi.org/10.1145/233561.233568
Transformations of nested loops with non-convex iteration spaces
Jingling XueParallel Computing 22 (3) 339 (1996)
https://doi.org/10.1016/0167-8191(95)00069-0
421 (1996)
https://doi.org/10.1109/ICAPP.1996.562904
223 (1996)
https://doi.org/10.1109/HICSS.1996.495466
156 (1995)
https://doi.org/10.1109/EMPDP.1995.389144
Resource constrained scheduling of uniform algorithms
Lothar ThieleJournal of VLSI signal processing systems for signal, image and video technology 10 (3) 295 (1995)
https://doi.org/10.1007/BF02120034
571 (1995)
https://doi.org/10.1109/EMPDP.1995.389161
Closed-form mapping conditions for the synthesis of linear processor arrays
Jingling XueJournal of VLSI signal processing systems for signal, image and video technology 10 (2) 181 (1995)
https://doi.org/10.1007/BF02407035
364 (1995)
https://doi.org/10.1109/IPPS.1995.395957
1 (1995)
https://doi.org/10.1109/ASAP.1995.522900
Fuzzy array dataflow analysis
Jean-François Collard, Denis Barthou and Paul FeautrierACM SIGPLAN Notices 30 (8) 92 (1995)
https://doi.org/10.1145/209937.209947
73 (1995)
https://doi.org/10.1109/HICSS.1995.375475
113 (1995)
https://doi.org/10.1109/HICSS.1995.375471
92 (1995)
https://doi.org/10.1145/209936.209947
Algorithms and Parallel VLSI Architectures III
P.C. Held and A.C.J. KienhuisAlgorithms and Parallel VLSI Architectures III 271 (1995)
https://doi.org/10.1016/B978-044482106-5/50024-7
429 (1994)
https://doi.org/10.1109/SHPCC.1994.296675
Languages and Compilers for Parallel Computing
William Pugh and David WonnacottLecture Notes in Computer Science, Languages and Compilers for Parallel Computing 768 546 (1994)
https://doi.org/10.1007/3-540-57659-2_31
102 (1994)
https://doi.org/10.1109/FMPC.1995.380458
551 (1994)
https://doi.org/10.1109/TENCON.1994.369239
29 (1993)
https://doi.org/10.1109/ASAP.1993.397118
Stability of discrete optimization problems
L. N. Kozeratskaya, T. T. Lebedeva and I. V. SergienkoCybernetics and Systems Analysis 29 (3) 367 (1993)
https://doi.org/10.1007/BF01125542
175 (1993)
https://doi.org/10.1145/165939.165968
CONCUR'93
Christian LengauerLecture Notes in Computer Science, CONCUR'93 715 398 (1993)
https://doi.org/10.1007/3-540-57208-2_28
Application-Driven Architecture Synthesis
Peter Held, Patrick Dewilde, Ed Deprettere and Paul WielageThe Kluwer International Series in Engineering and Computer Science, Application-Driven Architecture Synthesis 228 71 (1993)
https://doi.org/10.1007/978-1-4615-3242-2_4
The power test for data dependence
M. Wolfe and C.-W. TsengIEEE Transactions on Parallel and Distributed Systems 3 (5) 591 (1992)
https://doi.org/10.1109/71.159042
Practical dependence testing
Gina Goff, Ken Kennedy and Chau-Wen TsengACM SIGPLAN Notices 26 (6) 15 (1991)
https://doi.org/10.1145/113446.113448