Practical Algorithms for Incremental Software Development Environments Tim A. Wagner March 10, 1998 Preface

Source URL: www2.eecs.berkeley.edu

• Programming language implementation
• Compiler construction
• Computing
• Software engineering
• Parsing
• Parsing algorithms
• SYNTAX
• LR parser
• Deterministic parsing
• Identifier

iTAP: In-network Traffic Analysis Prevention using Software-Defined Networks https://itap.ethz.ch Roland Meier

Source URL: nsg.ee.ethz.ch

• Computing
• Data transmission
• Network architecture
• Computer networking
• Network protocols
• Emerging technologies
• Internet architecture
• OpenFlow
• Software-defined networking
• Traffic flow
• NetFlow
• Denial-of-service attack

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

Source URL: seahorn.github.io

• Computing
• Computer programming
• C
• Data types
• Pointer
• Hooking
• Exec
• Nm
• Struct

Verifying Curve25519 Software Yu-Fang Chen1 , Chang-Hong Hsu2 , Hsin-Hung Lin3 , Peter Schwabe4 , Ming-Hsien Tsai1 , Bow-Yaw Wang1 , Bo-Yin Yang1 , and Shang-Yi Yang1 ? 1 Institute of Information Science

Source URL: precision.moscito.org

• X86 architecture
• X86-64
• Z3
• Computing
• Computer hardware
• Computer engineering

SOFTWARE TESTING, VERIFICATION AND RELIABILITY Softw. Test. Verif. ReliabPublished online in Wiley Online Library (wileyonlinelibrary.com). DOI: stvr.1475 A survey of code-based change impact analysis te

Source URL: zhang-sai.github.io

• Central Intelligence Agency
• Cold War in popular culture
• McLean
• Virginia
• Change impact analysis
• Program slicing
• Mining software repositories
• Reverse engineering
• Software engineering
• Computing
• Change

1 Roadmap for the Development of a Linear Algebra Library for Exascale Computing SLATE: Software for Linear Algebra Targeting Exascale

Source URL: www.icl.utk.edu

• Concurrent computing
• Computing
• Computer programming
• Parallel computing
• Numerical linear algebra
• Numerical software
• Application programming interfaces
• Fortran
• OpenACC
• Math Kernel Library
• OpenMP
• ScaLAPACK

Carlo A. Furia 1 Software Institute Faculty of Informatics

Source URL: bugcounting.net

• Software engineering
• Computing
• Computer science
• Polytechnic University of Milan
• International Conference on Software Engineering
• Bertrand Meyer
• Software verification
• ETH Zurich
• Carlo Ghezzi

Customer Due Diligence Software Solutions for asset managers offered by CDDS Switzerland AG CDDS Switzerland AG offers software solutions which have been tailored to cover the needs of small and medium-sized asset manage

Source URL: www.vqf.ch

• Nippon Telegraph and Telephone
• TwinVQ

Software-Handbuch RISE 3.0 Version: 27. August 2015 Berner Fachhochschule Hochschule für Agrar-, Forst- und Lebensmittelwissenschaften HAFL

Source URL: www.hafl.bfh.ch

Poster: (SF)2 I - Structure Field Software Fault Isolation Spyridoula Gravani, Zhuojia Shen, John Criswell Department of Computer Science, University of Rochester Email: {sgravani, zshen10, criswell}@cs.rochester.edu Ab

Source URL: www.ieee-security.org

• Computer architecture
• System software
• Operating system kernels
• Linux kernel
• Monolithic kernels
• Kernel
• Loadable kernel module
• Protection ring
• Operating system
• Mach
• Rootkit
• Mandatory access control