• CBMC

  • Referenced in 77 articles [sw09719]
  • using Scoot. It allows verifying array bounds (buffer overflows), pointer safety, ex­cep­tions...
  • DRED

  • Referenced in 16 articles [sw02281]
  • connections, the round-trip time, the buffer space, etc. In light of these observations ... with a load-dependent probability when a buffer in a router gets congested. Over ... resources utilization, predictable maximum delays, more certain buffer provisioning, and traffic-load-independent network performance...
  • Emacs

  • Referenced in 15 articles [sw26546]
  • outline editing, spell checking, handling multiple files (buffers), indenting, text filling, sorting, passing text through ... shell filters, keeping backups automatically, printing buffers, etc. In addition, GNU Emacs provides the Dired...
  • CSSV

  • Referenced in 20 articles [sw13701]
  • realistic tool for statically detecting all buffer overflows in C. Erroneous string manipulations...
  • COSY

  • Referenced in 14 articles [sw30494]
  • component notions; such as various buffer types, as well as non-priority and priority resource...
  • iperf

  • Referenced in 13 articles [sw26173]
  • various parameters related to timing, protocols, and buffers. For each test it reports the measured...
  • IMOST

  • Referenced in 8 articles [sw02141]
  • then design a high-productivity and zero-buffer system instead of optimizing a given system...
  • ARTP

  • Referenced in 3 articles [sw02587]
  • ARTP: a buffer-aware rate control protocol for media streaming. We present Adaptive Real-time ... rate to network conditions and to the buffering capacity of the receiver. This adaptiveness takes ... ensures the continuity of media playback by buffering media packets during congestion-free periods ... This protocol considers the size of the buffer that the receiver dedicates to rate control...
  • Coquet

  • Referenced in 6 articles [sw09919]
  • circuits, and some sequential circuits: a buffer, and a register...
  • Nikola

  • Referenced in 6 articles [sw14049]
  • data to/from the GPU, size inference for buffers, memory management, and automatic loop parallelization. Additionally...
  • Feather-Trace

  • Referenced in 5 articles [sw10647]
  • function call. Wait-free, multiprocessor-safe FIFO buffers: low-overhead, non-blocking trace data collection...
  • XASP

  • Referenced in 5 articles [sw13876]
  • generated, the clauses are copied into SModels buffers. Using the Smodels API, the generator...
  • ELmE

  • Referenced in 5 articles [sw22881]
  • which can be verified faster with less buffer size. Intermediate tag provides security against block...
  • Merlin

  • Referenced in 5 articles [sw23076]
  • applications now outnumber vulnerabilities such as buffer overruns common in type-unsafe languages such...
  • EXPRESS

  • Referenced in 5 articles [sw24345]
  • control of a process supervisor, which coordinates buffer management and handles file allocation, deallocation...
  • Store Buffers

  • Referenced in 2 articles [sw28601]
  • Reduction Theorem for Store Buffers. When verifying a concurrent program, it is usual to assume ... However, most modern multiprocessors depend on store buffering for efficiency, and provide native sequential consistency ... under TSO (total store order, with store buffer forwarding). It does not depend on concurrency ... thread has flushed its store buffer since it last wrote to an address...
  • VoxelPipe

  • Referenced in 3 articles [sw14878]
  • used to generate 3D A-buffers containing the entire list of fragments belonging to each ... middle tile-based rasterizer, while the A-buffer mode, essentially performing 3D binning of triangles...
  • RProtoBuf

  • Referenced in 3 articles [sw15879]
  • package RProtoBuf. Protocol Buffers are a way of encoding structured data in an efficient ... extensible format. Google uses Protocol Buffers for almost all of its internal ’RPC’ protocols...
  • CA3D

  • Referenced in 4 articles [sw03304]
  • Monte Carlo code to simulate 3D buffered diffusion of ions in sub-membrane domains...