Model - PDFSEARCH.IO - Document Search Engine

Model
Results: 136453

#	Item
91	SMT-Based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Symbol 120-cell Craig interpolation Computability theory Fiber bundles Differential topology
92	Decentralized Energy Market WHITEPAPER An energy trading platform that utilises blockchain technology to create a new disruptive model for buying and selling electricity Add to Reading List Source URL: suncontract.org Language: English - Date: 2018-10-19 08:31:23 Energy Universe Energy economics Nature Energy policy Renewable energy Climate change policy Energy development Sustainable energy World energy consumption Energy market Solar power
93	Qualification of a Model Checker for Avionics Software Verification Lucas Wagner1 , Alain Mebsout2 , Cesare Tinelli2 , Darren Cofer1 , and Konrad Slind1 1 Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Software engineering Computing Avionics Engineering Systems engineering Software requirements Embedded systems Safety engineering DO-178C Formal methods Alt-Ergo Model checking
94	Google Home Product environmental report Model H0ME, introduced October 4, 2016 Environmental Add to Reading List Source URL: storage.googleapis.com Language: English - Date: 2018-09-04 14:46:45 Chemistry Nature World Wide Web Energy conversion Industrial ecology Environment Environmental chemistry European Union Restriction of Hazardous Substances Directive Flame retardant Recycling Life-cycle assessment
95	The C/C++ Memory Model: Overview and Formalization Mark Batty Jasmin Blanchette Susmit Sarkar Peter Sewell Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2015-05-22 10:51:47 Computing Software engineering Concurrent computing Concurrency control C++ Parallel computing Transaction processing Concurrency Linearizability C++11 Thread POSIX Threads
96	Towards Solving Differential Equations through Neural Programming Forough Arabshahi 1 Sameer Singh 1 Animashree Anandkumar 2 1. Introduction Differential equations are used to model numerous phenomena such as heat, elec Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Mathematics Differential equations Calculus Abstraction Partial differential equation Ordinary differential equation Equation Artificial neural network Linear differential equation Numerical methods for ordinary differential equations
97	A MODEL FOR FRAMED CONFIGURATION SPACES OF POINTS RICARDO CAMPOS, JULIEN DUCOULOMBIER, NAJIB IDRISSI, AND THOMAS WILLWACHER Abstract. We study configuration spaces of framed points on compact manifolds. Such configuratio Add to Reading List Source URL: idrissi.eu Language: English - Date: 2018-10-19 04:32:45 Algebra Mathematics Topology Homotopy theory Algebraic topology Abstract algebra Category theory Homological algebra Operad theory Homotopy category Rational homotopy theory Homotopy
98	Model contract to ensure equivalent protection in the context of transborder data flows with explanatory reportStudy made jointly by the Council of Europe, the Commission of the European Communities and Internati Add to Reading List Source URL: www.edoeb.admin.ch Language: English Law Contract law Business law Arbitration Arbitration clause Information sensitivity License Contract Arbitral tribunal
99	Enterprise storage at a reduced price point Enterprise tape storage is now more affordable with Spectra’s lower-cost version of its award-winning T950 Tape Library. This full-featured library model has all of the capab Add to Reading List Source URL: www.teradactyl.com Language: English Electromagnetism Magnetism Computing Linear Tape-Open Spectra Logic Tape drive Magnetic tape data storage Backup Tape library Linear Tape File System IBM Storage
100	A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada) Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Pointer Graph

UPDATE