Lars - PDFSEARCH.IO - Document Search Engine

Lars
Results: 3891

#	Item
1	InsFtute of Molecular Systems Biology   Accelerating 3D Protein Modeling Using Cloud Computing   Lars Malmström, Ruedi Aebersold – ETH Zürich, IMSB h?p://www.imsb.ethz.ch  Wibke Sud Add to Reading List Source URL: www.cloudbroker.com Language: English - Date: 2011-09-20 05:40:42 Cloud infrastructure IBM cloud computing Computing Cloud computing
2	InsFtute of Molecular Systems Biology   Accelerating 3D Protein Modeling Using Cloud Computing   Lars Malmström, Ruedi Aebersold – ETH Zürich, IMSB h?p://www.imsb.ethz.ch  Wibke Sud Add to Reading List Source URL: cloudbroker.com Language: English - Date: 2011-06-23 06:55:42 Cloud infrastructure IBM cloud computing Computing Cloud computing
3	InsFtute of Molecular Systems Biology   Accelerating 3D Protein Modeling Using Cloud Computing   Lars Malmström, Ruedi Aebersold – ETH Zürich, IMSB h?p://www.imsb.ethz.ch  Wibke Sud Add to Reading List Source URL: www.cloudbroker.com Language: English - Date: 2011-06-23 06:55:42 Cloud infrastructure IBM cloud computing Computing Cloud computing
4	InsFtute of Molecular Systems Biology   Accelerating 3D Protein Modeling Using Cloud Computing   Lars Malmström, Ruedi Aebersold – ETH Zürich, IMSB h?p://www.imsb.ethz.ch  Wibke Sud Add to Reading List Source URL: cloudbroker.com Language: English - Date: 2011-09-20 05:40:42 Cloud infrastructure IBM cloud computing Computing Cloud computing
5	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
6	Benchmarking 6DOF Outdoor Visual Localization in Changing Conditions Torsten Sattler1 Will Maddern2 Carl Toft3 Akihiko Torii4 Lars Hammarstrand3 Erik Stenborg3 Daniel Safari4,5 Masatoshi Okutomi4 Marc Pollefeys1,6 Josef Add to Reading List Source URL: openaccess.thecvf.com Language: English - Date: 2018-06-11 13:34:10
7	SPECIFICATION AND DEVELOPMENT OF PARALLEL ALGORITHMS WITH THE PROTEUS SYSTEM ALLEN GOLDBERG, PETER MILLS, LARS NYLAND, JAN PRINS, JOHN REIF, AND JAMES RIELY Abstract. The Proteus language is a wide-spectrum parallel prog Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-08 19:03:00 Computing Parallel computing Computer programming Software engineering Data parallelism Proteus Implicit parallelism Concurrent computing Parallelism Scala
8	A Verified Compiler from Isabelle/HOL to CakeML Add to Reading List Source URL: lars.hupel.info Language: English Mathematics Theoretical computer science Software engineering Mathematical logic Data types Automated theorem proving Logic programming Lambda calculus Substitution De Bruijn index Term Standard ML
9	PDF Document Add to Reading List Source URL: www.lars-balzer.info - Date: 2017-01-13 07:35:59
10	DOC Document Add to Reading List Source URL: www.lars-ev.de - Date: 2017-04-25 18:25:55

UPDATE