Filters








16 Hits in 3.3 sec

Industrial strength exception freedom

Peter Amey, Roderick Chapman
2002 Proceedings of the 2002 annual ACM SIGAda international conference on Ada The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies - SIGAda '02  
Using a tool like the SPARK Examiner amplifies this effect and can provide a high degree of confidence that a program is well formed before we try and verify that its behaviour is correct.  ...  One of SPARK's design goals is that programs should be amenable to analysis of worst-case execution time and memory usage.  ...  check, overflow check, tag check Program_Error erroneous execution, incorrect order dependence, return not executed in function subprogram, elaboration check, accessibility check Storage_Error  ... 
doi:10.1145/589451.589452 dblp:conf/sigada/AmeyC02 fatcat:rpsqoqirqjftrgdltxu5eaabia

Industrial strength exception freedom

Peter Amey, Roderick Chapman
2003 ACM SIGAda Ada Letters  
Using a tool like the SPARK Examiner amplifies this effect and can provide a high degree of confidence that a program is well formed before we try and verify that its behaviour is correct.  ...  One of SPARK's design goals is that programs should be amenable to analysis of worst-case execution time and memory usage.  ...  check, overflow check, tag check Program_Error erroneous execution, incorrect order dependence, return not executed in function subprogram, elaboration check, accessibility check Storage_Error  ... 
doi:10.1145/1066404.589452 fatcat:arl67hw67zbodgkoujwkeuo5ey

Ada and the software vulnerabilities project

Alan Burns, Miguel Pinho, Erhard Ploedereder, Jorge Real, J. P. Rosen, Ed Schonberg, S. Tucker Taft, T. Vardanega, Joyce L. Tokar, Stephen Baird, John Barnes, Rod Chapman (+4 others)
2010 ACM SIGAda Ada Letters  
In the fifth case, SPARK defines a contract to indicate the choice of base-type, which can be checked by a pragma Assert.  ...  At each actual instantiation, the compiler will also check that the instantiated type meets all the requirements of the generic contract.  ...  SPARK does permit the use of exception handlers, so these may be used to catch unexpected exceptions from library routines.  ... 
doi:10.1145/2593988.2593992 fatcat:uqgpah6o6fac7blzhkx7a32tb4

An Intelligent Personal Assistant for Task and Time Management

Karen L. Myers, Pauline Berry, Jim Blythe, Ken Conley, Melinda T. Gervasio, Deborah L. McGuinness, David N. Morley, Avi Pfeffer, Martha E. Pollack, Milind Tambe
2007 The AI Magazine  
Central to SPARK’s operation is a information and coordinate on tasks.  ...  This degree of ex- the scope of executing a task.  ... 
doi:10.1609/aimag.v28i2.2039 dblp:journals/aim/MyersBBCGMMPPT07 fatcat:amp6mtptgzdwboe75r4oc3thfu

Programming abstractions, compilation, and execution techniques for massively parallel data analysis [article]

Stephan Ewen, Technische Universität Berlin, Technische Universität Berlin, Volker Markl
2015
Today's analysis programs consist not only of traditional relational-style queries, but they use increasingly more complex data mining and machine learning algorithms to discover hidden patterns or build  ...  .: Execution times of the individual iterations for the Connected Components algorithm. on top of Spark's non-incremental runtime.  ...  After the queries are parsed and checked (for valid semantics), they are optimized and finally translated into executable code.  ... 
doi:10.14279/depositonce-4395 fatcat:76w55ni4ofd5jedz724tsl5qka

Spatiotemporal enabled Content-based Image Retrieval

Mariana Belgiu, Martin Sudmanns, Tiede Dirk, Andrea Baraldi, Stefan Lang
2016 International Conference on GIScience Short Paper Proceedings  
Wireless Sensor Networks (WSNs) are widely used for monitoring and observation of dynamic phenomena.  ...  Most of the sensor coverage estimation methods use a raster representation of the environment (Akbarzadeh et al. 2013) for optimization purposes that limits their precision and efficiency.  ...  Acknowledgements This manuscript has been authored by UT-Battelle, LLC under Contract No. DE-AC05-00OR22725 with the U.S. Department of Energy.  ... 
doi:10.21433/b311729295dw fatcat:fulw4pw3kfh5nmfzcsy3pkisvm

Gold in Them Tha-R Hills: A Review of R Packages for Exploratory Data Analysis

Kota Minegishi, Taro Mieno
2020 unpublished
To install a R package, execute the code in the R console, for example: install.packages("tidyverse").  ...  With an accelerated pace of data accumulation in the economy, there is a growing need for data literacy and practical skills to make use of data in the workforce.  ...  Piping allows us to execute a series of data tasks without needing to overwrite the working data set.  ... 
doi:10.22004/ag.econ.303913 fatcat:d6nwkhsa3fcctdwcc7hkquflym

eTRIKS analytical environment: a practical platform for medical big data analysis

Axel Oehmichen, Yi-Ke Guo
2020
We will present the use of location data in the context of public health research, the work done in the context of data privacy for location data and the ex [...]  ...  The 1MB dataset has been used to determine Spark's initialisation time.  ...  Functional scalability: The addition of new functionality to enhance a system can be executed at minimal effort. 3.  ... 
doi:10.25560/82541 fatcat:snbou7u3qfgm5cswvm4o4xxb4m

The Collaborative Economy in Action: European Perspectives [article]

Andrzej Klimczuk, Vida Česnuitytė, Gabriela Avram
2021 Zenodo  
Yet, how this is executed in practice is not fully clear.  ...  It is like Airbnb but without the possibility of indicating check-in and check-out dates. A customer has to ring the owner and ask for free dates.  ... 
doi:10.5281/zenodo.5546595 fatcat:svd4zbyn7nf5vjth56mbwe5uuy

Video Big Data Analytics in the Cloud: A Reference Architecture, Survey, Opportunities, and Open Research Issues

Aftab Alam, Irfan Ullah, Young-Koo Lee
2020
All the symbols being used in this paper are listed below. IV.  ...  EXECUTION SCENARIOS L-CVAS follows the lambda architecture style [29] , and the execution scenarios undergo through two types of execution scenarios, i.e., Streaming Execution Scenario, and Batch Execution  ... 
doi:10.48550/arxiv.2011.07807 fatcat:mef3yrd7dfhurommhuqhlhtw6i

The politics of financial sector reform

Konrad Yakabuski
1993
Market-broadening instruments, such as note issuance facilities (NIFs), Eurocommercial paper, and revolving underwriting facilities (RUFs) and risk management instruments, such as forward contracts and  ...  (They) are also of little use to preclude the flow of information at the executive level."  ... 
doi:10.14288/1.0086327 fatcat:o5262ndle5gfdk3wbarv33n5tm

Shaminism: history, discourse and modernity

Thomas Karl Alberts
2013
In Shona, daré generally refers to a community court or council with executive authority.  ...  Jared Spark's 1828 biography of Ledyard was republished several times during the nineteenth-century and contributed to elevating Ledyard's status.  ... 
doi:10.25501/soas.00016642 fatcat:x72npzyrwfcwzpj6lhsnyi7fka

Proceedings of the workshop on challenges in the management of large corpora and big data and natural language processing (CMLC-5+BigNLP) 2017 including the papers from the web-as-corpus (WAC-XI) guest section. Birmingham, 24 july 2017

S.N.
2017
Once the tool has been used to produce this history in the headers, the same tool can be used to extract the commands for later execution by the user.  ...  The use of 'per-tool' namespaces in this manner allows for the use of standard file formats by various tools without loss of information that otherwise would have to be discarded after execution (or output  ... 
doi:10.5167/uzh-139700 fatcat:dpzmrcslt5gvlk2myhh5db626e

Teachers' professional development in a challenging educational context - a study of actual practice in rural western Kenya [article]

Brown Onguko, University Of Calgary, University Of Calgary, Susan Crichton
2012
You know I have never used that tool on the computer [desktop] . The tablet gave me an opportunity to be able to use it and enhanced my own skills in computation.  ...  OERs are mainly found in online repositories, and therefore the PD providers require access to facilities for downloading the material before using them as offline resources.  ...  The PD content for this study has been fashioned on the creative commons copyright terms so that other people can freely access it for their use.  ... 
doi:10.11575/prism/27984 fatcat:lwb7mozzqzg6zpvtmlr73avqve

A Kundu relationship : translating development in the Papua New Guinea church partnership program [article]

Jane Louise Anderson, University, The Australian National, University, The Australian National
2018
This thesis uses a Foucauldian governmentality perspective to understand development and foreign aid as regimes of practice, shaped by a secular tradition that uses a language in which the policy model  ...  It also understands Christianity as a regime of practice, shaped by a religious tradition that uses a particular language for talking about development.  ...  We are a people who believe in the power of the Highly Spirit and his supernatural abilities to empower us to live a wholesome life. 4.  ... 
doi:10.25911/5d5e77ea75bfc fatcat:n2jgahmpqrcgvkvhplpmd2ctsq
« Previous Showing results 1 — 15 out of 16 results