• OCCA

  • Referenced in 11 articles [sw18538]
  • OCCA: A unified approach to multi-threading languages. The inability to predict lasting languages...
  • Java PathFinder

  • Referenced in 120 articles [sw07658]
  • translates from JAVA to PROMELA, the modeling language of the SPIN model checker. JPF translates ... formally analyze, using SPIN, a multi-threaded operating system for the Deep-Space 1 space...
  • JAS

  • Referenced in 15 articles [sw05877]
  • object oriented, type safe, multi-threaded approach to computer algebra. JAS provides a well designed ... algebraic computations implemented in the Java programming language. The library can be used...
  • LWPR

  • Referenced in 7 articles [sw13543]
  • multi-threading, is available for multiple platforms, and provides wrappers for several programming languages...
  • LogiMOO

  • Referenced in 8 articles [sw01573]
  • extensible multi-user virtual world with natural language control. LogiMOO is a BinProlog-based virtual ... implemented on top of a multi-threaded blackboard-based logic programming system (BinProlog) featuring Linda ... data and processing over TCP/IP links, while threads ensure high-performance local client-server dynamics ... VRML and HTML frame-based navigation and multi-media support, while LogiMOO handles virtual presence...
  • LOCKSMITH

  • Referenced in 10 articles [sw20224]
  • technique for preventing data races in multi-threaded programs is to ensure that all accesses ... algorithm for a simple formal language λ> which we have proven sound, and discuss ... analysis, including a sharing analysis for inferring thread locality; existential quantification for modeling locks ... casts. When applied to several benchmarks, including multi-threaded servers and Linux device drivers, LOCKSMITH...
  • JavaBayes

  • Referenced in 3 articles [sw13963]
  • Finally, Java is a good object-oriented language; Java has a set of widgets that ... interfaces, and Java has functionality for multi-threaded processing, something that can be very useful...
  • JavaLog

  • Referenced in 5 articles [sw01341]
  • added to the core language. This core language is based on logic modules integrated ... This core was extended to provide multi-threading support, mobility and temporal-logic operators...
  • JAHUEL

  • Referenced in 2 articles [sw10084]
  • multi-threaded software and multi-processor architectures. The framework consists in (1) a formal language...
  • Colt

  • Referenced in 6 articles [sw07223]
  • perception by many that the Java language is unsuited for such work. However, recent trends ... platform nature, built-in support for multi-threading, network friendly APIs and a healthy pool...
  • tomoRecon

  • Referenced in 1 article [sw14525]
  • speed tomography reconstruction on workstations using multi-threading. This page is the home of tomoRecon ... threads. It uses the EPICS libCom library for operating system independent support for threads, mutexes ... called from C++, IDL, GDL, or other languages...
  • MEGA4

  • Referenced in 7 articles [sw07695]
  • legend format, in order to provide natural language descriptions of the models and methods used ... native 32-bit Windows application with multi-threading and multi-user supports...
  • SymmPa

  • Referenced in 3 articles [sw08414]
  • checking of software written in mainstream programming languages. This combination of techniques has been successful ... scalable analysis of the resulting multi-threaded Boolean programs. The goal of this paper...
  • Nebo

  • Referenced in 2 articles [sw17488]
  • paper presents Nebo, a declarative domain-specific language embedded in C++ for discretizing partial differential ... code. Currently Nebo supports single-thread execution, multi-thread execution, and many-core (GPU-based...
  • Gauss

  • Referenced in 2 articles [sw08835]
  • requirements employing aggressive techniques such as multi-threading. We have built a model extractor that ... processes represented in Microsoft’s Zing modeling language. MPI library functions are also being modeled...
  • TomoPhantom

  • Referenced in 1 article [sw32603]
  • package are written in the C-OpenMP language and wrappers for Python and MATLAB ... easy access. Due to C-based multi-threaded implementation, volumetric phantoms of high spatial resolution...
  • ESC4

  • Referenced in 2 articles [sw07219]
  • extended static checking for the Java modeling language Extended Static Checking (ESC) is a fully ... lack of scalability, we present the multi-threaded version of ESC4 and its distributed prover...
  • JikesRVM

  • Referenced in 4 articles [sw01997]
  • tools. Java is a wide-spread language that allows developers to build complex software, even ... cannot handle the migration of computations (i.e. threads), due to intrinsic limitations of many traditional ... literature, this paper presents our thread migration framework (called Mobile JikesRVM), implemented ... thread serialization mechanism provides support for both proactive and reactive migration, available also for multi...
  • JAME

  • Referenced in 0 articles [sw05859]
  • artifacts. It is written in the Java language, with some native code to accelerate encoding ... images. It has a real-time, multi-threaded graphics engine with layers, filters, effects...
  • GraphicsMagick

  • Referenced in 3 articles [sw21557]
  • processing is multi-threaded (see the multi-thread benchmark results) using OpenMP so that ... Windows COM programming interfaces. With some modification, language extensions for ImageMagick may be used...