Ernst - PDFSEARCH.IO - Document Search Engine

Ernst
Results: 4406

#	Item
1	Automated Diagnosis of Software Configuration Errors Sai Zhang, Michael D. Ernst University of Washington Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Software bug Debugging
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	Relevant affiliations of the Bank Council members Ernst Stocker, Member of the Bank Council Initial election 2010, current election 2016 Ernst Stocker, Wädenswil, born 1955, Swiss citizen Add to Reading List Source URL: www.snb.ch Language: English Political geography Cantons of Switzerland Geography of Switzerland Flughafen Zrich AG Basel Canton of Zrich
4	Modular Verification of Order-Preserving Write-Back Caches ? J¨ org Pf¨ ahler, Gidon Ernst, Stefan Bodenm¨ uller, Gerhard Schellhorn, and Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-07-21 04:42:46 Computing Software Formal methods Computer programming Refinement Crash Bandicoot Crash S0 Extensible Storage Engine Boeing B-52 Stratofortress
5	A Formal Model of a Virtual Filesystem Switch ∗ Gidon Ernst Gerhard Schellhorn Dominik Haneberg Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:43:20 Computer architecture System software Computing C POSIX library System calls POSIX Network file systems Inode Andrew File System Stat File system Virtual file system
6	Flashix: Development of a Verified Flash File System G. Schellhorn G. Ernst, J. Pfähler, D. Haneberg, W. Reif Overview • Introduction: Flash Hardware and File Systems • Project Flashix: Approach & Tool Support:KIV Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:48:03 Computer data storage Computing Non-volatile memory Computer memory Computer architecture Flash memory Wear leveling Solid-state drive Flash file system Dd Page
7	Empirically Revisiting the Test Independence Assumption Sai Zhang, Darioush Jalali, Jochen Wuttke, Kıvanç Muşlu, Wing Lam, Michael D. Ernst, David Notkin University of Washington Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Design of experiments Psychometrics Statistical hypothesis testing Software testing Measurement
8	Which Configuration Option Should I Change? Sai Zhang Michael D. Ernst Department of Computer Science & Engineering Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Computing Software engineering Computer programming Debugging Cross-platform software Object-oriented programming languages Procedural programming languages Assertion Logic in computer science Configuration management PHP Program slicing
9	NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System Xi Victoria Lin, Chenglong Wang, Luke Zettlemoyer, Michael D. Ernst Salesforce Research, University of Washington, Unive Add to Reading List Source URL: victorialin.net Language: English* - Date: 2018-10-26 01:53:41 Computing Scripting languages Xargs Semantic parsing Filter Sed GNU parallel Find Command-line interface Redirection Parsing Pipeline
10	Automatically Repairing Broken Workflows for Evolving GUI Applications Sai Zhang University of Washington Joint work with: Hao Lü, Michael D. Ernst Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Economy Business Graphical user interface Software architecture Workflow