Results 41 to 50 of about 436,506 (135)

Reducing the Number of Annotations in a Verification-oriented Imperative Language [PDF]

, 2009
Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amount of research effort has been put into applying these techniques on top of ...
de Caso, Guido, Garbervetsky, Diego, Gorín, Daniel   +2 more
core   +1 more source

High-Resolution Road Vehicle Collision Prediction for the City of Montreal

, 2019
Road accidents are an important issue of our modern societies, responsible for millions of deaths and injuries every year in the world. In Quebec only, in 2018, road accidents are responsible for 359 deaths and 33 thousands of injuries. In this paper, we
Glatard, Tristan, Guédon, Timothée, Hébert, Antoine, Jaumard, Brigitte   +3 more
core   +1 more source

GraphX: Unifying Data-Parallel and Graph-Parallel Analytics [PDF]

, 2014
From social networks to language modeling, the growing scale and importance of graph data has driven the development of numerous new graph-parallel systems (e.g., Pregel, GraphLab). By restricting the computation that can be expressed and introducing new
Crankshaw, Daniel, Dave, Ankur, Franklin, Michael J., Gonzalez, Joseph E., Stoica, Ion, Xin, Reynold S.   +5 more
core  

THE IMPACT OF PROGRAMMING LANGUAGES ON THE SOFTWARE’S SECURITY [PDF]

Security is usually defined as the ability of a system to protect itself against accidental or deliberate intrusion1. Ensuring integrity, confidentiality, availability, and accountability requirements even in the presence of a determined, malicious ...
Alexandru Gavril Bardas
core  

Review of analytical instruments for EEG analysis

, 2016
Since it was first used in 1926, EEG has been one of the most useful instruments of neuroscience. In order to start using EEG data we need not only EEG apparatus, but also some analytical tools and skills to understand what our data mean.
Agapov, S. N., Bulanov, V. A., Sergeeva, M. S., Zakharov, A. V.   +3 more
core  

Big data analytics on Apache Spark

International Journal of Data Science and Analysis, 2016
Salman Salloum, Ruslan Dautov, Xiaojun Chen, Patrick Xiaogang Peng, J. Huang   +4 more
semanticscholar   +1 more source

Ten quick tips for bioinformatics analyses using an Apache Spark distributed computing environment. [PDF]

PLoS Comput Biol, 2023
Chicco D, Ferraro Petrillo U, Cattaneo G.   +2 more
europepmc   +1 more source

SparkR: Scaling R Programs with Spark

SIGMOD Conference, 2016
S. Venkataraman, Zongheng Yang, Davies Liu, Eric Liang, Hossein Falaki, Xiangrui Meng, Reynold Xin, A. Ghodsi, M. Franklin, Ion Stoica, M. Zaharia   +10 more
semanticscholar   +1 more source

SPARK: the libre language and toolset for high-assurance software engineering

SIGAda Conference, 2009
Trevor Jennings
semanticscholar   +1 more source

Information Flow Security Certification for SPARK Programs

Database Security, 2020
Sandip Ghosal, R. Shyamasundar
semanticscholar   +1 more source