• CESAR

  • Referenced in 154 articles [sw08510]
  • design of distributed applications. CESAR allows the progressive validation of the algorithmic description ... specifications. The algorithmic description is done in a high level language inspired from...
  • TXL

  • Referenced in 17 articles [sw11319]
  • rapidly prototyping language descriptions, tools and applications. TXL is designed to allow explicit programmer control ... expressing and applying recent new paradigms in language processing...
  • Forsythe

  • Referenced in 22 articles [sw21367]
  • Design of the programming language Forsythe. This is a description of the programming language Forsythe...
  • ASTRAL

  • Referenced in 17 articles [sw02878]
  • specification and design of real-time systems, as a hardware description language. ASTRAL is based...
  • ISDL

  • Referenced in 10 articles [sw02314]
  • machine description language used to describe target architectures to a set of retargetable design tools ... design of embedded system processors by supporting the exploration of the architecture design space ... features and flexibility of ISDL enable the description of a wide variety of architectures with ... other machine description languages that are being used for embedded processor design. Various complications that...
  • GDL

  • Referenced in 17 articles [sw27615]
  • Game Description Language, or GDL, is a logic programming language[1] designed by Michael Genesereth...
  • SMV

  • Referenced in 13 articles [sw04135]
  • input language of SMV is designed to allow the description of finite state system that ... asynchronous network of abstract, nondeterministic processes. The language provides for modular hierarchical descriptions...
  • TTTPLOTS

  • Referenced in 52 articles [sw07712]
  • target plots. This paper describes a perl language program to create time-to-target solution ... widely used as a tool for algorithm design and comparison. We first discuss ... generated. This is followed by a description of the perl program tttplots.pl...
  • Lava

  • Referenced in 13 articles [sw28643]
  • Haskell modules. The system design exploits functional programming language features, such as monads and type ... classes, to provide multiple interpretations of circuit descriptions. These interpretations implement standard circuit analyses such...
  • muFP

  • Referenced in 6 articles [sw28645]
  • chose to base our design language on FP for several reasons. Functional programs are easier ... these benefits to IC design. FP, in particular, is designed to allow the programmer ... descriptions are concise and can be easily manipulated using the algebraic laws of the language ... floorplan. Most VLSI design languages are designed either for layout description or for behavioural specification...
  • ALTRAN

  • Referenced in 34 articles [sw01203]
  • variables with integer coefficients. It has been designed and implemented to handle large problems with ... this paper a brief description of the language, run time data structures, and implementation...
  • Ltur

  • Referenced in 40 articles [sw11689]
  • design of efficient interpreters for some predicate logic-based languages such as Hornlog ... many of the intricacies of previously known descriptions. In addition, a full, ready...
  • Localizer

  • Referenced in 19 articles [sw21238]
  • paper describes the design and implementation of Localizer, a modeling language for implementing local search ... notation close to their informal descriptions in scientific papers. Experimental results on Boolean satisfiability graph...
  • xMAML

  • Referenced in 2 articles [sw21580]
  • xMAML: A modeling language for dynamically reconfigurable architectures. Constant evolution of norms and applications, usually ... develop design frameworks based on high-level architecture description languages (ADL). These ADLs are useful ... that should be implemented on an architecture. Designers can use ADL for the development ... This paper presents xMAML, an architecture description language dedicated to the instantiation of dynamically reconfigurable...
  • TRIPLE

  • Referenced in 21 articles [sw02460]
  • presents TRIPLE, a layered and modular rule language for the Semantic Web. TRIPLE is based ... features from F-Logic but is especially designed for querying and transforming RDF models. TRIPLE ... like UML, Topic Maps, or RDF Schema. Description logics extensions of RDF (Schema) like ... with a description logic classifier, e.g. FaCT, resulting in a hybrid rule language. This paper...
  • Jnurbs

  • Referenced in 8 articles [sw08871]
  • carryout meshless analysis thereby integrating the design and analysis in an efficient manner. The program ... newly developed high-level, natural language description through an interface termed JNS (jNURBS Script ... structural analysis, material microstructure simulation, shape optimal design, and equilibrium shape of droplets, are presented...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • appears that some of the initial design choices, which were made to obtain a maximal ... specification formalisms like UML or programming languages like Java, were not supported. par -- the architecture ... complex system specifications which mix formal descriptions and executable code (e.g, for components already implemented...
  • PHREEQC

  • Referenced in 18 articles [sw07853]
  • Description of Input and Examples for PHREEQC Version 3—A Computer Program for Speciation, Batch ... programming languages that is designed to perform a wide variety of aqueous geochemical calculations. PHREEQC...
  • MAPIT

  • Referenced in 1 article [sw17259]
  • system, MAPIT, including a specially designed Genetic Map Description Language (GMDL), and an “intelligent” Postscript...
  • XYZ/ADL

  • Referenced in 2 articles [sw02924]
  • architecture description language XYZ/ADL The Architecture Description Language (ADL) is the foundation of software development ... good design leads to a good implementation. The architecture description language XYZ/ADL can support...