Apache Spark is a popular framework for writing large scale data processing applications. Our long term goal is to develop automatic tools for reasoning about Spark programs. This is challenging because Spark programs combine database-like relational algebraic operations and aggregate operations, corresponding to (nested) loops, with User Defined Functions (UDFs). In this paper, we present a no...

The article presents the results of X-ray diffraction studies phase composition, substructure, and residual stresses in surface layer AK5M7 alloy for different energy levels during electric-spark alloying (ESA) using a copper electrode. micro-distortion values were estimated from parameters crystal lattice grains which reflection planes are parallel to sample surface. Three phases, i. e., alumi...

Spark is a popular framework for writing large scale data processing applications. Our goal is to develop tools for reasoning about Spark programs. This is challenging because Spark programs combine database-like relational algebraic operations and aggregate operations with User Defined Functions (UDF s). We present the first technique for verifying the equivalence of Spark programs. We model S...

An experiment is described where the evolution of a single vapor bubble in water was observed. The bubble was generated by an electric spark between two electrodes designed to provide minimal interference to both liquid motion and the propagation of acoustic waves. The electrostatic energy of the discharge was varied to obtain vapor bubbles with radii ranging from about 2 to 5 centimeters. A hi...

We introduce SparkCL, an open source unified programming framework based on Java, OpenCL and the Apache Spark framework. The motivation behind this work is to bring unconventional compute cores such as FPGAs/GPUs/APUs/DSPs and future core types into mainstream programming use. The framework allows equal treatment of different computing devices under the Spark framework and introduces the abilit...

Apache Spark is a popular framework for data analytics with attractive features such as fault tolerance and interoperability with the Hadoop ecosystem. Unfortunately, many analytics operations in Spark are an order of magnitude or more slower compared to native implementations written with high performance computing tools such as MPI. There is a need to bridge the performance gap while retainin...

Every year, there are more and cars on the roads that cause pollution. To reduce it, conventional vehicles have started to be replaced by electric hybrid vehicles. Therefore, average fuel/energy consumption of electric, hybrid, spark ignition self-ignition over a test distance 100 km was investigated. The results were then compared manufacturer's data difference between is shown. largest in fue...