Sweden - PDFSEARCH.IO - Document Search Engine

Sweden
Results: 15192

#	Item
1	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
2	Scrambling and Descrambling SMT-LIB Benchmarks Tjark Weber Uppsala University, Sweden Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2016-07-01 09:29:03 Computer programming Declarative programming Theoretical computer science Logic in computer science Cryptography Satellite broadcasting Scrambler Telecommunications equipment Satisfiability modulo theories Scrambling Monad Benchmark
3	This is to certify that the management system of: Stiftelsen för Internetinfrastruktur Main site: Hammarby Kaj 10D, SEStockholm, Sweden Add to Reading List Source URL: www.iis.se Language: English ISO/IEC 27001 Intertek
4	PREPRINT: To be presented at ICFP ’14, September 1–6, 2014, Gothenburg, Sweden. Practical and Effective Higher-Order Optimizations Lars Bergstrom Matthew Fluet Add to Reading List Source URL: manticore.cs.uchicago.edu Language: English - Date: 2017-07-17 11:35:05 Software engineering Computer programming Compiler optimizations Computing Inline expansion Optimizing compiler Data-flow analysis Scope Standard ML Functional programming Directed acyclic graph Static single assignment form
5	Modular Software Verification Dilian Gurov KTH Royal Institute of Technology, Stockholm, Sweden RTA-CSIT 2014 Invited Talk Tirana, 13 December 2014 Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2014-12-09 08:27:27 Software testing Hardware verification languages Electronic engineering Verification Model checking Software verification KTH Royal Institute of Technology E Functional verification Formal methods
6	Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule http://www.cs.utexas.edu/users/moore/acl2 ARCADE in Gothenburg, Sweden Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2017-08-05 03:12:13 Computer programming Software engineering Computing Lisp ACL2 Functional languages J Strother Moore Formal methods Automated theorem proving Common Lisp ACL Advanced Micro Devices
7	Regulation of Drones Australia • Canada • China • France • Germany • Israel Japan • New Zealand • Poland • South Africa Sweden • Ukraine • United Kingdom European Union Add to Reading List Source URL: www.loc.gov Language: English - Date: 2017-12-15 15:56:24 Unmanned aerial vehicles Robotics Avionics Pilot licensing and certification Aviation Technology Control engineering Regulation of unmanned aerial vehicles Unmanned aircraft in Singapore
8	Suggesting Valid Hole Fits for Typed-Holes (Experience Report) Matthías Páll Gissurarson Chalmers University of Technology, Sweden Add to Reading List Source URL: mpg.is Language: English - Date: 2018-08-05 06:01:43 Software engineering Programming language theory Computing Type theory Data types Functional languages Type systems Lambda calculus HindleyMilner type system Haskell Agda Dependent type
9	The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, Sweden Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2017-08-06 02:05:36 Mathematical logic Mathematics Theoretical computer science Automated theorem proving Logic in computer science Methods of proof Boolean algebra Mathematical proofs Proof complexity Boolean satisfiability problem

UPDATE