• TOY

  • Referenced in 56 articles [sw09812]
  • Multiparadigm Declarative System. TOY is the concrete implementation of CRWL, a wide theoretical framework ... deterministic functions as the core notion. Other aspects of CRWL supported by TOY are: polymorphic ... needed narrowing combined with constraint solving. The implementation is based on a compilation...
  • JACK

  • Referenced in 5 articles [sw30937]
  • main features, we describe detailed implementation aspects arising from the asynchronous context. While the library ... experiments validate this new library, used for implementing both a classical parallel scheme...
  • Leibniz

  • Referenced in 36 articles [sw12871]
  • development and implementation of logic-based intelligent systems. The package covers various aspect...
  • LISP-STAT

  • Referenced in 117 articles [sw01111]
  • object-oriented programming system is used to implement the graphics system and to allow ... regression models and generalized linear models. Many aspects of the system design were motivated...
  • MUFTE-UG

  • Referenced in 11 articles [sw04982]
  • solution scheme are presented. Aspects of the implementation of advanced numerical techniques...
  • STMBench7

  • Referenced in 9 articles [sw08814]
  • acceptable. To date, empiric evaluations of these implementations have suffered from the lack of realistic ... optimize irrelevant aspects of their implementations. This paper presents STMBench7: a candidate benchmark for evaluating...
  • WSSMP

  • Referenced in 4 articles [sw33235]
  • gives an overview of the algorithms, implementation aspects, performance results, and the user interface...
  • SSS

  • Referenced in 38 articles [sw07794]
  • aspects of performance characteristics in large-scale regression model searches. We also provide software implementing...
  • MPICH-G2

  • Referenced in 35 articles [sw02373]
  • MPICH-G2: A grid-enabled implementation of the message passing interface. Application development for distributed ... enable application-level management of critical aspects of the heterogeneous environment. As part ... have developed MPICH-G2, a Grid-enabled implementation of the Message Passing Interface (MPI) that...
  • LEGO

  • Referenced in 108 articles [sw09685]
  • Edinburgh using New Jersey ML. It implements various related type systems - the Edinburgh Logical Framework ... system design emphasizes removing the more tedious aspects of interactive proofs. For example, features...
  • AspectC++

  • Referenced in 14 articles [sw13023]
  • language extensions to facilitate aspect-oriented programming with C/C++. An implementation of an AspectC++ compiler...
  • CakeML

  • Referenced in 53 articles [sw08799]
  • correctness theorem ensures that this REPL implementation prints only those results permitted by the semantics ... approaches to some of the more challenging aspects of the verification. In particular, our formally ... itself to produce a verified machine-code implementation of the compiler. Additionally, our compiler proof...
  • NeTra

  • Referenced in 63 articles [sw14887]
  • large image databases. We present here an implementation of NeTra, a prototype image retrieval system ... similar regions from the database. A distinguishing aspect of this system is its incorporation ... different images. A Java-based web implementation of NeTra is available at http://vivaldi.ece.ucsb.edu/Netra...
  • Venture

  • Referenced in 10 articles [sw14670]
  • also describe four key aspects of Venture’s implementation that build on ideas from probabilistic...
  • Miranda

  • Referenced in 153 articles [sw04986]
  • larger community, in the form of stable implementations of complete and well-documented programming languages ... userdefined types in Miranda, with other aspects of the language and its programming environment being...
  • CAR30

  • Referenced in 3 articles [sw08370]
  • evaluates the security and implementation aspects of it. The main advantages of the proposed cipher...
  • LIFT

  • Referenced in 3 articles [sw25813]
  • MPSX/370). We present and discuss the implementation aspects of this code and discuss several computational...
  • Lutess

  • Referenced in 7 articles [sw01252]
  • section 5 gives some aspects about their implementation. Section 6 shortly considers Lutess applicability through...
  • PECANS

  • Referenced in 6 articles [sw02161]
  • rules, which also allows the implementation of qualitative aspects of the model. The computational model ... programming language, specifically dedicated to implement the proposed approach. The developed cellular automata network language...
  • RAHFT

  • Referenced in 6 articles [sw24485]
  • architecture, strength and weakness, implementation and usage aspects of the tool. Rahft loosely combines three...