This article was published in the October 2007 edition of Exchange. A New Concept for Lightning Protection of Boats Protect a Boat like a Building Ewen M. Thomson, Ph.D. Ewen Thomson is a recognized expert on marine lig

Source URL: marinelightning.com

• Electrical safety
• Power cables
• Electrical wiring
• Lightning
• Electric power distribution
• Lightning rod
• Lightning strike
• Ground
• Electrical wiring in North America
• Ufer ground

Formal Safety Certification of Auto-Generated Aerospace Software Ewen Denney and Bernd Fischer {edenney,fisch}@email.arc.nasa.gov USRA/RIACS, NASA Ames Research Center, Moffett Field, CA 94035, USA Code generators can ad

Source URL: ti.arc.nasa.gov

• Formal methods
• Theoretical computer science
• Failure
• Materials science
• Reliability engineering
• Survival analysis
• DO-178B
• Exception handling
• Formal verification
• Software development process
• KeY
• Software development

ABFA CODE, PROFESSIONAL STANDARDS & COMPLAINTS PROFESSIONAL STANDARDS COUNCIL Tracy Ewen - Member Tracy Ewen is Managing Director of the IGF group of companies. IGF is a leading independent commercial finance company sp

Source URL: www.factors.org.uk

• Corporate finance
• Cash flow
• Factoring
• Fundamental analysis
• SME finance
• Tracy
• California
• Finance

A Generic Software Safety Document Generator Ewen Denney1 and Ram Prasad Venkatesan?,2 1 2

Source URL: ti.arc.nasa.gov

• Formal methods
• Theoretical computer science
• IP
• Integration by substitution
• Hoare logic
• Substitution
• Mathematical proof
• KeY
• Predicate transformer semantics
• Verification condition generator
• Initialization
• Linear temporal logic

A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software Ewen Denney SGT / NASA Ames Moffett Field, CA 94035

Source URL: ti.arc.nasa.gov

• Software requirements
• Formal methods
• Procedural programming languages
• Requirement
• Comment
• Formal verification
• Traceability
• Axiom
• C
• Mathematical proof
• Metamath

Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal Ewen Denney, Ganesh Pai and Josef Pohl SGT / NASA Ames Research Center Moffett Field, CA 94035, USA Email: {ewen.denney, ganesh.pai, josef.po

Source URL: ti.arc.nasa.gov

• Avionics
• Safety engineering
• Safety
• Risk
• Systems engineering
• Hazard analysis
• Safety case
• Unmanned aerial vehicle
• Functional safety
• Autopilot
• System safety
• Avionics software

MapReduce and PACT - Comparing Data Parallel Programming Models Alexander Alexandrov, Stephan Ewen, Max Heimel, Fabian Hueske, Odej Kao, Volker Markl, Erik Nijkamp, Daniel Warneke Technische Universit¨at Berlin, Germany

Source URL: stratosphere.eu

• Concurrent computing
• Computing
• Parallel computing
• Distributed computing architecture
• Parallelization contract
• MapReduce
• Apache Hadoop
• Map
• Data
• XQuery
• Data-intensive computing
• Aster Data Systems

Ewen-Trout Creek Junior / Senior High School Daily Bell Schedule1st Period: 8:00 AM – 8:48 AM

Source URL: www.etc.k12.mi.us

Spinning Fast Iterative Data Flows Stephan Ewen 1 1,2,4 Kostas Tzoumas 2

Source URL: stratosphere.eu

• Compiler optimizations
• Fractals
• Iteration
• Project management
• Time management
• PageRank
• Data-flow analysis
• Mathematical optimization
• Directed acyclic graph
• Algorithm
• RochaThatte cycle detection algorithm
• BMDFM

  Ewen­Trout Creek School District  2016­2017 Calendar   

Source URL: www.etc.k12.mi.us