Execution - PDFSEARCH.IO - Document Search Engine

Execution
Results: 6779

#	Item
1	F ORESHADOW: Extracting the Keys to the Intel SGX Kingdom with Transient Out-of-Order Execution Jo Van Bulck1 , Marina Minkin2 , Ofir Weisse3 , Daniel Genkin3 , Baris Kasikci3 , Frank Piessens1 , Mark Silberstein2 , Thom Add to Reading List Source URL: foreshadowattack.eu Language: English - Date: 2018-08-31 11:04:52 Computer architecture Computing Computer hardware Computer memory Cache Computer security X86 architecture Central processing unit Software Guard Extensions Meltdown CPU cache Spectre
2	arXiv:1708.09114v1 [cs.CR] 30 AugFirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution Grant Hernandez∗ Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-08-19 13:20:33 Embedded systems Computer hardware Computing USB Electronics Firmware Intel MCS-51 Microcontroller Human interface device Computer USB human interface device class
3	Poster: Dynamic Taint Analysis of Concurrent Program Based on Symbolic Execution Yu Hao∗ , Xiaodong Zhang∗ , Zijiang Yang† and Ting Liu∗ ,IEEEauthorrefmark2 ∗ Ministry of Education Key Lab for Intelligent Netw Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-30 18:44:12 Software engineering Computer programming Computing Object-oriented programming languages KeY Symbolic execution Thread LLVM Parallel computing D Concolic testing
4	Learning gem5 – Part IV gem5 execution model, ISAs, and CPUs Jason Lowe-Power http://learning.gem5.org/ https://faculty.engineering.ucdavis.edu/lowepower/ Add to Reading List Source URL: learning.gem5.org Language: English - Date: 2018-09-17 11:50:25 Computer architecture Computing Central processing unit Instruction set architectures Reduced instruction set computer ARM architecture RISC-V System call X86
5	Wholesale Markets Brokers Association Americas Announces Panel Structure For Swap Execution Facility Conference October 4, 2010 CFTC Chairman, Add to Reading List Source URL: www.wmbaa.com Language: English - Date: 2012-01-18 14:46:50 Economy Finance Money Swap Execution Facility Tradeweb Commodity Futures Trading Commission Financial markets Derivative Swap NEX Group Futures contract
6	Multi-Solver Support in Symbolic Execution Hristina Palikareva, Cristian Cadar SMT Workshop 2014, Vienna, 17 July 2014 Dynamic Symbolic Execution Add to Reading List Source URL: smt2014.it.uu.se Language: English - Date: 2014-07-20 11:22:00 Software engineering Computing Computer programming Cross-platform software High-level programming languages Abstract interpretation Computer science Symbolic execution D Pure Concolic testing
7	Tradition SEF, Inc. The participant located in Quebec (the “Participant”) receiving access to the swap execution facility (the “SEF”) of Tradition SEF, Inc. (“Tradition”) represents to Tradition that: Add to Reading List Source URL: www.traditionsef.com Language: English - Date: 2017-07-05 08:55:26 Economy Money Finance Financial markets Swap Execution Facility Payment systems Derivative Clearing house Clearing Counterparty ACT Investment Industry Regulatory Organization of Canada
8	Improving Neural Program Synthesis with Inferred Execution Traces Richard Shin 1 * Illia Polosukhin 2 Dawn Song 1 1. Introduction Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Computational neuroscience Artificial neural networks Applied mathematics Cybernetics Neuroscience Convolutional neural network Feature learning Deep learning Karel Neural network Long short-term memory Machine learning
9	Planning with Concurrent Execution Bence Cserna Department of Computer Science University of New Hampshire Durham, NHUSA Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:24 Search algorithms Game artificial intelligence Combinatorial optimization Mathematics Information science Information retrieval Artificial intelligence Routing algorithms Automated planning and scheduling A* search algorithm Heuristic Incremental heuristic search
10	Suggesting Edits to Explain Failing Traces Giles Reger University of Manchester, UK Abstract. Runtime verification involves checking whether an execution trace produced by a running system satisfies a specification. Howe Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 13:08:32 Mathematics Algebra Theoretical computer science Finite automata Linear algebra Finite-state transducer Dynamic programming Edit distance Trace Finite-state machine Shortest path problem Levenshtein distance

UPDATE