• Deswik.Sched

  • Referenced in 1 article [sw23898]
  • Gantt chart scheduler specifically designed to handle the challenges of mine planning...
  • CasCADe

  • Referenced in 1 article [sw27247]
  • construction planning. However, existing solutions lack adequate visual mechanisms to inspect the underlying schedule ... visualization to improve 4D analysis of construction plans. We first present a review of previous ... construction plans of an Oil & Gas process plant. The system made evident schedule uncertainties, identified...
  • SCHEDULE++

  • Referenced in 1 article [sw13390]
  • production (devices, manpower, raw materials,...). Different scheduling algorithms, e.g. for the optimization of device load ... analyzed before a change of the plan is confirmed. With these features, an optimal usage ... achieved. On the software level, Schedule++ can, on the contrary to other APS systems...
  • ProSched

  • Referenced in 1 article [sw25544]
  • modules for feedstock scheduling, product scheduling, operations scheduling, feed blend optimization and product blend optimization ... flexibility of taking input from any production planning package and interacting with any data historian...
  • SimEvents

  • Referenced in 3 articles [sw32835]
  • model routing, processing delays, and prioritization for scheduling and communication. With SimEvents you can study ... research for decisions related to forecasting, capacity planning, and supply-chain management...
  • PSPLIB-ENERGY

  • Referenced in 2 articles [sw31318]
  • multi-mode resource-constrained project scheduling problems. Data of activities, durations and resource requeriments ... goal of solving methods is to plan the sequence of activities and energy consumption...
  • HTGS

  • Referenced in 1 article [sw41633]
  • genetic algorithm for solving the hydrothermal generation scheduling (HTGS) problem are presented. This ... efficient HTGS software package for system operation planning needs. In the thermal unit commitment subproblem ... with rather high probability. In the hydroelectric scheduling subproblems, complete solution algorithms and encoding/decoding techniques...
  • ImproteK

  • Referenced in 2 articles [sw31404]
  • issue of the dialectic between reactivity and planning in interactive music improvisation. It covers ... this anticipation with reactivity using mixed static/dynamic scheduling techniques, and an audio rendering module performing...
  • SIMPSON

  • Referenced in 1 article [sw33530]
  • which we modeled day-to-day scheduling decisions made at a manufacturing facility ... plant. The short-term intelligent manufacturing planning support for nuclear fuel tubes system (SIMPSON ... focus in this paper is on scheduling...
  • qhasm

  • Referenced in 2 articles [sw09338]
  • write .q files then you should plan on having to modify them extensively for future ... qhasm’s cycle counter, range analyzer, and scheduler are several generations behind the current...
  • Irri4web

  • Referenced in 1 article [sw22582]
  • webgis. A Decision Support System for irrigation scheduling is proposed as a tool for improving ... newly implemented Public Waters General Exploitation Plan fixes new ceilings to the use of irrigation...
  • ANAPSID

  • Referenced in 2 articles [sw36023]
  • executions may frequently be unsuccessful. First, fixed plans identified following the traditional optimize-then-execute ... SPARQL endpoints that adapts query execution schedulers to data availability and run-time conditions. ANAPSID...
  • SinkTrail

  • Referenced in 1 article [sw20848]
  • recent years. Current researches either focus on planning a mobile sink’s moving trajectory ... sink’s future locations cannot be scheduled in advance, we propose two energy-efficient proactive...
  • GridSpice

  • Referenced in 1 article [sw25962]
  • source simulation framework for modeling, designing, and planning of the smart grid. GridSpice seamlessly integrates ... distributed generation and developing optimal dispatch schedules for flexible loads. The GridSpice framework and Gridlab...
  • ARMS

  • Referenced in 65 articles [sw00048]
  • ARMS: an algebraic recursive multilevel solver for general...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CCSP

  • Referenced in 14 articles [sw00111]
  • CCSP: A formal system for distributed program debugging...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CMIT

  • Referenced in 4 articles [sw00137]
  • We present an LP model for resource deployment...
  • Coq

  • Referenced in 1888 articles [sw00161]
  • Coq is a formal proof management system. It...