• RSat

  • Referenced in 22 articles [sw13117]
  • applications such as model counting and knowledge compilation. RSat uses a phase selection heuristic that...
  • seL4

  • Referenced in 82 articles [sw15222]
  • implementation. We assume correctness of compiler, assembly code, and hardware, and we used a unique ... formal and operating systems techniques. To our knowledge, this is the first formal proof...
  • Firmato

  • Referenced in 12 articles [sw10595]
  • model containing, in a unified form, global knowledge of the security policy ... relationship model; (3) a model compiler translating the global knowledge of the model into firewall...
  • XPP-VC

  • Referenced in 5 articles [sw02335]
  • vectorization. A temporal partitioning phase guarantees the compilation of programs with unlimited complexity, provided that ... dependences or nesting levels. To our knowledge, the compilation performance is unmatched by any other...
  • Pinocchio

  • Referenced in 34 articles [sw10193]
  • additional feature, Pinocchio generalizes to zero-knowledge proofs at a negligible cost over the base ... provides an end-to-end toolchain that compiles a subset of C into programs that...
  • HiPER

  • Referenced in 1 article [sw01201]
  • Knowledge base compilation. The effective use of knowledge based systems technology to solve complex ... presents a technique for the complete compilation of knowledge bases directly into procedural code...
  • Propositional Resolution

  • Referenced in 1 article [sw28841]
  • intelligence and verification (for abductive reasoning, knowledge compilation, diagnosis, debugging etc.). We also show that...
  • SPEKTR

  • Referenced in 3 articles [sw01114]
  • reasoning. A survey of knowledge bases of sorting and compiling programs is given. The verification ... automatically shown with the use of knowledge bases...
  • HTGviz

  • Referenced in 1 article [sw23529]
  • user with clear information about how the compiler parallelizes the program and, at the same ... joint work of user knowledge and compiler techniques. HTGviz is implemented on top of Parafrase...
  • BaRT

  • Referenced in 2 articles [sw01950]
  • three major components: the knowledge acquisition system, the network compiler, and the core inference routines...
  • HITRAN

  • Referenced in 11 articles [sw28454]
  • transmission molecular absorption database. HITRAN is a compilation of spectroscopic parameters that a variety ... response to the need for detailed knowledge of the infrared properties of the atmosphere...
  • NOrec

  • Referenced in 8 articles [sw24487]
  • unmanaged languages, and both static and dynamic compilation; and easy acccommodation of closed nesting, inevitable ... avoidance mechanisms. To the best of our knowledge, no extant STM system combines this...
  • Helios

  • Referenced in 11 articles [sw01440]
  • Helios is the first (to our knowledge) modeling language for global optimization using in- terval ... optima in optimization problems. Helios statements are compiled to Newton, a constraint logic programming language...
  • FMPIntersectionTheory

  • Referenced in 9 articles [sw19977]
  • general effective Cartier divisors, we can compile a system of linear equations which determine ... instance projective space; to our knowledge, this is the first algorithm to be able...
  • plasp

  • Referenced in 7 articles [sw07080]
  • aims at keeping the actual compilation simple in favor of modeling planning techniques by meta ... planning community benefits from the knowledge representation and reasoning capacities...
  • InterAspect

  • Referenced in 1 article [sw13024]
  • transforming the compiler’s intermediate representation. Such transformations, however, require expert knowledge of GCC internals...
  • Rules2CP

  • Referenced in 5 articles [sw06255]
  • Rules2CP libraries for specific problems. The Packing Knowledge Modeling Language PKML is such a library ... constraints and specific industrial requirements. The Rules2CP compiler transforms Rules2CP statements into constraint programs...
  • SQLCert

  • Referenced in 1 article [sw28676]
  • ISO/IEC 2006 Final Committee draft. As SQL compilers’ logical optimisation is based on algebraic rewritings ... knowledge, executable mechanisation proposal of a (realistic fragment of) SQL compiler...
  • KBPs

  • Referenced in 1 article [sw28577]
  • relating agents’ knowledge and behaviour. Here we present a general scheme for compiling KBPs...
  • LISA

  • Referenced in 3 articles [sw02450]
  • specific environment that includes editors (a language-knowledgable editor and a structured editor), a compiler/interpreter ... tools such as scanner generators, parser generators, compiler generators, graphic tools, editors and conversion tools...