Search results for "integer linear programming"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Lu Zhang 0023, Shan-Shan Hou, Chao Guo, Tao Xie, Hong Mei	Time-aware test-case prioritization using integer linear programming.	ISSTA	2009	DBLP DOI BibTeX RDF	integer linear programming, test-case prioritization
3	Srinath Sridhar, Fumei Lam, Guy E. Blelloch, R. Ravi, Russell Schwartz	Mixed Integer Linear Programming for Maximum-Parsimony Phylogeny Inference.	IEEE/ACM Trans. Comput. Biology Bioinform.	2008	DBLP DOI BibTeX RDF	Phylogenetic tree reconstruction, Algorithms, Integer Linear Programming, Computational Biology, Steiner tree problem, Maximum parsimony
3	Zhixiang Yin, Jianzhong Cui, Jin Yang	A Surface-Based DNA Computing for the Positive Integer Linear Programming Problem.	ICIC	2007	DBLP DOI BibTeX RDF	0-1 Programming Problem, Integer linear programming, DNA Computing, NP-Complete Problem
3	Napoleão Nepomuceno, Plácido Rogério Pinheiro, André L. V. Coelho	Tackling the Container Loading Problem: A Hybrid Approach Based on Integer Linear Programming and Genetic Algorithms.	EvoCOP	2007	DBLP DOI BibTeX RDF	Container Loading, Genetic Algorithms, Combinatorial Optimization, Metaheuristics, Integer Linear Programming, Hybrid Methods
3	Jun Xia, Li Luo, Xuejun Yang	A 0-1 Integer Linear Programming Based Approach for Global Locality Optimizations.	Asia-Pacific Computer Systems Architecture Conference	2006	DBLP DOI BibTeX RDF	compiler optimizations, integer linear programming, loop transformations, data transformations, Cache locality, memory layouts
3	Christodoulos A. Floudas, Xiaoxia Lin	Mixed Integer Linear Programming in Process Scheduling: Modeling, Algorithms, and Applications.	Annals OR	2005	DBLP DOI BibTeX RDF	chemical process scheduling, continuous-time model, branch and bound, mixed-integer linear programming (MILP), discrete-time model
3	Jing Li 0002, Tao Jiang	An exact solution for finding minimum recombinant haplotype configurations on pedigrees with missing data by integer linear programming.	RECOMB	2004	DBLP DOI BibTeX RDF	missing data imputation, pedigree analysis, integer linear programming, branch-and-bound algorithm, recombination, haplotyping
3	Frank J. Iannarilli Jr., Paul A. Rubin	Feature Selection for Multiclass Discrimination via Mixed-Integer Linear Programming.	IEEE Trans. Pattern Anal. Mach. Intell.	2003	DBLP DOI BibTeX RDF	classification, Feature selection, branch-and-bound, discrimination, mixed-integer linear programming
3	Mahmut T. Kandemir, Prithviraj Banerjee, Alok N. Choudhary, J. Ramanujam, Eduard Ayguadé	Static and Dynamic Locality Optimizations Using Integer Linear Programming.	IEEE Trans. Parallel Distrib. Syst.	2001	DBLP DOI BibTeX RDF	cache miss estimation, compiler optimizations, integer linear programming, Data reuse, cache locality, memory layouts
3	Sébastien Lapierre, Ettore Merlo, Gilles Savard, Giuliano Antoniol, Roberto Fiutem, Paolo Tonella	Automatic Unit Test Data Generation Using Mixed-Integer Linear Programming and Execution Trees. (PDF / PS)	ICSM	1999	DBLP DOI BibTeX RDF	execution tree, extended path constraint (EPC), path infeasibility, symbolic execution, mixed-integer linear programming, Automatic test data generation
2	Jia-Wei Fang, Chin-Hsiung Hsu, Yao-Wen Chang	An Integer-Linear-Programming-Based Routing Algorithm for Flip-Chip Designs.	IEEE Trans. on CAD of Integrated Circuits and Systems	2009	DBLP DOI BibTeX RDF
2	Vivek Dua, Efstratios N. Pistikopoulos	Multiparametric Mixed Integer Linear Programming.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Parametric bounds, Comparison of parametric solutions, Branch and bound
2	Luís Mingote, Francisco Azevedo	Colored Nonograms: An Integer Linear Programming Approach.	EPIA	2009	DBLP DOI BibTeX RDF
2	Ernst Althaus, Gunnar W. Klau, Oliver Kohlbacher, Hans-Peter Lenhof, Knut Reinert	Integer Linear Programming in Computational Biology.	Efficient Algorithms	2009	DBLP DOI BibTeX RDF
2	Meikang Qiu, Lei Zhang, Edwin Hsing-Mean Sha	ILP optimal scheduling for multi-module memory.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	variable assignment, integer linear programming, energy saving, instruction scheduling
2	Duo Ding, Yilin Zhang, Haiyu Huang, Ray T. Chen, David Z. Pan	O-Router: an optical routing framework for low power on-chip silicon nano-photonic integration.	DAC	2009	DBLP DOI BibTeX RDF	low power nanophotonic integration, optical routing, integer linear programming
2	Haris Javaid, Sri Parameswaran	A design flow for application specific heterogeneous pipelined multiprocessor systems.	DAC	2009	DBLP DOI BibTeX RDF	design space exploration, integer linear programming, MPSoCs
2	Kun Yuan, Jae-Seok Yang, David Z. Pan	Double patterning layout decomposition for simultaneous conflict and stitch minimization.	ISPD	2009	DBLP DOI BibTeX RDF	double patterning lithography, layout decomposition, integer linear programming
2	Wanping Zhang, Wenjian Yu, Xiang Hu, Amirali Shayan Arani, A. Ege Engin, Chung-Kuan Cheng	Predicting the worst-case voltage violation in a 3D power network.	SLIP	2009	DBLP DOI BibTeX RDF	worst case violation prediction, integer linear programming, leakage, clock gating, power networks
2	Xiaoxia Wu, Paul Falkenstern, Krishnendu Chakrabarty, Yuan Xie	Scan-chain design and optimization for three-dimensional integrated circuits.	JETC	2009	DBLP DOI BibTeX RDF	scan-chain design, genetic algorithm, integer linear programming, randomized rounding, LP relaxation, 3D ICs
2	Minsik Cho, Katrina Lu, Kun Yuan, David Z. Pan	BoxRouter 2.0: A hybrid and robust global router with layer assignment for routability.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	VLSI, physical design, congestion, integer linear programming, global routing, routability, layer assignment
2	Asma Kahoul, George A. Constantinides, Alastair M. Smith, Peter Y. K. Cheung	Heterogeneous Architecture Exploration: Analysis vs. Parameter Sweep.	ARC	2009	DBLP DOI BibTeX RDF	FPGA, Reconfigurable architectures, Floorplanning, integer linear programming (ILP)
2	Lihong Shi, Houming Fan, Pingquan Gao, Hanyu Zhang	Network Model and Optimization of Medical Waste Reverse Logistics by Improved Genetic Algorithm.	ISICA	2009	DBLP DOI BibTeX RDF	medical waste, reverse logistics network, genetic algorithm, mixed integer linear programming
2	Suraj Kumar Jaiswal, Aura Ganz, Ramgopal R. Mettu	An Optimization Framework for Demand-based Fair Stream Allocation in MIMO Ad Hoc Networks.	MONET	2009	DBLP DOI BibTeX RDF	multiuser communication, scheduling, ad hoc networks, integer linear programming, multiple input multiple output
2	Alain Billionnet	Redundancy Allocation for Series-Parallel Systems Using Integer Linear Programming.	IEEE Transactions on Reliability	2008	DBLP DOI BibTeX RDF
2	Bin Hu, Markus Leitner, Günther R. Raidl	Combining variable neighborhood search with integer linear programming for the generalized minimum spanning tree problem.	J. Heuristics	2008	DBLP DOI BibTeX RDF	Generalized minimum spanning tree, Dynamic programming, Integer linear programming, Variable neighborhood search
2	Günther R. Raidl, Jakob Puchinger	Combining (Integer) Linear Programming Techniques and Metaheuristics for Combinatorial Optimization.	Hybrid Metaheuristics	2008	DBLP DOI BibTeX RDF
2	Jan Martijn E. M. van der Werf, Boudewijn F. van Dongen, Cor A. J. Hurkens, Alexander Serebrenik	Process Discovery Using Integer Linear Programming.	Petri Nets	2008	DBLP DOI BibTeX RDF
2	Yi Zhu, Jianhua Liu, Haikun Zhu, Chung-Kuan Cheng	Timing-power optimization for mixed-radix Ling adders by integer linear programming.	ASP-DAC	2008	DBLP DOI BibTeX RDF
2	Minje Jun, Sungjoo Yoo, Eui-Young Chung	Mixed integer linear programming-based optimal topology synthesis of cascaded crossbar switches.	ASP-DAC	2008	DBLP DOI BibTeX RDF
2	Serdar Bozdag, Timothy J. Close, Stefano Lonardi	Computing the Minimal Tiling Path from a Physical Map by Integer Linear Programming.	WABI	2008	DBLP DOI BibTeX RDF
2	Hadi Parandeh-Afshar, Philip Brisk, Paolo Ienne	Improving Synthesis of Compressor Trees on FPGAs via Integer Linear Programming.	DATE	2008	DBLP DOI BibTeX RDF
2	Mohamed El-Amine Chergui, Mustapha Moulaï, Fatma Zohra Ouaïl	Solving the Multiple Objective Integer Linear Programming Problem.	MCO	2008	DBLP DOI BibTeX RDF
2	Liying Yang, Jianda Han, Chendong Wu, Yiyong Nie	A solution of mixed integer linear programming for obstacle-avoided pursuit problem.	IJCNN	2008	DBLP DOI BibTeX RDF
2	Huy Nguyen Anh Pham, Arthur M. D. Shr, Peter P. Chen	An Integer Linear Programming Approach for Dedicated Machine Constraint.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	Dedicated Machine Constraint, Photolithography, Integer Linear Programming, Semiconductor Manufacturing
2	Haris Javaid, Sri Parameswaran	Synthesis of heterogeneous pipelined multiprocessor systems using ILP: jpeg case study.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	design space exploration, integer linear programming, MPSoCs
2	Leigh E. Hodge, Sasthi C. Ghosh, Steve Hurley, Roger M. Whitaker, Stuart M. Allen	Coverage and service bounds for UMTS.	Mobility Conference	2008	DBLP DOI BibTeX RDF	optimization, tabu search, integer linear programming
2	Meng-Chiou Wu, Rung-Bin Lin, Shih-Cheng Tsai	Chip placement in a reticle for multiple-project wafer fabrication.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	Multiple-project wafers (MPW), compatibility graph, reticle floorplanning, shuttle mask, wafer dicing, simulated annealing (SA), set cover, mixed-integer linear programming (MILP), conflict graph, set partition
2	Maulin Patel, Ramaswamy Chandrasekaran, Subbarayan Venkatesan	Improved quasi-path restoration in mesh networks.	IEEE/ACM Trans. Netw.	2008	DBLP DOI BibTeX RDF	link restoration, path restoration, quasi-path restoration, selfhealing networks, spare capacity allocation, integer linear programming, network survivability
2	Markus Leitner, Günther R. Raidl	Variable Neighborhood Search for a Prize Collecting Capacity Constrained Connected Facility Location Problem.	SAINT	2008	DBLP DOI BibTeX RDF	Network Design, Integer Linear Programming, Variable Neighborhood Search, Connected Facility Location
2	Philip Doganis, Haralambos Sarimveis	Optimal production scheduling for the dairy industry.	Annals OR	2008	DBLP DOI BibTeX RDF	Yogurt, Scheduling, Optimization, Parallel machines, Mixed-integer linear programming, Packaging
2	Shizu Sakakubara, Yuusuke Kounoike, Yuji Shinano, Ikuko Shimizu	Automatic Range Image Registration Using Mixed Integer Linear Programming.	ACCV	2007	DBLP DOI BibTeX RDF
2	Stratos Papadomanolakis, Anastassia Ailamaki	An Integer Linear Programming Approach to Database Design.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
2	Jia-Wei Fang, Chin-Hsiung Hsu, Yao-Wen Chang	An Integer Linear Programming Based Routing Algorithm for Flip-Chip Design.	DAC	2007	DBLP DOI BibTeX RDF
2	Christian Reinl, Oskar von Stryk	Optimal control of multi-vehicle-systems under communication constraints using mixed-integer linear programming.	ROBOCOMM	2007	DBLP DOI BibTeX RDF
2	Alexandru Turjan, Bart Kienhuis, Ed F. Deprettere	Classifying interprocess communication in process network representation of nested-loop programs.	ACM Trans. Embedded Comput. Syst.	2007	DBLP DOI BibTeX RDF	hybrid classification approach, matrix manipulations, Static analysis, integer linear programming
2	Xiaojun Cao, Vishal Anand, Chunming Qiao	Waveband switching for dynamic traffic demands in multigranular optical networks.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	multigranular (MG), optical cross-connects, waveband switching, wavelength division multiplexing (WDM), integer linear programming (ILP)
2	Jianhua Liu, Yi Zhu, Haikun Zhu, Chung-Kuan Cheng, John Lillis	Optimum Prefix Adders in a Comprehensive Area, Timing and Power Design Space.	ASP-DAC	2007	DBLP DOI BibTeX RDF	optimum prefix adders, static power consumptions, dynamic power consumptions, high-level synthesis, integer linear programming, buffer insertion, gate sizing, power models, ASIC designs, parallel prefix adder, binary adder
2	Yuchun Ma, Zhuoyuan Li, Jason Cong, Xianlong Hong, Glenn Reinman, Sheqin Dong, Qiang Zhou	Micro-architecture Pipelining Optimization with Throughput-Aware Floorplanning.	ASP-DAC	2007	DBLP DOI BibTeX RDF	graph-based approach, microarchitecture pipelining optimization, throughput-aware floorplanning, block pipelining, interconnect pipelining, graph-based algorithm, mixed integer linear programming, wire pipelining
2	Haikun Zhu, Yi Zhu, Chung-Kuan Cheng, David M. Harris	An Interconnect-Centric Approach to Cyclic Shifter Design Using Fanout Splitting and Cell Order Optimization.	ASP-DAC	2007	DBLP DOI BibTeX RDF	64 bit, interconnect-centric approach, fanout splitting, cell order optimization, logarithmic cyclic shifter design, demultiplexers, shifting path, nonshifting paths, accumulated wire load, switching probabilities, integer linear programming
2	Smita Krishnaswamy, Igor L. Markov, John P. Hayes	Tracking Uncertainty with Probabilistic Logic Circuit Testing.	IEEE Design & Test of Computers	2007	DBLP DOI BibTeX RDF	probabilistic faults, logic circuit testing, fault-modeling framework, test-vector sensitivity, integer linear programming
2	Fadi A. Aloul, Arathi Ramani, Karem A. Sakallah, Igor L. Markov	Solution and Optimization of Systems of Pseudo-Boolean Constraints.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Pseudo Boolean (PB), Max-ONE, Global Routing, Conjunctive Normal Form (CNF), Backtrack Search, Integer Linear Programming (ILP), Max-SAT, Boolean Satisfiability (SAT)
2	Wei-Ting Yen, Shih-Hsu Huang, Chun-Hua Cheng	Simultaneous Operation Scheduling and Operation Delay Selection to Minimize Cycle-by-Cycle Power Differential.	EUC Workshops	2007	DBLP DOI BibTeX RDF	Cycle-by-cycle Power Differential, Low Power, High-Level Synthesis, Integer Linear Programming, Operation Scheduling, Data-Path Synthesis
2	C. Li, J. M. van den Akker, Sjaak Brinkkemper, Guido Diepen	Integrated Requirement Selection and Scheduling for the Release Planning of a Software Product.	REFSQ	2007	DBLP DOI BibTeX RDF	Requirement Selection, Requirement Scheduling, Simulation, Release Planning, Integer Linear Programming (ILP)
2	Zoltán Ádám Mann, András Orbán, Péter Arató	Finding optimal hardware/software partitions.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Branch-and-bound, Integer linear programming, Hardware/software partitioning, Hardware/software co-design
2	Premysl Sucha, Zdenek Hanzálek, Antonin Hermanek, Jan Schier	Scheduling of Iterative Algorithms with Matrix Operations for Efficient FPGA Design - Implementation of Finite Interval Constant Modulus Algorithm.	VLSI Signal Processing	2007	DBLP DOI BibTeX RDF	imperfectly nested loops, FPGA, high-level synthesis, implementation, integer linear programming, VLSI design, iterative algorithms, cyclic scheduling, blind equalization
2	Josep Carmona, José Manuel Colom, Jordi Cortadella, Fernando García-Vallés	Synthesis of asynchronous controllers using integer linear programming.	IEEE Trans. on CAD of Integrated Circuits and Systems	2006	DBLP DOI BibTeX RDF
2	Ted K. Ralphs, Matthew V. Galati	Decomposition and Dynamic Cut Generation in Integer Linear Programming.	Math. Program.	2006	DBLP DOI BibTeX RDF	Integer Programming, Lagrangian Relaxation, Branch and Cut, Decomposition Algorithms, Branch and Price, Dantzig-Wolfe Decomposition
2	Andrzej Bednarski, Christoph W. Kessler	Optimal Integrated VLIW Code Generation with Integer Linear Programming.	Euro-Par	2006	DBLP DOI BibTeX RDF
2	Zhixiang Yin, Jianzhong Cui, Jin Yang, Jin Xu	DNA Computing Model of the Integer Linear Programming Problem Based on Molecular Beacon.	ICIC	2006	DBLP DOI BibTeX RDF
2	Ozcan Ozturk, G. Chen, Mahmut T. Kandemir, Mustafa Karaköy	An Integer Linear Programming Based Approach to Simultaneous Memory Space Partitioning and Data Allocation for Chip Multiprocessors.	ISVLSI	2006	DBLP DOI BibTeX RDF
2	A. Allam, J. Ramanujam, Gerald Baumgartner, P. Sadayappan	Memory minimization for tensor contractions using integer linear programming.	IPDPS	2006	DBLP DOI BibTeX RDF
2	Jianhui Wu, Edmund H. Durfee	Mixed-integer linear programming for transition-independent decentralized MDPs.	AAMAS	2006	DBLP DOI BibTeX RDF	transition-independent decentralized MDP, mixed integer linear programming, MDP, piecewise linear approximation
2	Rajkishore Barik, Christian Grothoff, Rahul Gupta, Vinayaka Pandit, Raghavendra Udupa	Optimal Bitwise Register Allocation Using Integer Linear Programming.	LCPC	2006	DBLP DOI BibTeX RDF
2	Ozcan Ozturk, Mahmut T. Kandemir, Suleyman Tosun	An ILP based approach to address code generation for digital signal processors.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	code generation, DSP, integer linear programming
2	Yu Wang 0002, Yongpan Liu, Rong Luo, Huazhong Yang, Hui Wang 0004	Two-phase fine-grain sleep transistor insertion technique in leakage critical circuits.	ISLPED	2006	DBLP DOI BibTeX RDF	leakage current reduction, two-phase fine-grain sleep transistor insertion, mixed integer linear programming
2	Wassim El-Hajj, Dionysios Kountanis, Ala I. Al-Fuqaha, Hani Harbi	Optimal hierarchical energy efficient design for MANETs.	IWCMC	2006	DBLP DOI BibTeX RDF	mobile wireless ad-hoc network, energy efficiency, integer linear programming, hierarchical design
2	Song Guo, Oliver W. W. Yang	Minimum-Energy Multicast in Wireless Ad Hoc Networks with Adaptive Antennas: MILP Formulations and Heuristic Algorithms.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	minimum-energy routing, multicast algorithm, adaptive antenna, Wireless ad hoc networks, mixed integer linear programming, tree construction
2	Daniel Lichtblau	Making Change and Finding Repfigits: Balancing a Knapsack.	ICMS	2006	DBLP DOI BibTeX RDF	Frobenius instance solving, change-making problem, Frobenius numbers, Keith numbers, repfigits, integer linear programming, lattice reduction
2	B. C. Rajeshkumar, T. RameshBabu	Evaluation of logistics related policies between two different levels of the supply chain network - a case study.	Annals OR	2006	DBLP DOI BibTeX RDF	Supply chain network, Inventory routing problem (IRP), Logistics, Mixed integer linear programming (MILP), Automobile industry
2	Yuanlin Lu, Vishwani D. Agrawal	Leakage and Dynamic Glitch Power Minimization Using Integer Linear Programming for Vth Assignment and Path Balancing.	PATMOS	2005	DBLP DOI BibTeX RDF
2	Ozcan Ozturk, Mahmut T. Kandemir	Integer linear programming based energy optimization for banked DRAMs.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	low-power, data compression, DRAM, ILP, data migration, memory banking
2	Shiann-Rong Kuang, Chin-Yang Chen, Ren-Zheng Liao	Partitioning and Pipelined Scheduling of Embedded System Using Integer Linear Programming.	ICPADS	2005	DBLP DOI BibTeX RDF
2	Dan Roth, Wen-tau Yih	Integer linear programming inference for conditional random fields.	ICML	2005	DBLP DOI BibTeX RDF
2	Laleh Behjat, Andy Chiang	Fast integer linear programming based models for VLSI global routing.	ISCAS	2005	DBLP DOI BibTeX RDF
2	Kubilay Atasu, Günhan Dündar, Can C. Özturan	An integer linear programming approach for identifying instruction-set extensions.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	integer linear, programming, ASIPs, extensible processors
2	Yujia Jin, Nadathur Satish, Kaushik Ravindran, Kurt Keutzer	An automated exploration framework for FPGA-based soft multiprocessor systems.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	IPv4 packet forwarding, soft multiprocessors, FPGA, design space exploration, integer linear programming
2	Hervé Kerivin, Dritan Nace, Thi-Tuyet-Loan Pham	Design of capacitated survivable networks with a single facility.	IEEE/ACM Trans. Netw.	2005	DBLP DOI BibTeX RDF	rerouting strategies, network topology, dimensioning, mixed-integer linear programming, survivable networks
2	Ismail Kadayif, Mahmut T. Kandemir, Guilin Chen, Ozcan Ozturk, Mustafa Karaköy, Ugur Sezer	Optimizing Array-Intensive Applications for On-Chip Multiprocessors.	IEEE Trans. Parallel Distrib. Syst.	2005	DBLP DOI BibTeX RDF	On-chip multiprocessor, adaptive loop parallelization, embedded systems, energy consumption, integer linear programming, constrained optimization
2	Nikolaos F. Matsatsinis, Vassilios Chr Fortsas	A multicriteria methodology for the assessment of distance education trainees.	Operational Research	2005	DBLP DOI BibTeX RDF	Multiobjective Mixed Integer Linear Programming, Global Criterion Method, UTA*, Distance Education, Multicriteria Decision Analysis
2	Alain Darte, Guillaume Huard	New Complexity Results on Array Contraction and Related Problems.	VLSI Signal Processing	2005	DBLP DOI BibTeX RDF	array contraction, NP-completeness, integer linear programming, code optimization, memory reduction
2	Arnold Neumaier, Oleg Shcherbina	Safe bounds in linear and mixed-integer linear programming.	Math. Program.	2004	DBLP DOI BibTeX RDF	directed rounding, mixed-integer rounding, generalized Gomory cut, safe cuts, safe presolve, certificate of infeasibility, lower bounds, linear programming, mixed-integer programming, interval arithmetic, branch-and-cut, rounding errors
2	Javier Sosa, Juan A. Montiel-Nelson, Héctor Navarro, José C. García	Functional Vector Generation for Combinational Circuits Based on Data Path Coverage Metric and Mixed Integer Linear Programming.	ISQED	2004	DBLP DOI BibTeX RDF
2	Alexandru Turjan, Bart Kienhuis, Ed F. Deprettere	An Integer Linear Programming Approach to Classify the Communication in Process Networks.	SCOPES	2004	DBLP DOI BibTeX RDF
2	Alexandru Turjan, Bart Kienhuis, Ed F. Deprettere	Translating affine nested-loop programs to process networks.	CASES	2004	DBLP DOI BibTeX RDF	integer linear programming, process networks, heterogeneous embedded systems
2	Philip Brisk, Adam Kaplan, Majid Sarrafzadeh	Area-efficient instruction set synthesis for reconfigurable system-on-chip designs.	DAC	2004	DBLP DOI BibTeX RDF	field-programmable gate array (FPGA), compiler, resource sharing, integer linear programming (ILP)
2	Mayur Naik, Jens Palsberg	Compiling with code-size constraints.	ACM Trans. Embedded Comput. Syst.	2004	DBLP DOI BibTeX RDF	Banked architecture, register allocation, integer linear programming, space optimization
2	Pin-Han Ho, János Tapolcai, Tibor Cinkler	Segment shared protection in mesh communications networks with bandwidth guaranteed tunnels.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	survivable routing, working and protection paths, integer linear programming (ILP), shared risk link group (SRLG), segment shared protection (SSP)
2	Premysl Sucha, Zdenek Pohl, Zdenek Hanzálek	Scheduling of Iterative Algorithms on FPGA with Pipelined Arithmetic Unit.	IEEE Real-Time and Embedded Technology and Applications Symposium	2004	DBLP DOI BibTeX RDF	monoprocessor, FPGA, integer linear programming, iterative algorithms, Cyclic scheduling
2	Bart De Vleeschauwer, Filip De Turck, Bart Dhoedt, Piet Demeester	On the Construction of QoS Enabled Overlay Networks.	QofIS	2004	DBLP DOI BibTeX RDF	QoS, Overlay Network, Integer Linear Programming, Server Placement
2	Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Toby Walsh	Hybrid Modelling for Robust Solving.	Annals OR	2004	DBLP DOI BibTeX RDF	modelling, integration, application, constraint programming, integer linear programming
2	V. Krishna Nandivada, Jens Palsberg	Efficient spill code for SDRAM.	CASES	2003	DBLP DOI BibTeX RDF	optimization, integer linear programming, SDRAM, memory layout
2	Feng Gao, John P. Hayes	ILP-based optimization of sequential circuits for low power.	ISLPED	2003	DBLP DOI BibTeX RDF	low power, finite-state machine, decomposition, integer linear programming
2	Yang Yu, Viktor K. Prasanna	Energy-balanced task allocation for collaborative processing in networked embedded systems.	LCTES	2003	DBLP DOI BibTeX RDF	integer linear programming, task allocation, networked embedded systems, energy-balanced
2	Lal George, Matthias Blume	Taming the IXP network processor.	PLDI	2003	DBLP DOI BibTeX RDF	Intel IXA, bank assignment, programming languages, code generation, register allocation, integer linear programming, network processors
2	Roberto Aringhieri, Federico Malucelli	Optimal Operations Management and Network Planning of a District Heating System with a Combined Heat and Power Plant.	Annals OR	2003	DBLP DOI BibTeX RDF	district heating, electrical power plant, network flows with temperatures, linear programming, case study, linearizations, mixed integer linear programming
2	Isabel Correia, M. Eugénia V. Captivo	A Lagrangean Heuristic for a Modular Capacitated Location Problem.	Annals OR	2003	DBLP DOI BibTeX RDF	capacitated location, Lagrangean heuristic, mixed integer linear programming
2	Margarida Moz, Margarida Vaz Pato	An Integer Multicommodity Flow Model Applied to the Rerostering of Nurse Schedules.	Annals OR	2003	DBLP DOI BibTeX RDF	employee scheduling, rerostering, integer multicommodity flow problems, integer linear programming
2	Ismail Kadayif, Mahmut T. Kandemir, Ugur Sezer	An integer linear programming based approach for parallelizing applications in On-chip multiprocessors.	DAC	2002	DBLP DOI BibTeX RDF	constraint-based compilation, embedded systems, loop-Level parallelism
2	Farinaz Koushanfar, Jennifer L. Wong, Jessica Feng, Miodrag Potkonjak	ILP-based engineering change.	DAC	2002	DBLP DOI BibTeX RDF	engineering change, satisfiability(SAT), synthesis, integer linear programming