Systems - PDFSEARCH.IO - Document Search Engine

Systems
Results: 323656

#	Item
11	Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 12:50:10 Software engineering Computing Programming language theory Procedural programming languages Programming languages Logic in computer science Runtime verification Cross-platform software Program slicing Model checking L-system Trace
12	Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1 Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Theoretical computer science Logic in computer science Temporal logic Constraint programming Electronic design automation Satisfiability modulo theories Alt-Ergo Computation tree logic Model theory
13	Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-09-27 23:32:05 Formal methods Software engineering Computing Logic in computer science Non-interference Exception handling Formal verification Refinement Thread Futures and promises Covert channel Application programming interface
14	A fundamental evaluation of 80bit keys employed by hardware oriented stream ciphers Iain Devlin Centre for Electronic Systems, Durham University Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2006-04-17 15:16:36 Cryptography Stream ciphers Block cipher ESTREAM DICING WG
15	Prof. Laurent Vanbever Networked Systems Group Building an Accurate Model of the Internet Master Thesis Proposal Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2018-09-25 05:10:02 Information and communications technology Internet architecture Computing Internet Border Gateway Protocol Computer network Routing Inter-domain Router
16	Measuring Spectrum Similarity in Distributed Radio Monitoring Systems Roberto Calvo-Palomino1,2 , Domenico Giustiniano1 and Vincent Lenders3 1 IMDEA Networks Institute, Madrid, Spain, Add to Reading List Source URL: www.lenders.ch Language: English - Date: 2017-10-20 08:56:32 Signal processing Electrical engineering Electromagnetism Electronics Spectrum analyzer Sensor node DVB-T Sampling Bandwidth Modulation Bin-centres Orthogonal frequency-division multiplexing
17	Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:59 Mathematics Mathematical analysis Temporal logic Computation tree logic Logic in computer science Distribution Symbol Constructible universe Linear temporal logic Craig interpolation
18	Dynamical Systems, Fractal Geometry and Diophantine Approximations Carlos Gustavo Tamm de Araujo Moreira IMPA March 9, 2018 Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-28 17:09:48 Dynamical systems Mathematics Mathematical analysis Geometry Jacob Palis Homoclinic orbit Structural stability Stable manifold Diffeomorphism Cantor set Heteroclinic orbit Hyperbolic set
19	FBTCAn Intermediate Language for the Simulation of Biological Systems 1 Roberto Barbuti,2 Giulio Caravagna,3 Andrea Maggiolo–Schettini4 and Paolo Milazzo5 Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Mathematics Theoretical computer science Mathematical logic Formal languages Order theory Logic in computer science Multiset Path ordering Term Structure Rewriting Model theory
20	LMS-Verify Abstraction Without Regret for Verified Systems Programming Nada Amin & Tiark Rompf EPFL & Purdue University Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2017-01-20 09:52:58 Computing Software engineering Computer programming Parser generators Compiling tools Functional programming Parser combinator Parsing Lex Scala Apache HTTP Server

UPDATE