21![A Verified Generational Garbage Collector for CakeML Adam Sandberg Ericsson, Magnus O. Myreen, and Johannes ˚ Aman Pohjola Chalmers University of Technology, Sweden A Verified Generational Garbage Collector for CakeML Adam Sandberg Ericsson, Magnus O. Myreen, and Johannes ˚ Aman Pohjola Chalmers University of Technology, Sweden](https://www.pdfsearch.io/img/3c69d69c55907ad71ecfc908e4cbf64f.jpg) | Add to Reading ListSource URL: cakeml.orgLanguage: English - Date: 2017-07-03 06:09:00
|
---|
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 Education Sharif University of Technology, Tehran, Iran BS in Computer Engineering - Software Engineering Grade Point Average: 18.29 out of 20 GPAKasra Edalat Nejad](https://www.pdfsearch.io/img/8026aa97e255d1bbd3ec1b1bf96b281a.jpg) | Add to Reading ListSource URL: ce.sharif.eduLanguage: English - Date: 2018-07-11 05:37:17
|
---|
23![HMFEv - An Efficient 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 HMFEv - An Efficient 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](https://www.pdfsearch.io/img/e32a4595eea2e77b836e6f414f996385.jpg) | Add to Reading ListSource URL: precision.moscito.orgLanguage: English - Date: 2018-03-14 01:35:29
|
---|
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 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](https://www.pdfsearch.io/img/80b6bd994dd59bc5332935542c3c4815.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:26:03
|
---|
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 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](https://www.pdfsearch.io/img/0bcd342f99db9bc8532b9d292deeda29.jpg) | Add to Reading ListSource URL: www.epic.orgLanguage: English - Date: 2018-06-27 07:52:28
|
---|
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 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](https://www.pdfsearch.io/img/2530cd5ee91417ce22e41e653d881eb9.jpg) | Add to Reading ListSource URL: www.ashg.orgLanguage: English - Date: 2018-06-29 08:30:11
|
---|
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 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](https://www.pdfsearch.io/img/4689d7655a3ce86da17164bce49bdac8.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2018-01-10 13:23:58
|
---|
28![BharatNet Planning Tool User Manual Indian Institute of Technology Bombay 3 BharatNet Planning Tool User Manual Indian Institute of Technology Bombay 3](https://www.pdfsearch.io/img/961c2e1bc3dd2e1d5275ae3d5e3f7b79.jpg) | Add to Reading ListSource URL: grammarg.inLanguage: English |
---|
29![Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology](https://www.pdfsearch.io/img/fa1e968bae8a698264065168b9cda0a4.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:45:03
|
---|