• # slimgb

• Referenced in 19 articles [sw00878]
• monomial ordering. Further key features of the algorithm are parallel reductions, exchanging members ... algorithm is very flexible, the strategy is controlled by a single function which calculates...
• # PMTBR

• Referenced in 20 articles [sw02086]
• family of approximate principal-components-like reduction algorithms We present a family of algorithms that ... possess simple error estimation and order control procedures. By tailoring the method to take into...
• # VarNet

• Referenced in 9 articles [sw42184]
• differentiable and can directly be used for control and optimization of PDEs. Finally, VarNet ... natural tool for model order reduction (MOR) of PDEs. We demonstrate the performance...
• # Kuai

• Referenced in 2 articles [sw34182]
• SDNs. Kuai takes as input a controller implementation written in Murphi, a description ... Kuai uses a set of partial order reduction techniques specific to the SDN domain that ... given time and unboundedly many control messages between the controller and the switches. We demonstrate ... show that our set of partial order reduction techniques significantly reduces the state spaces...
• # HPF/JA

• Referenced in 6 articles [sw00417]
• explicitly parallelize or optimize their programs. In order to resolve the situation, we have developed ... control over sophisticated parallelization and communication optimizations. They include parallelization of loops with complicated reductions...
• # Flamel

• Referenced in 5 articles [sw34742]
• expression height reduction”: rewriting an ensemble of expressions using algebraic properties in order to compute ... description of a datapath and a controller, and at a sufficient level of detail...
• # pFaces

• Referenced in 3 articles [sw30630]
• parallel algorithms are designed for abstraction-based controller synthesis. Then, they are implemented inside pFaces ... Results show remarkable reduction in the computation time by several orders of magnitudes as number...
• # PARTS

• Referenced in 2 articles [sw03123]
• facilitating real-time analysis. In order to control the state-explosion problem, PARTS employs several ... optimization techniques aimed at state-space reduction. In this paper we discuss our approach...

• Referenced in 1 article [sw10185]
• analog circuits. The transient symbolic model order reduction allows the approximation of behavioral models keeping ... larger symbolic systems. As example, a voltage controller circuit is reduced using the introduced methods...
• # MathEnergy

• Referenced in 3 articles [sw40607]
• equipped for the superordinate planning, monitoring and control tasks, based on increasingly large and coupled ... selected new developments related to model order reduction for gas networks, state estimation...
• # RARL2

• Referenced in 3 articles [sw31514]
• stable rational L2 -approximation of prescribed order to a H2 matrix-valued function given ... data). It can be used for model reduction, identification from frequency data, pole recovery ... which guarantees: stability of the approximant; degree control; well-conditionning...
• # DRAGONS

• Referenced in 1 article [sw39644]
• control input parameters and in some cases will offer to interactively optimize some data reduction ... steps, e.g., change the order of fit and visualize the new solution. The project makes...
• # cpr

• Referenced in 1 article [sw20286]
• coined control polygon reduction’ (CPR) and control net reduction’ (CNR). B-Splines are commonly used ... Splines are defined by a polynomial order and a knot sequence. Defining the knot sequence ... spline basis matrices, construction of control polygons and control nets, and the use of diagnostics...
• # SINGRAR

• Referenced in 2 articles [sw02322]
• Internal Battle (all engineering and damage control activities that ensure high availability of ship ... parameterisation of the knowledge base in order to accommodate virtually any type of ship ... decision support capabilities in case of failure; reduction of human resources required; and decrease...
• # TRAM

• Referenced in 2 articles [sw03369]
• prototyping. TRAM is an abstract machine for order-sorted conditional term rewritting systems (OSCTRSs ... TRAM adopts the E-strategy as its reduction strategy. Parallel TRAM is a parallel variant ... strategy. The Parallel E-strategy may control parallelism suitably by combining conditions. In this paper...
• # PECANS

• Referenced in 6 articles [sw02161]
• methodological approach is based on a reduction process of a physical phenomenon in components; each ... this paper are as follows. In order to apply this methodology a “Parallel environment ... essentially local. The second one is the control parallelism form which concerns the network...
• # MUSCOP

• Referenced in 7 articles [sw06143]
• grid Newton-Picard framework and yields a reduction of 68% in runtime for a nonlinear ... that the quality of the fine grid controls the accuracy of the solution while ... dynamic system solutions of first and second order, parallelization on the multiple shooting structure...
• # Eleven82

• Referenced in 1 article [sw17445]
• crash via a reduction to reachability. Our technique takes an input control-flow automaton ... apply existing abstraction techniques in order to do the work that is necessary to prove...