Abstract: Leak detection device having a dome with a main body and a seal configured to define a detection chamber between the main body and the test zone, the seal including a peripheral sealing lip configured to come into contact with the sealing membrane and having a closed contour encircling the detection chamber, an analysis tool connected to the detection chamber to analyze a gas present in the detection chamber in which the sealing lip is configured to have at least in a service state in which a reduced pressure is applied in the detection chamber, a pinch portion that is pinched between the main body and the sealing membrane.

Abstract: The invention relates to a leak detection device comprising: a portable leak detection bell-like member comprising a sealing joint and configured to define a detection chamber between the main body and the test zone, the detection bell-like member further comprising a carrying handle which is provided with a control member which can be manually activated to produce a control signal, a gas suction circuit which is intended to connect the detection chamber to a vacuum pump, the gas suction circuit being provided with a controlled valve which can be switched into an open state to connect the detection chamber to the vacuum pump and a closed state to isolate the detection chamber from the vacuum pump, and a control unit which is configured to switch the controlled valve in response to the control signal.

Abstract: Leak detection device having a dome with a main body and a seal configured to define a detection chamber between the main body and the test zone, the seal including a peripheral sealing lip configured to come into contact with the sealing membrane and having a closed contour encircling the detection chamber, an analysis tool connected to the detection chamber to analyze a gas present in the detection chamber in which the sealing lip is configured to have at least in a service state in which a reduced pressure is applied in the detection chamber, a pinch portion that is pinched between the main body and the sealing membrane.

Abstract: Techniques are provided for dataflow execution time estimation for distributed processing frameworks. An exemplary method comprises: obtaining an input dataset for a dataflow for execution; determining a substantially minimal data unit for a given operation of the dataflow processed by the given operation; estimating a number of rounds required to execute a number of data units in the input dataset using nodes assigned to execute the given operation; determining an execution time spent by the given operation to process one data unit; estimating the execution time for the given operation based on the execution time spent by the given operation to process one data unit and the number of rounds required to execute the number of data units in the input dataset; and executing the given operation with the input dataset. A persistent cost model is optionally employed to record the execution times of known dataflow operations.

Abstract: Techniques are provided for dataflow execution time estimation for distributed processing frameworks. An exemplary method comprises: obtaining an input dataset for a dataflow for execution; determining a substantially minimal data unit for a given operation of the dataflow processed by the given operation; estimating a number of rounds required to execute a number of data units in the input dataset using nodes assigned to execute the given operation; determining an execution time spent by the given operation to process one data unit; estimating the execution time for the given operation based on the execution time spent by the given operation to process one data unit and the number of rounds required to execute the number of data units in the input dataset; and executing the given operation with the input dataset. A persistent cost model is optionally employed to record the execution times of known dataflow operations.

Abstract: Pattern queries are evaluated in parallel over large N-dimensional datasets to identify features of interest.

Abstract: Techniques are provided for automatic placement of cache operations in a dataflow. An exemplary method obtains a graph representation of a dataflow of operations; determines a number of executions and a computational cost of the operations, and a computational cost of a caching operation to cache a dataset generated by an operation; establishes a dataflow state structure recording values for properties of the dataflow operations for a number of variations of caching various dataflow operations; determines a cache gain factor for dataflow operations as an estimated reduction in the accumulated cost of the dataflow by caching an output dataset of a given operation; determines changes in the dataflow state structure by caching an output dataset of a different operation in the dataflow; and searches the dataflow state structures to determine the output datasets to cache based on a total dataflow execution cost.