Carnegie - PDFSEARCH.IO - Document Search Engine

Carnegie
Results: 7451

#	Item
11	Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Software engineering Theoretical computer science Formal methods Computing Computer science Computer security Model checking Verification Formal verification Carnegie Mellon University Proof-carrying code Software Engineering Institute
12	Executable Counterexamples in Software Model Checking J. Gennari1 and A. Gurfinkel2 and T. Kahsai3 and J. A. Navas4 and E. J. Schwartz1 Presenter: Natarajan Shankar4 1 Carnegie Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Computing Computer programming C Data types Pointer Hooking Exec Nm Struct
13	SMT-Based Model Checking for Recursive Programs ⋆ Anvesh Komuravelli, Arie Gurfinkel, and Sagar Chaki Carnegie Mellon University, Pittsburgh, PA, USA Abstract. We present an SMT-based symbolic model checking algorithm Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Symbol 120-cell Craig interpolation Computability theory Fiber bundles Differential topology
14	Incorporating Side Information in Tensor Completion Hemank Lamba, Vaishnavh Nagarajan, Kijung Shin, Naji Shajarisales Carnegie Mellon University 5000 Forbes Avenue Pittsburgh PA 15213, USA Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:47:55 Algebra Linear algebra Mathematics Matrix theory Matrix Tensor Factorization Singular value decomposition Tensor product
15	From Underapproximations to Overapproximations and Back! Arie Gurfinkel Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Carnegie Mellon University Cyberwarfare Software Engineering Institute Mellon Software engineering Carnegie Pittsburgh
16	HOST RELEASE FORM I want to participate in the Carnegie Mellon University Africa (“CMUAfrica”) Host Family Program as a host. I understand that, as a host, I will be matched with a foreign student(s) for the purpose Add to Reading List Source URL: www.africa.engineering.cmu.edu Language: English - Date: 2018-09-12 05:46:12 Carnegie Mellon University Carnegie Mellon Silicon Valley Severability Terminology
17	δ-Complete Decision Procedures for Satisfiability over the Reals⋆ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAAbstract. We introduce the notion of “δ-complete de Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Theoretical computer science Computability theory Computational complexity theory Theory of computation Constructivism Fourier analysis Formal methods Computable number Computable analysis Computable function NC Modulus of continuity
18	Maximizing the Spread of Positive Influence by Deadline Hemank Lamba, Jürgen Pfeffer Carnegie Mellon University {hlamba,jpfeffer}@cs.cmu.edu Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:49:21 Mathematics Combinatorics Discrete mathematics Network theory Networks Memetics Neologisms Viral marketing Greedy algorithm Heuristic Centrality Flow network
19	Verifying the Safety of a Flight-Critical System Guillaume Brat1 , David Bushnell2 , Misty Davies3 , Dimitra Giannakopoulou3 , Falk Howar4 ? , and Temesghen Kahsai1 1 Carnegie Mellon University Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Computing Software engineering Formal methods Software Theoretical computer science Simulation software Visual programming languages Numerical software Simulink SIGNAL Autopilot Formal verification
20	Carnegie Mellon University Africa Department Information and Communication TechnologyRwanda 2018‐2019 Handbook Master’s Degree in Information Technology (MSIT) Add to Reading List Source URL: www.africa.engineering.cmu.edu Language: English - Date: 2018-09-12 05:46:12 Carnegie Mellon Silicon Valley Education Carnegie Mellon University Master of Science in Information Technology Course credit Carnegie Mellon School of Computer Science Tepper School of Business

UPDATE