Push-button - PDFSEARCH.IO - Document Search Engine

Push-button
Results: 599

#	Item
1	Hyperkernel: Push-Button Verification of an OS Kernel Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-24 20:19:38 System software Computer architecture Software Kernel Xv6 LLVM Linux kernel
2	Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-21 17:45:06 Computer architecture Computing Formal methods Logic in computer science Kernel Linux kernel L4 microkernel family Mach Verification X86-64 Formal verification Satisfiability modulo theories
3	Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-21 17:45:06 Computer architecture System software Disk file systems Data management Inode File system Journaling file system Log-structured File System Ext3 Mkfs Refinement Ext4
4	Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-24 20:19:39 Formal methods Verification Technology Refinement Specification File system Evaluation Business
5	Automated Interac.ve Applica.ons From Data to Answers – at the Push of a Button Eureqa Automated Interac.ve Applica.ons (AI Apps) merge data science and a user’s domain exper.se into Add to Reading List Source URL: nutonian.com Language: English - Date: 2016-08-29 11:30:39
6	EMPOWER YOUR GLOBAL BUSINESS Push the button In un quadro di sinergia con il contesto locale ed il mercato globale, Aspin, Azienda Speciale della Camera di Commercio di Frosinone, promuove lo sviluppo delle piccole e me Add to Reading List Source URL: aspiin.it Language: Italian - Date: 2013-11-07 12:33:44
7	Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2017-11-14 17:29:18
8	Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Add to Reading List Source URL: locore.cs.washington.edu Language: English - Date: 2017-11-20 00:03:59
9	Hyperkernel: Push-Button Verification of an OS Kernel Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2017-11-14 17:29:18
10	Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether Add to Reading List Source URL: locore.cs.washington.edu Language: English - Date: 2016-10-05 18:29:44