pulse push

Push file server; share files between a group of users.

Interface with high speed time resolved pulse counters.