• ABACUS

  • Referenced in 116 articles [sw02948]
  • Simple reuse of code and the design of abstract data structures and algorithms...
  • DAKOTA

  • Referenced in 71 articles [sw05202]
  • uncertainty. By employing object-oriented design to implement abstractions of the key components required ... flexible and extensible problem-solving environment for design and performance analysis of computational models...
  • Xilinx

  • Referenced in 95 articles [sw07491]
  • From the revolutionary Vivado® Design Suite to All Programmable Abstractions - Xilinx, along with its ecosystem ... that are defining the next generation of design...
  • PETSc

  • Referenced in 1228 articles [sw04012]
  • enabling users to employ the level of abstraction that is most appropriate for a particular ... However, the power of the PETSc design and the algorithms it incorporates may make...
  • seL4

  • Referenced in 84 articles [sw15222]
  • verification of the seL4 microkernel from an abstract specification down to its C implementation ... hardware, and we used a unique design approach that fuses formal and operating systems techniques ... high-level abstract specification of kernel behaviour. This encompasses traditional design and implementation safety properties...
  • Isar

  • Referenced in 144 articles [sw04599]
  • abstraction for user-level work. The Isar formal proof language has been designed to satisfy...
  • GeoPDEs

  • Referenced in 107 articles [sw06413]
  • design of GeoPDEs and its relation to a quite comprehensive, abstract definition...
  • EasyLocal++

  • Referenced in 36 articles [sw04104]
  • EasyLocal++ relies on a few ”Design Patterns”, which are abstract structures of classes, commonly present...
  • Cadence SMV

  • Referenced in 27 articles [sw07795]
  • correct very early in the design process by building abstract system level models...
  • Reveal

  • Referenced in 20 articles [sw00801]
  • abstraction refinement, or CEGAR, and is suitable for verifying the complex control logic of designs ... performs automatic datapath abstraction yielding an approximation of the original design with a much smaller ... design error is reported. The Reveal system allows some user control over the abstraction ... performance of the various available options for abstraction and refinement. Based on our initial experience...
  • Graphviz

  • Referenced in 88 articles [sw01283]
  • representing structural information as diagrams of abstract graphs and networks. It has important applications ... networking, bioinformatics, software engineering, database and web design, machine learning, and in visual interfaces...
  • OTTER

  • Referenced in 316 articles [sw02904]
  • current automated deduction system Otter is designed to prove theorems stated in first-order logic ... main application of Otter is research in abstract algebra and formal logic. Otter...
  • ALBERT

  • Referenced in 82 articles [sw00025]
  • implementation of our toolbox ALBERT. The design of ALBERT is based on the natural hierarchy ... locally refined meshes and an abstract concept of general finite element spaces. As a result...
  • ABS

  • Referenced in 29 articles [sw21211]
  • paper presents ABS, an abstract behavioral specification language for designing executable models of distributed object...
  • ALPS

  • Referenced in 15 articles [sw00036]
  • This paper describes the design of the Abstract Library for Parallel Search (ALPS), a framework ... based on tree search. ALPS is specifically designed to support data-intensive algorithms, in which...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • combination. Its purpose is to support the design of theorem provers, logic programming languages, constraints ... takes from functional programming the concept of abstract data types and the function evaluation principle ... hard-wired and not accessible to the designer of an application. The strategy language offers...
  • GraphLab

  • Referenced in 23 articles [sw12830]
  • Framework For Parallel Machine Learning. Designing and implementing efficient, provably correct parallel machine learning ... algorithms is challenging. Existing high-level parallel abstractions like MapReduce are insufficiently expressive while ... design challenges. By targeting common patterns in ML, we developed GraphLab, which improves upon abstractions ... expressiveness of the GraphLab framework by designing and implementing parallel versions of belief propagation, Gibbs...
  • PAG

  • Referenced in 19 articles [sw00669]
  • theories of abstract interpretation and data flow analysis the implementation and design of analyzers...
  • Bebop

  • Referenced in 74 articles [sw08928]
  • Checker for Boolean Programs. We present the design, implementation and empirical evaluation of Bebop ... harnessing the inherent modularity in procedural abstraction and exploiting the locality of variable scoping, Bebop...
  • BiCePS

  • Referenced in 9 articles [sw06321]
  • algorithms. This paper describes the design of the Abstract Library for Parallel Search (ALPS ... based on tree search. ALPS is specifically designed to support data-intensive algorithms, in which...