Intel Corporation - PDFSEARCH.IO - Document Search Engine

Intel Corporation
Results: 631

#	Item
1	Symbolic execution for BIOS security1 Oleksandr Bazhaniuk, John Loucaides, Lee Rosenbaum, Mark R. Tuttle, Vincent Zimmer2 Intel Corporation May 25, 2015 Abstract We are building a tool that uses symbolic execution to Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2015-08-01 14:12:14
2	Yariv Weltsch-Cohen Agile/Lean coach Intel corporation Copyright © 2014 Intel Corporation. All rights reserved. Intel, Look Inside, and the Intel logo are trademarks of Intel Add to Reading List Source URL: www.scaledagileframework.com Language: English - Date: 2017-09-15 15:19:05
3	Formal Methods at Intel — An Overview John Harrison Intel Corporation Second NASA Formal Methods Symposium NASA HQ, Washington DC 14th April:00–10:00) Add to Reading List Source URL: sist.shanghaitech.edu.cn Language: English - Date: 2017-06-02 02:14:10
4	Nebulous Mechanisms Story by: BRIAN DAVID JOHSNON The Intel Corporation, USA Illustrations by: Winkstink Inspired by: Using Multiple Personas in Service Robots to Improve Exploration Add to Reading List Source URL: www.creative-science.org Language: English - Date: 2015-01-17 09:00:30
5	A Proposal For Hardware Assisted Arithmetic Overflow Detection Darek Mihocka Jens Troeger Parallel Hybrid Computing, Intel Corporation Add to Reading List Source URL: www.emulators.com Language: English - Date: 2016-01-18 16:45:04
6	Protocol proof checking simplified with SMT Mark R. Tuttle Strategic CAD Lab Intel Corporation Hudson, MA Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2012-07-27 11:30:00
7	Intel Corporation 2200 Mission College Blvd. Santa Clara, CANews Release Intel Reports First-Quarter Financial Results Add to Reading List Source URL: s21.q4cdn.com Language: English - Date: 2018-04-26 16:01:16
8	Verifying Relative Error Bounds using Symbolic Simulation Jesse Bingham and Joe Leslie-Hurd Intel Corporation, Hillsboro, U.S.A Add to Reading List Source URL: www.gilith.com Language: English - Date: 2017-11-12 23:23:30
9	Advanced Configuration and Power Interface Specification Hewlett-Packard Corporation Intel Corporation Microsoft Corporation Add to Reading List Source URL: www.acpi.info Language: English - Date: 2016-02-16 19:02:06
10	Intimate (Ubiquitous) Computing Genevieve Bell, Tim Brooke, Elizabeth Churchill+, Eric Paulos~ Intel Research Intel Corporation Hillsboro, OR 97124 Add to Reading List Source URL: www.paulos.net Language: English* - Date: 2015-10-09 20:20:36