Guidelines for the development of software in safety-critical systems usually restrict programming languages, removing features that are unsafe and/or hard to thoroughly test and certify. There are also recommendations and demands in newer guidelines for the use of formal methods, as a way to achieve high assurance software. SPARK is a strict subset of Ada that was designed to have unambiguous ...

Although the MapReduce programming model has so far been highly successful, not all applications are well suited to this model. Spark bridges this gap by providing seamless support for iterative and interactive jobs that are hard to express using the acyclic data flow model pioneered by MapReduce. While benchmarking Spark, we identified that the default broadcast mechanism implemented in the Sp...

by approval of building advance-sale act in 2010, it is permitted to sell in advance the buildings to be built in future. in this act, certain rights and obligations are provided for the advance-sellers and advance-buyers. the approval of the said act is a development in the law of sale of buildings. amongst them are the requirement for official registration of any building advance-sale, statut...

A non-stationary model of the polar gap discharge in pulsars is reviewed and modiied. It is argued that the polar gap is braking down via a number of localized spark discharges, feeding a corresponding subpulse-associated plasma columns in the pulsar magnetosphere. It is demonstrated that each spark occupies a region of the polar cap with a characteristic dimension approximately equal to the he...

fundamental motor skills are the bases of special motor skills. in addition tomaturation, environmental promotion can influence these skills. the aim of thisstudy was to investigate and compare the effect of developmental gymnasticinstructional program and spark motor program as motor experiences onfundamental motor skills development in children aged between 6 and 8. for thispurpose, 120 child...

Dielectric: materials commonly used as insulators in spark gaps (Lexan, Nylon, Lucite, Macor, Boron Nitride, Delrin and G-10) have been exposed to the by-products of arcs in three different spark gap experiments. The first was a 60 kV, 0.05 Caul/shot spark gap using copper-tungsten or graphite electrodes at various pressures of N2 or SF6 gas. The second was a 5-30 kV, 4-25 kA, .l-.6 Coul/shot, ...

Abstract. To predict discharge current waveforms for air discharges of electrostatic discharge (ESD) generators (ESD-guns) used in an IEC immunity test against human ESD, an equivalent circuit modelling for air discharges of ESD-guns is proposed. To simulate spark discharges, two typical spark resistance formulae (Rompe-Weizel’s and Toepler’s) are applied to the modelling, which consists of a s...

Solid State Nuclear Track Detectors (SSNTD) are commonly used for long term measurements of radon, thoron and progeny concentrations. In the present study, we compared the optical counting method and the spark counting technique for counting the alpha tracks on LR 115 track detector films. The paper discusses the various parameters that are innate in the process. More than 300 films were counte...

Big Data sets can contain all types of information: from server log files to tracking information of mobile users with their location at a point in time. Apache Spark has been widely accepted for Big Data analytics because of its very fast processing model. However, Spark has no native support for spatial or spatio-temporal data. Spatial filters or joins using, e.g., a contains predicate are no...

Cluster computing is an approach for storing and processing huge amount of data that is being generated. Hadoop and Spark are the two cluster computing platforms which are prominent today. Hadoop incorporates the MapReduce concept and is scalable as well as fault-tolerant. But the limitations of Hadoop paved way for another cluster computing framework named Spark. It is faster and can also mana...