Search Results for "/storage/emulated/0/android/data/net.sourceforge.uiq3.fx603p/files"

...The tool is designed for performance debugging, allowing developers to identify bottlenecks, inefficiencies, and unexpected behavior in complex systems. It includes a visualization interface that presents traces in an understandable format, making it easier to interpret large volumes of execution data. The system is particularly useful for low-level debugging and performance optimization in high-performance applications. Its reliance on hardware tracing ensures minimal overhead compared to traditional profiling methods. Overall, magic-trace provides a powerful and precise way to understand program execution at a granular level.

MonPoly is a prototype monitoring tool that checks compliance of log files with respect to policies specified by formulas in MFOTL (Metric First-Order Temporal Logic). An overview of the tool, including its usage and history, can be found under the Files tab: https://sourceforge.net/projects/monpoly/files/monpoly.pdf/download. The tool is developed as part of an academic project at ETH Zurich. Please visit the following link for more details on the project: http://www.infsec.ethz.ch/research/projects/mon_enf. ...

Replaces traditional file system with tagged cloud. Designed to work with both point&click interfaces and command line. Data and tags are stored as regular files, so if something goes wrong, your data and tags won't disappear.

This is an ocaml binding for fuse (filesystem in userspace) enabling you to write your own multithreaded, efficient userspace filesystems using the ocaml programming language.

OCaml-Magic is an OCaml (http://caml.inria.fr/) binding for libmagic (to determine the type of files).

CheckFence is a SAT-based formal verification tool that analyzes C code implementing concurrent data types on multiprocessors (concurrent queues, sets etc.) with respect to a selected memory model.

A software for indexing and searching a samba based files sharing network.

A linux userspace shadow (file data is on disk) relational filesystem (aka "database filesystem") using fuse and postgresql to store metadata. Directories can be queries, and powerful features (e.g. bayesian classification) are added through plugins

GNUdap is a project to build an userspace driver to interface with proprietary-protocol usb mp3 players and mass storage devices. Currently GNUdap supports the following devices from Perstel,Inc. CHIC MP10, MP30, Symphony and the NGS Jogger from NGS.