• HiperTM

  • Referenced in 2 articles [sw20575]
  • HiperTM: high performance, fault-tolerant transactional memory. We present HiperTM, a high performance active replication ... protocol for fault-tolerant distributed transactional memory. The active replication processing paradigm allows transactions...
  • DISE

  • Referenced in 1 article [sw12227]
  • show DISE implementations of two ACFs - memory fault isolation and dynamic code decompression - and their...
  • FATRAM

  • Referenced in 3 articles [sw25821]
  • sets for logic models (in particular, fault trees). Although these methods are theoretically correct, computer ... which makes more efficient use of computer memory. The gates are resolved in a deterministic ... minimal cut sets for fault trees does use computer core memory effectively...
  • Zzuf

  • Referenced in 1 article [sw15085]
  • testsuite: security: very often, segmentation faults or memory corruption issues mean a potential security hole...
  • HITEC

  • Referenced in 6 articles [sw10072]
  • without the memory overhead of a state transition diagram is presented. For faults that were...
  • Sycraft

  • Referenced in 7 articles [sw08199]
  • fault-tolerant programs. In Sycraft, a distributed fault-intolerant program is specified in terms ... issue of distribution is addressed in shared-memory model where processes are constrained by their ... writing program variables. Given a set of fault actions and a safety specification, the tool...
  • FAMOCUTN

  • Referenced in 3 articles [sw25847]
  • fault-tree representation. This method essentially reduces both the computer time and memory needed ... evaluation of minimal cutsets (MCS) for large fault trees with negated and/or replicated gates...
  • VTDIRECT95

  • Referenced in 11 articles [sw05290]
  • data, handle unpredictable memory requirements, reduce the memory usage, and share the data across multiple ... integrated into both versions to provide fault tolerance and hot restarts. Important algorithm modifications...
  • Falcon

  • Referenced in 2 articles [sw23088]
  • threads. This paper presents a new dynamic fault-localization technique that can pinpoint faulty data ... multi-threaded concurrent programs. The technique monitors memory-access sequences among threads, detects data-access ... technique can effectively and efficiently localize the faults for our subjects...
  • ARMor

  • Referenced in 3 articles [sw18275]
  • implemented ARMor, a system that uses software fault isolation (SFI) to sandbox application code running ... from other, less-trusted components. ARMor guarantees memory safety and control flow integrity; it works...
  • MemFlex

  • Referenced in 0 articles [sw24953]
  • shared memory using an efficient batch implementation. Instead of relying on costly page faults, this...
  • SymPLFIED

  • Referenced in 2 articles [sw20832]
  • SymPLFIED: symbolic program-level fault injection and error detection framework. This paper introduces SymPLFIED ... enumerates all transient hardware errors in registers, memory, and computation (expressed symbolically as value errors ... that may not be exposed by random fault injection-based validation. Further, the errors exposed...
  • TRAILS

  • Referenced in 1 article [sw10737]
  • Efficient, Realistic and Evolving Models of Mobility, Faults and Obstacles in Wireless Networks. We present ... achieved with minimum overhead in terms of memory usage...
  • VeriCount

  • Referenced in 1 article [sw25455]
  • guarantees from trusted computing mechanisms and software fault isolation techniques. The self-accounting engine ... Intel SGX, to measure user CPU time, memory, I/O bytes and network bandwidth while simultaneously...
  • BakerSFIeld

  • Referenced in 1 article [sw23352]
  • present BakerSFIeld, a Software Fault Isolation (SFI) framework for the x64 instruction set architecture. BakerSFIeld ... concerns of rewriting the program for memory safety, and re-aligning the code for control...
  • XeFlow

  • Referenced in 1 article [sw35254]
  • plenty of threads. However, owing to disjoint memory spaces of discrete CPU-GPU systems, exploiting ... inter-processor data channels via hardware page faults. Compared with the default “copy-kernel-copy...
  • VCWC

  • Referenced in 1 article [sw08837]
  • limit resources and measure CPU time and memory usage of solver runs. Other systems ... competition evaluation platform has no support for fault-tolerant execution of instance runs. Moreover, benchmark...
  • QCOR

  • Referenced in 1 article [sw38536]
  • models for quantum computing were designed with fault-tolerant hardware in mind, envisioning standalone applications ... After defining the QCOR’s programming model, memory model, and execution model, we discuss...
  • ATLAS

  • Referenced in 197 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • ACL2

  • Referenced in 279 articles [sw00060]
  • ACL2 is both a programming language in which...