Sweden

Results: 15192



#Item
1A 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

Add to Reading List

Source URL: cakeml.org

Language: English - Date: 2017-07-03 06:09:00
2Scrambling and Descrambling SMT-LIB Benchmarks Tjark Weber Uppsala University, Sweden

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
3This is to certify that the management system of:  Stiftelsen för Internetinfrastruktur Main site: Hammarby Kaj 10D, SEStockholm, Sweden

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
4PREPRINT: To be presented at ICFP ’14, September 1–6, 2014, Gothenburg, Sweden.  Practical and Effective Higher-Order Optimizations Lars Bergstrom  Matthew Fluet

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
5Modular Software Verification Dilian Gurov KTH Royal Institute of Technology, Stockholm, Sweden RTA-CSIT 2014 Invited Talk Tirana, 13 December 2014

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
6Industrial 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

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
7Regulation of Drones  Australia • Canada • China • France • Germany • Israel Japan • New Zealand • Poland • South Africa Sweden • Ukraine • United Kingdom European Union

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
8Suggesting Valid Hole Fits for Typed-Holes (Experience Report) Matthías Páll Gissurarson Chalmers University of Technology, Sweden

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
9The 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

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