Abstract
No abstract available.
Cited By
- Coullon H, Henrio L, Loulergue F and Robillard S (2023). Component-based Distributed Software Reconfiguration:A Verification-oriented Survey, ACM Computing Surveys, 56:1, (1-37), Online publication date: 31-Jan-2024.
- Cáceres M, Mumey B, Husić E, Rizzi R, Cairo M, Sahlin K and Tomescu A (2021). Safety in Multi-Assembly via Paths Appearing in All Path Covers of a DAG, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 19:6, (3673-3684), Online publication date: 1-Nov-2022.
- De Souza F, Carlson R, Müller E and Ampountolas K (2022). Multi-Commodity Traffic Signal Control and Routing With Connected Vehicles, IEEE Transactions on Intelligent Transportation Systems, 23:5, (4111-4121), Online publication date: 1-May-2022.
- di Bartolomeo S, Riedewald M, Gatterbauer W and Dunne C (2022). STRATISFIMAL LAYOUT: A modular optimization model for laying out layered node-link network visualizations, IEEE Transactions on Visualization and Computer Graphics, 28:1, (324-334), Online publication date: 1-Jan-2022.
- Sun W, Lu Y, Zhang X and Sun M DeepGlobal: A Global Robustness Verifiable FNN Framework Dependable Software Engineering. Theories, Tools, and Applications, (22-39)
- Zeng L, Chen X, Zhou Z, Yang L and Zhang J (2021). CoEdge: Cooperative DNN Inference With Adaptive Workload Partitioning Over Heterogeneous Edge Devices, IEEE/ACM Transactions on Networking, 29:2, (595-608), Online publication date: 1-Apr-2021.
- Tan K, Feng L and Jiang M (2021). Evolutionary Transfer Optimization - A New Frontier in Evolutionary Computation Research, IEEE Computational Intelligence Magazine, 16:1, (22-33), Online publication date: 1-Feb-2021.
- Zhang K, Kakade S, Başar T and Yang L Model-based multi-agent RL in zero-sum Markov games with near-optimal sample complexity Proceedings of the 34th International Conference on Neural Information Processing Systems, (1166-1178)
- Yang I (2020). A Convex Optimization Approach to Dynamic Programming in Continuous State and Action Spaces, Journal of Optimization Theory and Applications, 187:1, (133-157), Online publication date: 1-Oct-2020.
- Asudeh A, Nazi A, Zhang N, Das G and Jagadish H RRR Proceedings of the 2019 International Conference on Management of Data, (263-280)
- Josz C, Lasserre J and Mourrain B (2019). Sparse polynomial interpolation, Advances in Computational Mathematics, 45:3, (1401-1437), Online publication date: 1-Jun-2019.
- Malar B, Nadarajan R and Gowri Thangam J (2019). A hybrid isotonic separation training algorithm with correlation-based isotonic feature selection for binary classification, Knowledge and Information Systems, 59:3, (651-683), Online publication date: 1-Jun-2019.
- Ghobaei-Arani M and Souri A (2019). LP-WSC, The Journal of Supercomputing, 75:5, (2603-2628), Online publication date: 1-May-2019.
- Gurung A and Ray R Simultaneous Solving of Batched Linear Programs on a GPU Proceedings of the 2019 ACM/SPEC International Conference on Performance Engineering, (59-66)
- Shevtsov S, Weyns D and Maggio M (2019). SimCA*, ACM Transactions on Autonomous and Adaptive Systems, 13:4, (1-34), Online publication date: 31-Dec-2019.
- Jedda H, Mezghani A, Swindlehurst A and Nossek J (2018). Quantized Constant Envelope Precoding With PSK and QAM Signaling, IEEE Transactions on Wireless Communications, 17:12, (8022-8034), Online publication date: 1-Dec-2018.
- Sarro F and Petrozziello A (2018). Linear Programming as a Baseline for Software Effort Estimation, ACM Transactions on Software Engineering and Methodology, 27:3, (1-28), Online publication date: 8-Oct-2018.
- Gauthier J, Desrosiers J and Lübbecke M (2018). Vector Space Decomposition for Solving Large-Scale Linear Programs, Operations Research, 66:5, (1376-1389), Online publication date: 1-Oct-2018.
- Schreiber E, Korf R and Moffitt M (2018). Optimal Multi-Way Number Partitioning, Journal of the ACM, 65:4, (1-61), Online publication date: 16-Aug-2018.
- Jiang X, Chen J, So H and Liu X (2018). Large-Scale Robust Beamforming via
-Minimization, IEEE Transactions on Signal Processing, 66:14, (3824-3837), Online publication date: 15-Jul-2018.$\ell _{\infty }$ - Golshan B and Terzi E Minimizing Tension in Teams Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, (1707-1715)
- Wheaton I and Awoniyi S (2017). A new iterative method for solving non-square systems of linear equations, Journal of Computational and Applied Mathematics, 322:C, (1-6), Online publication date: 1-Oct-2017.
- Guu S and Wu Y (2017). A Linear Programming Approach for Minimizing a Linear Function Subject to Fuzzy Relational Inequalities With Addition–Min Composition, IEEE Transactions on Fuzzy Systems, 25:4, (985-992), Online publication date: 1-Aug-2017.
- Olver N and Végh L A simpler and faster strongly polynomial algorithm for generalized flow maximization Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, (100-111)
- Shevtsov S, Weyns D and Maggio M Handling new and changing requirements with guarantees in self-adaptive systems using SimCA Proceedings of the 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, (12-23)
- Asudeh A, Nazi A, Zhang N and Das G Efficient Computation of Regret-ratio Minimizing Set Proceedings of the 2017 ACM International Conference on Management of Data, (821-834)
- Xu F, Tu Z, Li Y, Zhang P, Fu X and Jin D Trajectory Recovery From Ash Proceedings of the 26th International Conference on World Wide Web, (1241-1250)
- Li P, Wang Z, Lam W, Ren Z and Bing L Salience estimation via variational auto-encoders for multi-document summarization Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, (3497-3503)
- Li J, Naughton J and Nehme R (2017). Resource bricolage and resource selection for parallel database systems, The VLDB Journal — The International Journal on Very Large Data Bases, 26:1, (31-54), Online publication date: 1-Feb-2017.
- Shevtsov S and Weyns D Keep it SIMPLEX: satisfying multiple goals with guarantees in control-based self-adaptive systems Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, (229-241)
- Shen W, Zhang D, Liu W and Yang G (2016). Increasing discrimination of DEA evaluation by utilizing distances to anti-efficient frontiers, Computers and Operations Research, 75:C, (163-173), Online publication date: 1-Nov-2016.
- Gao L, Shou B, Chen Y and Huang J (2016). Combining Spot and Futures Markets, Operations Research, 64:4, (794-821), Online publication date: 1-Aug-2016.
- Šikšnys L and Pedersen T SolveDB Proceedings of the 28th International Conference on Scientific and Statistical Database Management, (1-12)
- Mei Y, Omidvar M, Li X and Yao X (2016). A Competitive Divide-and-Conquer Algorithm for Unconstrained Large-Scale Black-Box Optimization, ACM Transactions on Mathematical Software, 42:2, (1-24), Online publication date: 3-Jun-2016.
- Sarkar P, Baral A, Das (Bhatacharya) K and Syam P (2016). An ant colony system based control of shunt capacitor banks for bulk electricity consumers, Applied Soft Computing, 43:C, (520-534), Online publication date: 1-Jun-2016.
- Ren J, Zhang Y, Zhang N, Zhang D and Shen X (2016). Dynamic Channel Access to Improve Energy Efficiency in Cognitive Radio Sensor Networks, IEEE Transactions on Wireless Communications, 15:5, (3143-3156), Online publication date: 1-May-2016.
- Hamza N, Essam D and Sarker R Exploring the Feasible Space Using Constraint Consensus in Solving Constrained Optimization Problems Proceedings of the Second Australasian Conference on Artificial Life and Computational Intelligence - Volume 9592, (89-100)
- Boostanimehr H and Bhargava V (2015). Joint Downlink and Uplink Aware Cell Association in HetNets With QoS Provisioning, IEEE Transactions on Wireless Communications, 14:10, (5388-5401), Online publication date: 1-Oct-2015.
- Li P, Bing L, Lam W, Li H and Liao Y Reader-aware multi-document summarization via sparse coding Proceedings of the 24th International Conference on Artificial Intelligence, (1270-1276)
- Park S and Shin J Max-product belief propagation for linear programming Proceedings of the Thirty-First Conference on Uncertainty in Artificial Intelligence, (662-671)
- Boostanimehr H and Bhargava V (2015). Unified and Distributed QoS-Driven Cell Association Algorithms in Heterogeneous Networks, IEEE Transactions on Wireless Communications, 14:3, (1650-1662), Online publication date: 1-Mar-2015.
- Tang H, Elalouf A, Levner E and Cheng T (2014). Efficient computation of evacuation routes on a three-dimensional geometric network, Computers and Industrial Engineering, 76:C, (231-242), Online publication date: 1-Oct-2014.
- Li J, Naughton J and Nehme R (2014). Resource bricolage for parallel database systems, Proceedings of the VLDB Endowment, 8:1, (25-36), Online publication date: 1-Sep-2014.
- Silva L, Scheidegger L, Etiene T, Comba J, Nonato L and Silva C (2014). A Weighted Delaunay Triangulation Framework for Merging Triangulations in a Connectivity Oblivious Fashion, Computer Graphics Forum, 33:6, (18-30), Online publication date: 1-Sep-2014.
- Hajdu Á, Vörös A, Bartha T and Mártonka Z (2014). Extensions to the CEGAR approach on petri nets, Acta Cybernetica, 21:3, (401-417), Online publication date: 1-Aug-2014.
- Elsayed S, Sarker R and Essam D (2014). A self-adaptive combined strategies algorithm for constrained optimization using differential evolution, Applied Mathematics and Computation, 241, (267-282), Online publication date: 1-Aug-2014.
- Bing L, Guo R, Lam W, Niu Z and Wang H Web page segmentation with structured prediction and its application in web page classification Proceedings of the 37th international ACM SIGIR conference on Research & development in information retrieval, (767-776)
- Altiparmak N and Tosun A (2013). Generalized Optimal Response Time Retrieval of Replicated Data from Storage Arrays, ACM Transactions on Storage, 9:2, (1-36), Online publication date: 1-Jul-2013.
- Upadrasta R and Cohen A (2013). Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra, ACM SIGPLAN Notices, 48:1, (483-496), Online publication date: 23-Jan-2013.
- Zeidler C, Lutteroth C and Weber G Constraint solving for beautiful user interfaces Proceedings of the 13th International Conference of the NZ Chapter of the ACM's Special Interest Group on Human-Computer Interaction, (72-79)
- Ferber D On modeling the tactical planning of oil pipeline networks Proceedings of the Twenty-Second International Conference on International Conference on Automated Planning and Scheduling, (348-352)
- Schoenemann T, Kuang Y and Kahl F Curvature regularity for multi-label problems - standard and customized linear programming Proceedings of the 8th international conference on Energy minimization methods in computer vision and pattern recognition, (163-176)
- Schoenemann T Minimizing count-based high order terms in markov random fields Proceedings of the 8th international conference on Energy minimization methods in computer vision and pattern recognition, (17-30)
- Friedmann O, Hansen T and Zwick U Subexponential lower bounds for randomized pivoting rules for the simplex algorithm Proceedings of the forty-third annual ACM symposium on Theory of computing, (283-292)
- Adsul B, Garg J, Mehta R and Sohoni M Rank-1 bimatrix games Proceedings of the forty-third annual ACM symposium on Theory of computing, (195-204)
- Althaus E, Altmeyer S and Naujoks R (2011). Precise and efficient parametric path analysis, ACM SIGPLAN Notices, 46:5, (141-150), Online publication date: 11-Apr-2011.
- Althaus E, Altmeyer S and Naujoks R Precise and efficient parametric path analysis Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems, (141-150)
- Li D, Liu J, Xu Y, Wang X and Chen W Distributed relay-source matching for cooperative wireless networks using two-sided market games Proceedings of the 28th IEEE conference on Global telecommunications, (4970-4974)
- Pavlis Y and Recker W (2009). A Mathematical Logic Approach for the Transformation of the Linear Conditional Piecewise Functions of Dispersion-and-Store and Cell Transmission Traffic Flow Models into Linear Mixed-Integer Form, Transportation Science, 43:1, (98-116), Online publication date: 1-Feb-2009.
- Damiron C and Nastasi A Discrete rate simulation using linear programming Proceedings of the 40th Conference on Winter Simulation, (740-749)
- Kerschbaum F and Deitos R Security against the business partner Proceedings of the 2008 ACM workshop on Secure web services, (1-10)
- Bhadra S, Lu Y and Squillante M (2007). Optimal capacity planning in stochastic loss networks with time-varying workloads, ACM SIGMETRICS Performance Evaluation Review, 35:1, (227-238), Online publication date: 12-Jun-2007.
- Bhadra S, Lu Y and Squillante M Optimal capacity planning in stochastic loss networks with time-varying workloads Proceedings of the 2007 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, (227-238)
- Abrams Z, Mendelevitch O and Tomlin J Optimal delivery of sponsored search advertisements subject to budget constraints Proceedings of the 8th ACM conference on Electronic commerce, (272-278)
- Ip A, Liu J and Lui J (2007). COPACC, IEEE Transactions on Parallel and Distributed Systems, 18:1, (70-83), Online publication date: 1-Jan-2007.
- Xing Y, Hwang J, Çetintemel U and Zdonik S Providing resiliency to load variations in distributed stream processing Proceedings of the 32nd international conference on Very large data bases, (775-786)
- Rasmussen J, Larsen K and Subramani K (2006). On using priced timed automata to achieve optimal scheduling, Formal Methods in System Design, 29:1, (97-114), Online publication date: 1-Jul-2006.
- Kiekintveld C, Miller J, Jordan P and Wellman M Controlling a supply chain agent using value-based decomposition Proceedings of the 7th ACM conference on Electronic commerce, (208-217)
- Kelner J and Spielman D A randomized polynomial-time simplex algorithm for linear programming Proceedings of the thirty-eighth annual ACM symposium on Theory of Computing, (51-60)
- Hsu H, Chen J and Kuo T Multiprocessor synthesis for periodic hard real-time tasks under a given energy constraint Proceedings of the conference on Design, automation and test in Europe: Proceedings, (1061-1066)
- Gärtner B and Schurr I Linear programming and unique sink orientations Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm, (749-757)
- Cottle R (2005). George B. Dantzig, Operations Research, 53:6, (892-898), Online publication date: 1-Nov-2005.
- Puchinger J and Raidl G Combining metaheuristics and exact algorithms in combinatorial optimization Proceedings of the First international work-conference on the Interplay Between Natural and Artificial Computation conference on Artificial Intelligence and Knowledge Engineering Applications: a bioinspired approach - Volume Part II, (41-53)
- Baruah S and Fisher N Code-Size Minimization in Multiprocessor Real-Time Systems Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
- Ghiasi S, Bozorgzadeh E, Choudhuri S and Sarrafzadeh M A unified theory of timing budget management Proceedings of the 2004 IEEE/ACM International conference on Computer-aided design, (653-659)
- Brunner B and Berrien I Using Semantic Graphs in Clustering Process Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence, (221-227)
- Veltri G, Huang Q, Qu G and Potkonjak M Minimal and maximal exposure path algorithms for wireless embedded sensor networks Proceedings of the 1st international conference on Embedded networked sensor systems, (40-50)
- Armony M and Bambos N (2003). Queueing Dynamics and Maximal Throughput Scheduling in Switched Processing Systems, Queueing Systems: Theory and Applications, 44:3, (209-252), Online publication date: 1-Jul-2003.
- Ding J and Huang Y (2003). Resource-Based Striping: An Efficient Striping Strategy for Video Servers Using Heterogeneous Disk-Subsystems, Multimedia Tools and Applications, 19:1, (29-19), Online publication date: 21-Jan-2003.
- Crainic T and Gendreau M (2002). Cooperative Parallel Tabu Search for Capacitated Network Design, Journal of Heuristics, 8:6, (601-627), Online publication date: 1-Nov-2002.
- Nakamura A Improvements in practical aspects of optimally scheduling web advertising Proceedings of the 11th international conference on World Wide Web, (536-541)
- Naumann F (2002). Quality-driven query answering for integrated information systems, 10.5555/1791545, Online publication date: 1-Jan-2002.
- Kuno T (2002). A branch-and-bound algorithm for maximizing the sum of several linear ratios, Journal of Global Optimization, 22:1-4, (155-174), Online publication date: 1-Jan-2002.
- Feautrier P Array dataflow analysis Compiler optimizations for scalable parallel systems, (173-219)
- Chang Y, Bergman L, Castelli V, Li C, Lo M and Smith J (2000). The onion technique, ACM SIGMOD Record, 29:2, (391-402), Online publication date: 1-Jun-2000.
- Chang Y, Bergman L, Castelli V, Li C, Lo M and Smith J The onion technique Proceedings of the 2000 ACM SIGMOD international conference on Management of data, (391-402)
- Naumann F, Leser U and Freytag J Quality-driven Integration of Heterogenous Information Systems Proceedings of the 25th International Conference on Very Large Data Bases, (447-458)
- Lavin Y, Batra R and Hesselink L Feature comparisons of vector fields using earth mover's distance Proceedings of the conference on Visualization '98, (103-109)
- Gärtner B Exact arithmetic at low cost—a case study in linear programming Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms, (157-166)
- Goldwasser M (1995). A survey of linear programming in randomized subexponential time, ACM SIGACT News, 26:2, (96-104), Online publication date: 1-Jun-1995.
- Karypis G, Gupta A and Kumar V A parallel formulation of interior point algorithms Proceedings of the 1994 ACM/IEEE conference on Supercomputing, (204-213)
- Van Hentenryck P and Ramachandran V Backtracking without trailing in CLP (R) Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, (349-360)
- Van Hentenryck P and Ramachandran V (1994). Backtracking without trailing in CLP (R), ACM SIGPLAN Notices, 29:6, (349-360), Online publication date: 1-Jun-1994.
- Koller D, Megiddo N and von Stengel B Fast algorithms for finding randomized strategies in game trees Proceedings of the twenty-sixth annual ACM symposium on Theory of Computing, (750-759)
- Yang C and Miller B (1989). Performance Measurement for Parallel and Distributed Programs, IEEE Transactions on Software Engineering, 15:12, (1615-1629), Online publication date: 1-Dec-1989.
- Agrawal A, Blelloch G, Krawitz R and Phillips C Four vector-matrix primitives Proceedings of the first annual ACM symposium on Parallel algorithms and architectures, (292-302)
- (1980). Introduction to the special issue on recent and future development of mathematical programming systems, ACM SIGMAP Bulletin:29, (1-2), Online publication date: 1-Apr-1980.
- Hanson R and Wisniewski J (1979). A mathematical programming updating method using modified Givens transformations and applied to LP problems, Communications of the ACM, 22:4, (245-251), Online publication date: 1-Apr-1979.
- Ahmed A and Menon C Optimizing the Maximum Torque of bioinspired climbing robots in static equilibrium 2016 6th IEEE International Conference on Biomedical Robotics and Biomechatronics (BioRob), (1330-1334)
- Spielberg K On the fixed charge transportation problem Proceedings of the 1964 19th ACM national conference, (11.101-11.1013)
Index Terms
- Linear programming 1: introduction
Recommendations
Comparing novice programing environments for use in secondary education: App Inventor for Android vs. Alice
Coding is part of logical thinking and is one of the basic skills which are known as '21st-century skills'. Coding acquisition is necessary as it is used in a wide range of occupations. However, computer programing is difficult to learn and programing ...
Interactive, Language-neutral Flowcharts and Pseudocode for Teaching Core CS0/1 Programming Concepts: (Abstract Only)
SIGCSE '18: Proceedings of the 49th ACM Technical Symposium on Computer Science EducationIntroductory programming courses often use a full-featured programming language, such as Python, Java, or C++, wherein students concurrently learn programming concepts along with language syntax. However, many instructors believe that learning ...