Third-Party Interfaces

Thanks to the many members of the NEOS community, several third-party interfaces exist allowing users to utilize the NEOS Server in additional ways. The following is a list of these interfaces: Julia R Pyomo OpenSolver SolverStudio Javascript Client PIFOP — online AMPL IDE Julia A third-party Julia interface to the …

Demo 3: Spatial Architecture Scheduling

Hardware specialization has emerged as an important way to sustain performance improvements of microprocessors to address transistor energy efficiency challenges and general purpose processing’s inefficiencies. The insight of many specialization techniques is to “map” large regions of computation to the hardware, breaking away from instruction-by-instruction pipelined execution and instead adopting a spatial architecture paradigm. The optimization problem we solve is to schedule computation nodes (in a Directed Acyclic Graph) to the spatial architecture’s ISA-exposed hardware resources. Download GAMS Code

Demo 1: Instruction Set Customization

Generating custom instruction candidates from an application is the process of analyzing the intermediate representation of the program, and finding subgraphs which can be made into instructions. Depending on the target system, these candidates must have certain properties in terms legality (including graph structure or node types), and should improve the performance as much as possible with respect to the software execution. The optimization problem we solve is to determine the convex set of operations inside a basic block, forming a custom instruction template, which maximizes the expected latency reduction.

Download GAMS Code

Multiple Traveling Salesman Problem (mTSP)

The Multiple Traveling Salesman Problem (mTSP) is a generalization of the Traveling Salesman Problem (TSP) in which more than one salesman is allowed. Given a set of cities, one depot where \(m\) salesmen are located, and a cost metric, the objective of the \(m\)TSP is to determine a tour for each salesman such that the total tour cost is minimized and that each city is visited exactly once by only one salesman.

Woodman’s Grocery Delivery

This case study demonstrates how supermarkets can make use of ridesharing vehicles to augment their delivery fleet and how to develop a model that routes both the supermarkets vehicles and the ridesharing vehicles to satisfy customer demands. The problem can be modeled as a Heterogeneous Fleet Vehicle Routing Problem with Time Windows (HVRPTW).