• Hadoop

  • Referenced in 122 articles [sw08481]
  • Apache Hadoop software library is a framework that allows for the distributed processing of large ... sets across clusters of computers using simple programming models. It is designed to scale...
  • Oyster

  • Referenced in 32 articles [sw19629]
  • theory provides a formal framework for the construction of verified programs, both specified and written...
  • FiberSCIP

  • Referenced in 8 articles [sw06291]
  • SCIP. SCIP (Solving Constraint Integer Programs), a framework for Constraint Integer Programming. Recently, parallel computing ... solver and constraint integer programming framework available in source code. There is a parallel extension ... relationship between them and the parallelization framework provided by UG (Ubiquity Generator) is presented, including ... FiberSCIP for solving mixed-integer linear programs (MIPs) and mixed-integer non-linear programs (MINLPs...
  • ASPARTIX

  • Referenced in 18 articles [sw08820]
  • ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming. The system ASPARTIX is a tool ... range of formalizations of Dung’s argumentation framework and generalizations thereof. ASPARTIX relies ... fixed disjunctive datalog program which takes an instance of an argumentation framework as input...
  • PhaseLift

  • Referenced in 178 articles [sw31783]
  • matrix completion. This paper develops a novel framework for phase retrieval, a problem which arises ... structured illuminations together with ideas from convex programming to recover the phase from intensity measurements...
  • MODELLER

  • Referenced in 33 articles [sw27731]
  • MODELLER: A Program for Protein Structure Modeling. MODELLER is used for homology or comparative modeling ... graphical or web interfaces or other frameworks...
  • FeynArts

  • Referenced in 107 articles [sw06474]
  • generation of diagrams in three levels. The program was taken up again ... developed version 2.2. The well-designed conceptual framework was kept, but the actual code...
  • CMARS

  • Referenced in 26 articles [sw08523]
  • optimization technique, in particular, the framework of conic quadratic programming. We call this new approach...
  • CPBPV

  • Referenced in 5 articles [sw00164]
  • CPBPV: a constraint-programming framework for bounded program verification. This paper studies how to verify ... specification and proposes a novel constraint-programming framework for bounded program verification (CPBPV). The CPBPV ... framework uses constraint stores to represent both the specification and the program and explores execution ... detect subtle errors in some programs for which other frameworks based on bounded model checking...
  • ParFUM

  • Referenced in 14 articles [sw08855]
  • Meshing. The ParFUM framework makes it easy to write adaptive parallel programs that utilize unstructured ... meshes. Programs can be written in Fortran90, C, or C++. ParFUM is the successor ... including refinement and coarsening. Using the ParFUM framework also allows you to take advantage ... written using the ParFUM framework closely resembles a sequential program. The difference is that...
  • HELAC-1LOOP

  • Referenced in 21 articles [sw24722]
  • technique and the HELAC framework, HELAC-1LOOP is a program that is capable of numerically ... benchmark results. The program is part of the HELAC-NLO framework that allows...
  • CPAchecker

  • Referenced in 50 articles [sw07408]
  • open-source framework for software verification, based on the concepts of configurable program analysis...
  • Optknock

  • Referenced in 8 articles [sw14685]
  • Optknock: a bilevel programming framework for identifying gene knockout strategies for microbial strain optimization. OptKnock...
  • POWHEG BOX

  • Referenced in 20 articles [sw09149]
  • general framework for implementing NLO calculations in shower Monte Carlo programs: the POWHEG ... computer code framework for implementing NLO calculations in shower Monte Carlo programs according...
  • TSPTW

  • Referenced in 36 articles [sw04709]
  • constraints, and Constraint Programming constraint solving techniques, makes the resulting framework effective in the TSPTW...
  • Korat

  • Referenced in 31 articles [sw07259]
  • presents Korat, a novel framework for automated testing of Java programs. Given a formal specification ... structures, including some from the Java Collections Framework. The experimental results show that...
  • K tool

  • Referenced in 17 articles [sw09746]
  • rewrite-based executable semantic framework in which programming languages, type systems, and formal analysis tools ... sequentializing computational tasks, such as fragments of program. 𝕂 (rewrite) rules make it explicit which ... This paper presents an overview of 𝕂 Framework and the 𝕂 Tool, focusing...
  • YAQUI

  • Referenced in 21 articles [sw18316]
  • YAQUI: an arbitrary Lagrangian--Eulerian computer program for fluid flow at all speeds. A numerical ... ICED-ALE) technique in the framework of a computer program called YAQUI, for which thecompleteflowdiagramandF0RTRANindexlistingareprovided...
  • SCIFF

  • Referenced in 15 articles [sw20513]
  • agent interaction in abductive logic programming: the SCIFF framework. SCIFF is a framework thought ... with a semantics based on abductive logic programming; SCIFF’s operational component...
  • Pyro

  • Referenced in 7 articles [sw08439]
  • this article we describe a programming framework called Pyro, which provides a set of abstractions ... allows students to write platform-independent robot programs. This project is unique because...