University - PDFSEARCH.IO - Document Search Engine

University
Results: 634567

#	Item
451	Automated Documentation Inference to Explain Failed Tests Sai Zhang University of Washington Joint work with: Cheng Zhang, Michael D. Ernst Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Computer programming Software engineering Infinite loop Recursion Software development Software testing Java Extreme programming
452	Incremental Call Graph Reanalysis for AspectJ Software Yu Lin, Sai Zhang, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China {linyu1986, saizhang, zhao-jj}@sjtu.edu.c Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Software development Aspect-oriented software development Aspect-oriented programming AspectJ Pointcut Join point Data-flow analysis Aspect weaver
453	A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst, Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:50:05 Functional predicate Model theory Symbol Limit of a function Universal quantification Mathematical logic Mathematics Logic
454	Poster: Understanding Free-riding Attacks in Internet Zero-rating Services Zhiheng Liu, Zhen Zhang, Shihao Jing, Zhaohan Xi and Yinzhi Cao Lehigh University 27 Memorial Dr W, Bethlehem, PA, USA [zhl416][zhza16][shj316][z Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-13 04:51:38 Computing Internet Computer network security Internet privacy Information and communications technology Transport Layer Security Cryptographic protocols Secure communication HTTP cookie HTTPS Deep packet inspection Man-in-the-middle attack
455	Advances and Challenges of Quantitative Verification and Synthesis for Cyber-Physical Systems Marta Kwiatkowska Department of Computer Science, University of Oxford, UK Abstract—We are witnessing a huge growth of cyber Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-09-02 06:46:32 Model checkers Software engineering Formal methods Theoretical computer science Software quality Computing PRISM model checker Model checking Formal verification Markov chain Stochastic Reliability engineering
456	Programming Paradigms and Beyond Shriram Krishnamurthi and Kathi Fisler Brown University and Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2018-10-16 22:52:34 Programming paradigms Software engineering Computing Programming language Functional programming Imperative programming Reactive programming Object-oriented programming Syntax Scripting language Declarative programming Assignment
457	Getting to Work with OpenPiton Princeton University http://openpiton.org OpenPit Add to Reading List Source URL: parallel.princeton.edu Language: English - Date: 2017-02-16 15:26:15 Digital electronics Electronic engineering Electronic design automation Design Synopsys Standard cell Design rule checking High-level synthesis Layout Versus Schematic Mentor Graphics Formal equivalence checking
458	Qlose: Program Repair with Quantitative Objectives⋆ Loris D’Antoni1 , Roopsha Samanta2 , and Rishabh Singh3 1 University of Wisconsin-Madison Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computing Computer programming Software engineering Source code Syntax Dependency grammar Expr NC For loop Term
459	Ritwika Ghosh phone : (+email : Profile : I am a first year graduate student in Computer Science at the University of Illinois, Urbana-Champaign, interested in formal methods, and appl Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-02-28 12:52:15 Mathematical software Application software Software Theoretical computer science Formal methods Logic in computer science Discrete mathematics Verification Quantifier elimination Formal verification Model checking Computer science
460	Learning Outcomes for Master of Science (MSc) in Corporate Finance National Qualification Framework for Iceland MSc in Corporate Finance at Reykjavik University MSc in Corporate Finance is a 90 ECTS-credit master’s deg Add to Reading List Source URL: en.ru.is Language: English - Date: 2018-06-27 06:50:00 Education Master's degree Finance Academic degree Master of Science Research Corporate finance Science Human behavior Management education Corporate governance European Qualifications Framework

UPDATE