Technology - PDFSEARCH.IO - Document Search Engine

Technology
Results: 829226

#	Item
21	A Verified Generational Garbage Collector for CakeML Adam Sandberg Ericsson, Magnus O. Myreen, and Johannes ˚ Aman Pohjola Chalmers University of Technology, Sweden Add to Reading List Source URL: cakeml.org Language: English - Date: 2017-07-03 06:09:00 Computing Software engineering Memory management Computer programming Pointer Garbage collection Heap C dynamic memory allocation Region-based memory management Go Garbage Sort
22	Education Sharif University of Technology, Tehran, Iran BS in Computer Engineering - Software Engineering Grade Point Average: 18.29 out of 20 GPAKasra Edalat Nejad Add to Reading List Source URL: ce.sharif.edu Language: English - Date: 2018-07-11 05:37:17 Provinces of Iran Sharif University of Technology Tehran Province Nejad Mohammad Ghodsi Tehran SUT
23	HMFEv - An Eﬃcient Multivariate Signature Scheme Albrecht Petzoldt1(B) , Ming-Shing Chen2 , Jintai Ding3 , and Bo-Yin Yang2 1 National Institute for Standards and Technology, Gaithersburg, MD, USA Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2018-03-14 01:35:29 Cryptography Multivariate cryptography Post-quantum cryptography Hidden Field Equations Unbalanced Oil and Vinegar QUAD Quadratic form Digital signature Quadratic function XSL attack
24	Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 FO Finite model theory Model theory Metaphilosophy Mathematical logic Mathematics Sigma-algebra Pattern language
25	June 27, 2018 The Honorable Ralph Abraham, Chairman The Honorable Don Beyer, Ranking Member House Committee on Science, Space, and Technology Subcommittee on Oversight 2321 Rayburn House Office Building Add to Reading List Source URL: www.epic.org Language: English - Date: 2018-06-27 07:52:28 Law enforcement Learning Law Surveillance Mobile security Telephone tapping Electronic Privacy Information Center Politics and technology Stingray phone tracker IMSI-catcher Marc Rotenberg Carpenter v. United States
26	AudioVisual services At PSAV®, we blend creativity and innovative technology for an inspiring experience. Our highly trained professionals are passionate about delivering exceptional experiences to help you tell your st Add to Reading List Source URL: www.ashg.org Language: English - Date: 2018-06-29 08:30:11 Sound Audio engineering Loudspeakers Sound reinforcement system Flip chart Office equipment Stage monitor system Wireless microphone Microphone Audio electronics Electrical engineering
27	Modeling and Monitoring of Hierarchical State Machines in Scala? Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov Add to Reading List Source URL: rjoshi.org Language: English - Date: 2018-01-10 13:23:58 Computing Software engineering Models of computation UML state machine State diagram HSM Scala
28	BharatNet Planning Tool User Manual Indian Institute of Technology Bombay 3 Add to Reading List Source URL: grammarg.in Language: English Bharat Broadband Network Spreadsheet Wi-Fi Application programming interface Global Positioning System Microsoft Excel Computing Technology Software
29	Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:45:03 Model checkers Software engineering Computing Model checking Theoretical computer science SPIN model checker Stack Promela Exception handling Device driver synthesis and verification