• Erlang

  • Referenced in 116 articles [sw07202]
  • build massively scalable soft real-time systems with requirements on high availability. Some ... telephony and instant messaging. Erlang’s runtime system has built-in support for concurrency, distribution...
  • StarPU

  • Referenced in 41 articles [sw14216]
  • sufficient. The real challenge is to build systems where the application would permanently spread across ... this challenge, we propose a new runtime system capable of scheduling tasks over heterogeneous, accelerator ... that provides a weak consistency model. The system keeps track of data copies within accelerator ... parallel numerical kernel implementations over our runtime system. We obtain significant speedups and a very...
  • ML

  • Referenced in 524 articles [sw01218]
  • polymorphic Hindley–Milner type system, which automatically assigns the types of most expressions without requiring ... well-typed ML program does not cause runtime type errors.[1] ML provides pattern matching...
  • Docker

  • Referenced in 28 articles [sw18506]
  • contains everything needed to run: code, runtime, system tools, system libraries – anything that...
  • Eden

  • Referenced in 28 articles [sw22186]
  • this code interacts with the distributed RunTime System (RTS) for Eden. This translation is done...
  • OmpSs

  • Referenced in 15 articles [sw24813]
  • Mercurium compiler and Nanos++ runtime system. Asynchronous parallelism is enabled in OmpSs...
  • HPX

  • Referenced in 10 articles [sw40105]
  • programming model for conventional systems, such as classic Linux based Beowulf clusters or multi-socket ... very modular and well designed runtime system architecture which would allow us to port ... implementation onto new computer system architectures. We want to use real-world applications ... drive the development of the runtime system, coining out required functionalities and converging onto...
  • Charlotte

  • Referenced in 10 articles [sw30253]
  • security, and administrative boundaries. We present a system which enables application programmers to write parallel ... from the execution environment, and a runtime system realizing this virtual machine ... masking are transparently provided by the runtime system...
  • NESL

  • Referenced in 13 articles [sw16627]
  • languages community (functional languages) and the system’s community (many of the implementation techniques ... more responsibility on the compiler and runtime system for achieving good efficiency...
  • hwloc

  • Referenced in 9 articles [sw12733]
  • exposes it to applications and runtime systems in a abstracted and portable hierarchical manner. hwloc ... significantly help performance by having runtime systems place their tasks or adapt their communication strategies...
  • Goldilocks

  • Referenced in 10 articles [sw12806]
  • have designed and implemented a Java runtime system that monitors program executions and throws ... about to occur. Analogous to other runtime exceptions, the DataRaceException provides two key benefits. First ... Java Virtual Machine. We have evaluated our system on a variety of publicly available Java...
  • McErlang

  • Referenced in 7 articles [sw09716]
  • part of the standard Erlang runtime system that concerns distribution, concurrency and communication with ... runtime system which simulates processes inside the model checker, and which offers easy access...
  • SuperMatrix

  • Referenced in 6 articles [sw20213]
  • SuperMatrix: a multithreaded runtime scheduling system for algorithms ... blocks. This paper describes SuperMatrix, a runtime system that parallelizes matrix operations for SMP and/or ... multi-core architectures. We use this system to demonstrate how code described at a high ... operations can be implemented in the runtime system independent of the code that enqueues...
  • Parsec

  • Referenced in 9 articles [sw22031]
  • called Pave, and the portable runtime system that implements the simulation algorithms...
  • PSync

  • Referenced in 5 articles [sw17450]
  • Heard-Of model, which views asynchronous faulty systems as synchronous ones with an adversarial environment ... dropping messages. We define a runtime system for PSync that efficiently executes on asynchronous networks ... formalise the relation between the runtime system and PSync in terms of observational refinement ... Scala programming language with a runtime system for partially synchronous networks. We show the applicability...
  • Creol

  • Referenced in 27 articles [sw09421]
  • operational semantics, and type system. It is shown that runtime type errors do not occur...
  • ParADE

  • Referenced in 5 articles [sw14959]
  • multi-threaded software distributed shared memory (SDSM) system with a variant of home-based lazy ... consistency protocol. To boost performance, the runtime system provides explicit message-passing primitives to make ... hybrid programming interfaces of the runtime system. The experiments with several NAS benchmarks and applications...
  • JPAX

  • Referenced in 30 articles [sw09906]
  • present an overview of the Java PathExplorer runtime verification tool, in short referred ... where Maude is a high-speed rewriting system for equational logic, but here extended with...
  • Bedrock

  • Referenced in 4 articles [sw28530]
  • infrastructure like operating systems and runtime systems. It is based on a cross-platform core...
  • DAQV

  • Referenced in 5 articles [sw02173]
  • leverages the HPF language, compiler, and runtime system to address the general problem of providing...