File list

Jump to: navigation, search

This special page shows all uploaded files.

File list
 
First page
Previous page
Last page
Date Name Thumbnail Size User Description Versions
23:55, 26 May 2019 070-Systolic-Processors Presentation Slides by MAREK ANDRZEJ PERKOWSKI.pdf (file) 62 KB Martin Vahi Downloaded on 2013_xx_xx from http://web.cecs.pdx.edu/~mperkows/temp/May13/070-Systolic-Processors.pdf 1
16:17, 16 May 2019 1944 xx xx George Polya How-to-Solve-it keywords Mathematics proofs thinking methods heuristics.pdf (file) 1.87 MB Martin Vahi Downloaded on 2019_05_16 from https://lms.umb.sk/pluginfile.php/37176/mod_folder/content/0/Polya_How-to-solve-it.pdf?forcedownload=1 1
17:00, 28 March 2018 1952 08 14 The Chemical Basis of Morphogenesis by Alan Mathison Turing.pdf (file) 1.18 MB Martin Vahi Downloaded on 2018_03_28 from http://www.dna.caltech.edu/courses/cs191/paperscs191/turing.pdf 1
12:05, 17 October 2015 1963 Linear Programming and Extensions by George Bernard Dantzig.pdf (file) 9.11 MB Martin Vahi Source: http://www.rand.org/content/dam/rand/pubs/reports/2007/R366part1.pdf Background: http://www-gap.dcs.st-and.ac.uk/~history/Biographies/Dantzig_George.html 1
04:02, 22 June 2017 1973 08 xx Nassi and Shneiderman Structograms.pdf (file) 597 KB Martin Vahi Downloade don 2017_06_22 from http://www.cs.umd.edu/hcil/members/bshneiderman/nsd/1973.pdf https://en.wikipedia.org/wiki/Nassi%E2%80%93Shneiderman_diagram 1
11:32, 4 February 2018 1985 06 xx The Connection Machine by William Daniel Hillis.pdf (file) 7.88 MB Martin Vahi Downloaded on 2018_02_04 from https://dspace.mit.edu/bitstream/handle/1721.1/14719/18524280-MIT.pdf?sequence=2 http://archive.is/3juQT https://twitter.com/alastair_d_reid/status/959903620715163654 1
01:25, 11 March 2017 1985 Excerpt from Jim Hartz show Where Wassily Leontief Suggests that Dumber People Should get Income Without Working.webm (file) 14.9 MB Martin Vahi   1
03:17, 23 April 2019 1986 xx xx Linear Logic by Jean-Yves Girard.pdf (file) 10.56 MB Martin Vahi Downloaded on 2019_04_23 from https://pdf.sciencedirectassets.com/271538/1-s2.0-S0304397500X04197/1-s2.0-0304397587900454/main.pdf?x-amz-security-token=AgoJb3JpZ2luX2VjENf%2F%2F%2F%2F%2F%2F%2F%2F%2F%2FwEaCXVzLWVhc3QtMSJGMEQCIB9uQ9ntxJxJWbNqd9P8bxQH9z... 1
20:55, 2 March 2018 1988 12 xx Formal Verification of Programs SEI Curriculum Module SEI-CM-20-1.0 by Alfs T Berztiss and Mark A Ardis.pdf (file) 123 KB Martin Vahi Downloaded on 2018_03_02 from https://resources.sei.cmu.edu/asset_files/CurriculumModule/1988_007_001_15611.pdf 1
11:03, 3 March 2019 1993 xx xx Field Effect Transistors in Theory and Practice by NXP Freescale Semiconductor Application Note AN211A.pdf (file) 383 KB Martin Vahi Downloaded on 2019_03_03 from https://www.nxp.com/docs/en/application-note/AN211A.pdf 1
01:17, 1 December 2018 1995 08 30 PolynomialTime Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer Peter W Shor.pdf (file) 308 KB Martin Vahi https://arxiv.org/pdf/quant-ph/9508027.pdf https://arxiv.org/abs/quant-ph/9508027 1
01:19, 1 December 2018 1996 05 29 A Fast Quantum Mechanical Algorithm for Database Search by Lov K Grover.pdf (file) 44 KB Martin Vahi https://arxiv.org/pdf/quant-ph/9605043.pdf https://arxiv.org/abs/quant-ph/9605043 1
11:02, 24 May 2016 1997 12 15 Domain Specific Languages by Paul Hudak.pdf (file) 183 KB Martin Vahi Downloaded on 2016_05_24 from http://haskell.cs.yale.edu/wp-content/uploads/2011/01/DSEL-Little.pdf 1
21:28, 9 January 2019 1997 xx xx Informed MultiProcess Prefetching and Caching by Andrew Tomkins and R. Hugo Patterson and Garth Gibson.pdf (file) 318 KB Martin Vahi Downloaded on 2019_01_09 from http://www.pdl.cmu.edu/PDL-FTP/TIP/Sigmetrics97.pdf http://www.pdl.cmu.edu/PDL-FTP/TIP/Sigmetrics97.abstract.shtml http://www.pdl.cmu.edu/Publications/downloads.shtml 1
00:32, 18 March 2018 1999 xx xx Java s Insecure Parallelism Pointed out by the PER BRINCH HANSEN.pdf (file) 122 KB Martin Vahi Downloaded on 2018_03_17 from http://brinch-hansen.net/papers/1999b.pdf http://brinch-hansen.net/ 1
03:00, 23 April 2019 1999 xx xx Type Theory and Functional Programming by Simon Thompson.pdf (file) 1.22 MB Martin Vahi Downloaded on 2019_04_23 from https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ttfp.pdf https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ 1
09:54, 28 January 2017 1zN8g.zip (file) 728 KB Martin Vahi Downloaded on 2017_01_28 from https://archive.is/1zN8g http://www.mdpi.com/2073-4336/7/4/37/htm 1
09:27, 18 May 2018 2001 10 29 Random Access Machines id est RAM machines by Michael Bader.pdf (file) 66 KB Martin Vahi   1
16:53, 22 December 2015 2001 Race Conditions A Case Study Steve Carr Jean Mayo and Ching-Kuang Shene.pdf (file) 192 KB Martin Vahi Downloaded on 2015_12_22 from http://www.cs.mtu.edu/~shene/PUBLICATIONS/2001/race.pdf 1
00:38, 14 August 2017 2002 11 14 Package Views a more Flexible Infrastructure for Thirdparty Software by Alistair Crooks.pdf (file) 188 KB Martin Vahi Downloaded on 2017_08_13 from https://www.netbsd.org/docs/software/pkgviews.pdf https://www.netbsd.org/docs/software/packages.html 1
08:50, 20 December 2015 2002 The Active Object System Design and Multiprocessor Implementation.pdf (file) 710 KB Martin Vahi Downloaded 2015_12_19 from http://e-collection.library.ethz.ch/eserv/eth:26082/eth-26082-02.pdf 1
16:23, 4 February 2018 2003 01 xx Expander Graphs and Their Applications Lecture Notes for a Course by Nati Linial and Avi Wigderson.pdf (file) 848 KB Martin Vahi Downloaded on 2018_02_04 from http://www.math.ias.edu/~boaz/ExpanderCourse/allnotes.pdf 1
15:16, 13 January 2018 2003 xx xx Writing Good Software Engineering Research Papers Minitutorial by Mary Shaw.pdf (file) 438 KB Martin Vahi Downloaded on 2018_01_12 from http://www.cs.cmu.edu/~Compose/shaw-icse03.pdf http://fsl.cs.illinois.edu/index.php/Grigore_Rosu%27s_Resource_Page 1
18:12, 22 February 2017 2004 THORIUM-FUELED UNDERGROUND POWER PLANT BASED ON MOLTEN SALT TECHNOLOGY by RALPH W MOIR and EDWARD TELLER.pdf (file) 214 KB Martin Vahi   2
04:54, 19 May 2018 2005 12 xx JOINT STRIKE FIGHTER AIR VEHICLE C++ CODING STANDARDS FOR THE SYSTEM DEVELOPMENT AND .pdf (file) 782 KB Martin Vahi Downloaded on 2018_05_19 from http://www.stroustrup.com/JSF-AV-rules.pdf https://www.youtube.com/watch?v=sRe77Mdna0Y Keywords: JSF++, CppCon, Bill Emshoff 1
01:53, 18 December 2016 2006 02 xx ted com Burt Rutan About Privately Funded Research.webm (file) 38.09 MB Martin Vahi http://www.ted.com/talks/burt_rutan_sees_the_future_of_space https://archive.is/6dygW 1
04:43, 17 May 2016 2006 05 xx Robust Composition Towards a Unified Approach to Access Control and Concurrency Control by Mark Samuel Miller.pdf (file) 1.57 MB Martin Vahi Downloaded on 2016_05_16 from https://www.cypherpunks.to/erights/talks/thesis/submitted/markm-thesis.pdf http://www.erights.org/talks/thesis/index.html 1
04:07, 6 April 2016 2006 The Impact of Radiation on Electronic Devices with the Special Consideration of Neutron and Gamma Radiation Monitoring by Dariusz Makowski.pdf (file) 10.73 MB Martin Vahi Downloaded on 2016_04_06 from https://inspirehep.net/record/917139/files/care-thesis-06-004.pdf 1
05:47, 22 June 2017 2008 12 29 Amadeus.tar.xz (file) 2.1 MB Martin Vahi Downloaded on 2017_06_22 from http://kodu.ut.ee/~kiho/Amadeus250/Amadeus291208.zip http://kodu.ut.ee/~kiho/Amadeus250/ 1
10:13, 3 June 2016 2009 02 Verified Real Number Calculations A Library for Interval Arithmetic Marc Daumas and David Lester and Cesar Munoz.pdf (file) 1.57 MB Martin Vahi Downloaded on 2016_05_03 from http://shemesh.larc.nasa.gov/people/cam/publications/TCSI-2007-07-0362-1.pdf 1
17:33, 15 May 2016 2009 02 xx Securing Graphical User Interfaces by Norman Feske.pdf (file) 2.72 MB Martin Vahi Downloaded on 2016_05_15 from http://os.inf.tu-dresden.de/papers_ps/feske-phd.pdf 1
22:13, 9 January 2019 2010 03 23 Introduction to Optimal Transport Theory by Filippo Santambrogio.pdf (file) 188 KB Martin Vahi Downloaded on 2019_01_09 from https://arxiv.org/pdf/1009.3856.pdf https://arxiv.org/abs/1009.3856 1
04:14, 11 January 2018 2010 06 10 Networks Crowds and Markets Reasoning About a Highly Connected World by David Easley and Jon Kleinberg.pdf (file) 18.59 MB Martin Vahi Downloaded on 2018_01_11 from http://www.cs.cornell.edu/home/kleinber/networks-book/networks-book.pdf http://www.cs.cornell.edu/home/kleinber/networks-book/ http://www.nicemice.net/amc/research/tangle/ 1
07:52, 13 June 2016 2010 08 xx Formal Verification of Programs and Their Transformations by Guodong Li.pdf (file) 996 KB Martin Vahi Downloaded on 2016_06_13 from http://formalverification.cs.utah.edu/pdf/ligd_thesis.pdf 1
10:02, 6 April 2016 2010 Why Do Russians Support Censorship of the Media by Jukka Pietiläinen and Dmitry Strovsky.pdf (file) 189 KB Martin Vahi Downloaded in 2016_04 from https://helda.helsinki.fi/bitstream/handle/10138/24366/Censorship_in_Russia_final.pdf?sequence=2 https://helda.helsinki.fi/handle/10138/24366 1
04:19, 11 January 2018 2011 06 xx Centrality in Biological Networks by Triinu Tasa.pdf (file) 2.32 MB Martin Vahi Downloaded on 2017_05_11 from http://publications.lib.chalmers.se/records/fulltext/143636.pdf 1
16:49, 19 January 2018 2011 12 xx John Pilger about Julian Assange.webm (file) 16.11 MB Martin Vahi Source: https://vimeo.com/33834233 1
05:14, 5 June 2015 2012 04 12 Autovectorization with LLVM by Hal Finkel.pdf (file) 367 KB Martin Vahi Downloaded 2015_06_05 from http://llvm.org/devmtg/2012-04-12/Slides/Hal_Finkel.pdf 1
08:41, 27 June 2017 2012 05 xx Reusable Software Infrastructure for Stream Processing by Robert Soule.pdf (file) 1.55 MB Martin Vahi Downloaded on 2017_06_27 from http://www.cs.nyu.edu/~soule/soule_phdthesis.pdf http://www.cs.nyu.edu/brooklet/ 1
01:43, 29 January 2016 2012 CloudRAMSort Fast and Efficient Large-Scale Distributed RAM Sort on Shared-Nothing Cluster.pdf (file) 454 KB Martin Vahi Downloaded on 2016_01_29 from http://pcl.intel-research.net/publications/CloudRAMsort-2012.pdf 1
17:37, 31 January 2018 2012 xx xx Analog Applications Journal Texas Instruments Design Considerations for System-level ESD Circuit Protection by Roger Liang keywords Overvoltage.pdf (file) 382 KB Martin Vahi Downloaded on 2018_01_31 from http://www.ti.com/lit/an/slyt492/slyt492.pdf 1
07:30, 24 May 2019 2012 xx xx CSE 438 Embbeded Systems Programming Binary Translation Project Report by Ajey Achutha and Mahesh Kumar M.pdf (file) 444 KB Martin Vahi Downloaded on 2019_05_24 from http://rts.lab.asu.edu/web_438/project_final/CSE_598_Binary_Translation_Report.pdf 1
18:24, 31 January 2018 2012 xx xx Texas Instruments SystemLevel ESD EMI Protection Guide keywords Overvoltage.pdf (file) 3.16 MB Martin Vahi Downloaded on 2018_01_31 from http://www.ti.com/lit/sg/sszb130b/sszb130b.pdf 1
16:15, 21 December 2016 2013 07 23 cs ucsb edu tilde koc ac notes onetime.pdf (file) 50 KB Martin Vahi http://cs.ucsb.edu/~koc/ac/notes/onetime.pdf 1
18:13, 22 February 2017 2013 12 18 Library of Alexandria and the Development of the Capabilities of Human Speeces.webm (file) 8.01 MB Martin Vahi   1
05:52, 22 June 2017 2014 08 04 DRAKON.tar.bz2 (file) 35.15 MB Martin Vahi http://drakon-editor.sourceforge.net/ 1
00:16, 30 March 2016 2014 09 25 YouTube Publication of Noam Chomsky on Anarchism.webm (file) 36.68 MB Martin Vahi Source: https://www.youtube.com/watch?v=7_Bv2MKY7uI The file MIGHT be also available at http://archive.softf1.com/2014/2014_09_25_YouTube_Publication_of_Noam_Chomsky_on_Anarchism.webm 1
08:46, 27 June 2017 2014 10 14 Data Stream Algorithms by Amit Chakrabarti.pdf (file) 590 KB Martin Vahi   1
09:06, 8 December 2014 2014 12 xx competitors minimum viable product versus my minimal viable segment t1.png (file) 142 KB Martin Vahi   1
01:33, 5 January 2015 2014 version of the Solving Mathematical Problems A Personal Perspective by Terence Tao.ps (file) 402 KB Martin Vahi   1
First page
Previous page
Last page