• JPAX

  • Referenced in 30 articles [sw09906]
  • algorithms that can efficiently check the event stream. JPAX can be used during program testing ... increased information about program executions, and can potentially furthermore be applied during operation to survey...
  • Chromium

  • Referenced in 5 articles [sw14150]
  • nodes in a cluster. Because our stream processing mechanism is completely general, any cluster-parallel ... workstations, and describe other potential uses of this stream processing technology. By completely abstracting...
  • stream

  • Referenced in 3 articles [sw23392]
  • database and statistics communities. Data streams are ordered and potentially unbounded sequences of data points ... Common data mining tasks associated with data streams include clustering, classification and frequent pattern mining...
  • RAKAPOSHI

  • Referenced in 6 articles [sw09740]
  • this paper, we introduce the rakaposhi stream cipher. The algorithm is based on Dynamic Linear ... Feedback Shift Registers, with a simple and potentially scalable design, and is particularly suitable ... hardware applications with restricted resources. The rakaposhi stream cipher offers 128-bit security, and aims...
  • SEDMODL

  • Referenced in 0 articles [sw13831]
  • road segments with high potential for delivering sediment to streams. The model uses an elevation...
  • rtMEG

  • Referenced in 4 articles [sw14882]
  • brain activity. Real-time MEG feedback could potentially benefit multiple areas of basic and clinical ... have developed a software interface to stream MEG signals in real time from...
  • MouseTracker

  • Referenced in 3 articles [sw31294]
  • record and analyze hand movements traveling toward potential responses on the screen ... single reaction time into a continuous stream of rich cognitive output...
  • GigaTensor

  • Referenced in 6 articles [sw23741]
  • anchor texts in the Web graphs, sensor streams (time, location, and type), social networks over ... astounding findings which include discovery of potential synonyms among millions of noun-phrases...
  • FASAN

  • Referenced in 2 articles [sw02895]
  • approach to parallelize such an algorithm with potentially irregular data structure is a functional program ... sequential functions if combined with the stream semantics of the language. The key issue...
  • NFBLab

  • Referenced in 1 article [sw39676]
  • latency of feedback presentation and may potentially improve training effects. The software also supports several ... external data acquisition devices NFBLab employs Lab Streaming Layer protocol supported by the majority...
  • PySS3

  • Referenced in 1 article [sw31243]
  • deal with risk detection over text streams and therefore not only supports incremental training ... little attention has been paid to the potential use of SS3 as a general classifier...
  • SSNdesign

  • Referenced in 1 article [sw31119]
  • solving optimal and adaptive design problems on stream networks that integrates with existing open-source ... survey designs. The SSNdesign package has the potential to boost the efficiency of freshwater monitoring...
  • MuVM

  • Referenced in 0 articles [sw23768]
  • mutation on virtual machine, higher order split-stream execution, and online adaptation technique. In order ... preserves the mutation location information which may potentially be lost during bit code compilation ... invoking a process once. Higher order split-stream execution also reduces the testing cost...
  • LIBSVX

  • Referenced in 1 article [sw32971]
  • Early Video Processing. Supervoxel segmentation has strong potential to be incorporated into early video analysis ... supervoxel algorithms, including both off-line and streaming methods, in the context of what ... object boundaries best; SWA has the best potential for region compression; and TSP achieves...
  • AdELL

  • Referenced in 1 article [sw23692]
  • full advantage of the vectorized execution on Streaming Multiprocessors (SMs). The AdELL data structure ... geometric) average improvement, which can be potentially increased to 43% introducing a simple 1x2 blocking...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • FDLIB

  • Referenced in 14 articles [sw00270]
  • The writer of this book is known as...
  • FGb

  • Referenced in 247 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • HSL

  • Referenced in 279 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...