Systems - PDFSEARCH.IO - Document Search Engine

Systems
Results: 323656

#	Item
101	Network of Excellence in Cryptology ISTSpecial Purpose Hardware for Attacking Cryptographic Systems (SHARCS ‘06) Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2006-04-17 15:01:59 Cryptography ECRYPT Data Encryption Standard Mathematics
102	How the level of global warming affects impacts and/or risks associated with the Reasons for Concern (RFCs) and selected natural, managed and human systems Five Reasons For Concern (RFCs) illustrate the impacts and risks Add to Reading List Source URL: www.ipcc.ch Language: English - Date: 2018-10-15 09:46:27 Climatology Climate change Physical geography Effects of global warming Reasons for concern Global warming
103	CS2BioModular Verification of Interactive Systems with Application to Biology Peter Dr´abik Andrea Maggiolo-Schettini Paolo Milazzo Dipartimento di Informatica, Universit` Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Gene expression Molecular biology Biochemistry Biology Lac operon Beta-galactosidase Inducer Allolactose Galactosidases Lac repressor Lactose Galactose
104	Static Analysis of Real-Time Embedded Systems with REK Arie Gurfinkel1 Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Carnegie Mellon University Software Engineering Institute Carnegie Mellon Silicon Valley Software engineering Mellon Pittsburgh
105	Full version of an extended abstract published in Proceedings of Eurocrypt 2014, Springer-Verlag, 2014. D´ej`a Q: Using Dual Systems to Revisit q-Type Assumptions Sarah Meiklejohn∗ UC San Diego Add to Reading List Source URL: smeiklej.com Language: English - Date: 2018-10-23 14:58:02 Algebra Abstract algebra XTR Verifiable random function Computational hardness assumptions Group theory Lie groups
106	Subsumer-First: Steering Symbolic Reachability Analysis Andrey Rybalchenko1 and Rishabh Singh2 1 Max Planck Institute for Software Systems (MPI-SWS) Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Metaphysics Data types Search algorithms Mathematics Model checking Tree Information science Abstraction B-tree Breadth-first search Reachability FO
107	DASH: Modelling and Analysis of Declarative State-Based Transition Systems Work in Progress () Jose Serna, Nancy A. Day, and Shahram Esmaeilsabzali With past contributions by Sabria Farheen Add to Reading List Source URL: alloytools.org Language: English* - Date: 2018-06-13 06:07:43 Models of computation Intel Scientific modelling Dash Transition system Epistemology Philosophy of science Writing
108	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
109	F e b r uar yGuiding Embedded Designers on Systems and Technologies Engineers’ Guide to PC/104 & Embedded SFF Add to Reading List Source URL: www.eproductalert.com Language: English - Date: 2018-04-18 19:09:29 Computer architecture Instruction set architectures Computing Acorn Computers Microcontrollers RISC-V Central processing unit Reduced instruction set computer Embedded system ARM architecture Arm Holdings

UPDATE