Finding - PDFSEARCH.IO - Document Search Engine

Finding
Results: 13371

#	Item
1	Finding and Preventing Bugs in JavaScript Bindings Fraser Brown⋆ Dawson Engler⋆ ⋆ Shravan Narayan† Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 15:58:08
2	Finding Errors in Multithreaded GUI Applications Sai Zhang University of Washington Joint work with: Hao Lu, Michael D. Ernst Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Computing Computer programming Software engineering Java Widget toolkits Cross-platform software Concurrent computing Swing Thread Debugging D Event dispatching thread
3	Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Software engineering Programming language theory Computing Logic in computer science Horn clause Control flow ALGOL 68 Formal methods Logic programming
4	C/C++ Concurrency: Formalization and Model Finding Mark Batty Jasmin Blanchette Susmit Sarkar Peter Sewell Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2013-09-25 05:49:39 Computing Computer programming Concurrent computing Concurrency control Parallel computing Thread Linearizability C++11 POSIX Threads Lock Concurrency Go
5	FINDING THE START OF ANOTHER TETHER – JANUARYSEND STUFF TO NAME YOUR PRICE Doppelgangers a guide to shopping in the 21st century Add to Reading List Source URL: www.randomartists.org Language: English - Date: 2007-03-18 19:37:07 Music industry Sound Automatic identification and data capture Barcode Encodings Records management technology Human Cadillactica Draft:Falling Into The Sky
6	Finding Finite Models in Multi-Sorted First-Order Logic? Giles Reger1 , Martin Suda1 , and Andrei Voronkov1,2,University of Manchester, Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 16:49:46 Mathematics Mathematical logic Logic Model theory Logic in computer science Semantics Universal algebra Boolean satisfiability problem Interpretation First-order logic Resolution Clause
7	Credit Opportunities: Subordinated debt as an alternative to high income strategies Finding attractive income from fixed income assets is one of the greatest challenges in investment management today. Finding it without Add to Reading List Source URL: www.fundexpertsforum.com Language: English - Date: 2018-05-29 09:58:37 Economy Finance Money Credit United States housing bubble Debt Financial law Financial markets Subordinated debt Bond High-yield debt Corporate bond
8	Thomson Reuters Elektron Data Platform Real-Time Venue Data For MiFID II MiFID II is redefining best practice in our industry Organizations bound by MiFID II are now finding that rules around pre- and post-trade transpar Add to Reading List Source URL: mifidii.thomsonreuters.com Language: English - Date: 2018-10-21 02:07:04 Economy Finance Money Financial markets Financial regulation European Union Markets in Financial Instruments Directive Systemic risk Tradeweb Thomson Reuters MarketAxess Securities research
9	DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization Benjamin Bichsel Timon Gehr Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:55:58
10	Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2 Add to Reading List Source URL: csl.sri.com Language: English - Date: 2015-09-28 14:39:27 Software engineering Programming language theory Computing Logic in computer science Horn clause Control flow ALGOL 68 Formal methods Logic programming