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
04:07, 17 June 2015 Kibuvits iteratable tree t1.rb (file) 5 KB Martin Vahi A tree walking and encoding demo. 1
10:29, 3 February 2019 3 vertex labeled complete graph 01.jpeg (file) 6 KB Martin Vahi   1
00:27, 15 April 2013 Cs instance img 1 original.odg (file) 12 KB Martin Vahi   1
07:55, 10 January 2017 2017 01 10 GitHub jsl ruby ukanren-master.zip (file) 13 KB Martin Vahi https://github.com/jsl/ruby_ukanren http://minikanren.org/ 1
00:54, 17 February 2013 Art psycho komposition t1.png (file) 14 KB Martin Vahi   1
20:13, 22 June 2017 S6tvc.zip (file) 20 KB Martin Vahi https://archive.is/s6tvc which is a 2017_06_22 vesion of the http://bitrary.softf1.com/index.php?title=Help:Contents 1
20:42, 2 March 2018 PROGRAM VERIFICATION by Robert S Boyer and J Strother Moore To Appear in the Journal of Automated Reasoning.pdf (file) 21 KB Martin Vahi Downloaded on 2018_03_02 from https://www.cs.utexas.edu/users/boyer/jar.pdf 1
06:47, 19 January 2015 Oo er relations demo t1.jpeg (file) 22 KB Martin Vahi Once upon a time the image was at http://longterm.softf1.com/specifications/beesting_access_rights_specification/ 1
10:20, 17 April 2016 RGB CMY färgcirkel.svg (file) 22 KB Martin Vahi Downloaded on 2016_04_17 from https://upload.wikimedia.org/wikipedia/commons/1/17/RGB_CMY_f%C3%A4rgcirkel.svg 1
23:03, 2 September 2016 Archive is AQVma.zip (file) 28 KB Martin Vahi Downloaded on 2016_09_02 from https://archive.is/AQVma https://www.cs.cmu.edu/~mblum/research/pdf/grad.html 1
14:42, 1 February 2017 8g2VU.zip (file) 36 KB Martin Vahi Downloaded on 2017_02_01 from https://archive.is/8g2VU https://arstechnica.com/civis/viewtopic.php?f=26&t=1282857 1
00:14, 17 February 2013 Art psycho test 1 Lorenzo Costa 003.jpeg (file) 37 KB Martin Vahi   1
07:55, 14 April 2013 Cs instance img 1.png (file) 39 KB Martin Vahi   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
05:01, 9 May 2021 2021 05 09 techterms com definition BASIC.pdf (file) 44 KB Martin Vahi https://techterms.com/definition/basic 1
06:05, 8 January 2015 Conjunctive normal form and disjunctive normal form t1.jpeg (file) 46 KB Martin Vahi File:Conjunctive normal form and disjunctive normal form t1.xcf 1
07:48, 4 July 2019 Bitrary softf1 com Theory of Computation Diagram t1 dia v0.png (file) 47 KB Martin Vahi   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
07:07, 16 May 2020 1994 xx xx The Stanford FLASH Multiprocessor ISCA94.pdf (file) 56 KB Martin Vahi Downloaded on 2020_05_16 from http://csl.cs.ucf.edu/~heinrich/papers/ISCA94.pdf https://web.archive.org/web/20000824013530/http://www-flash.stanford.edu/ 1
18:16, 23 February 2021 2009 10 xx llvm org Reimplementing llvm-gcc as a gcc Plugin by Duncan Sands LLVMGCCPlugin.pdf (file) 57 KB Martin Vahi Downloaded on 2021_02_23 from https://llvm.org/devmtg/2009-10/Sands_LLVMGCCPlugin.pdf 1
12:31, 21 December 2016 From Code to Models by Gerard J Holzmann.pdf (file) 59 KB Martin Vahi Downloaded on 2016_12_21 from http://spinroot.com/gerard/pdf/code_models2000.pdf 1
00:43, 5 January 2016 2016 01 04 theinercept com british spy game exercise 9.png (file) 61 KB Martin Vahi https://theintercept.com/2015/12/25/gchq-play-a-british-spy-game/ https://archive.is/Z3XLd 1
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:02, 15 June 2020 19xx xx xx forbes com Nazi repression subject Jew Albert Einstein in USA with the Washington segregation repression subjects black students t1.jpeg (file) 64 KB Martin Vahi Downloaded on 2020_06_15 ("There's A Nationwide STEM Teacher Shortage. Will It Cost Us The Next Einstein?") https://www.forbes.com/sites/taliamilgromelcott/2019/05/30/theres-a-nationwide-stem-teacher-shortage-will-it-cost-us-the-next-einstein/#ed60c... 1
00:53, 17 February 2013 Art psycho komposition t1.xcf (file) 64 KB Martin Vahi   1
16:57, 8 January 2015 2015 01 08 ams org Some of What Mathematicians Do by Martin H Kriege.pdf (file) 64 KB Martin Vahi Downloaded on 2015_01_08 from http://www.ams.org/profession/career-info/math-work/math-work http://www.ams.org/notices/200410/comm-krieger.pdf 1
19:12, 7 May 2021 2000 04 xx DM74LS181 4Bit Arithmetic Logic Unit by Fairchild Semiconductor keywords 74181 bitslice PERQ CPU.pdf (file) 65 KB Martin Vahi Downloaded on 2021_05_07 from http://ee-classes.usc.edu/ee459/library/datasheets/DM74LS181.pdf https://en.wikipedia.org/wiki/PERQ 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
09:30, 16 February 2018 2018 02 16 copy of http www es ele tue nl slash education slash 5MC10 slash Solutions slash knapsack.pdf (file) 68 KB Martin Vahi Downloaded on 2018_02_16 from http://www.es.ele.tue.nl/education/5MC10/Solutions/knapsack.pdf 1
05:05, 30 June 2019 GrammarBased Visual Software Modeling and Conversion by Jüri Kiho.pdf (file) 68 KB Martin Vahi Downloaded on 2019_06_30 from https://kodu.ut.ee/~kiho/fRED/Conversion/paper.pdf https://kodu.ut.ee/~kiho/fRED/Conversion/ https://kodu.ut.ee/~kiho/ 1
15:58, 20 June 2020 2007 08 21 An Analog Computer Primer Brian L Stuart.pdf (file) 71 KB Martin Vahi Downloaded on 2020_06_20 from https://www.cs.drexel.edu/~bls96/analog/analog.pdf 1
03:07, 28 August 2020 Reducing Context Switch Overhead with CompilerAssisted Threading by Pekka Jääskelainen and Pertti Kellomäki and Jarmo Takala and Heikki Kultala and Mikael Lepistö.pdf (file) 73 KB Martin Vahi Downloaded on 2020_08_28 from http://openasip.org/papers/Threading.pdf 1
14:00, 7 May 2021 Soviet CPU KP1806BE1 id est KR1806VE1 minimum configuration schematics.png (file) 74 KB Martin Vahi A screenshot from a datasheet that has been downloaded on 2021_05_07 from http://silirium.ru/datasheets/ussr-KR1806VE1.pdf.zip 1
15:34, 12 February 2019 Some Properties of Brzozowski Derivatives of Regular Expressions by N Murugesan and O V Shanmuga Sundaram.pdf (file) 78 KB Martin Vahi Downloaded on 2019_02_12 from https://arxiv.org/pdf/1407.5902.pdf 1
06:56, 18 October 2020 1988 xx xx Trafola A Functional Language for the Specification of Complex Tree Transformations by Reinhold Heckmann.pdf (file) 79 KB Martin Vahi Downloaded on 2020_10_18. 1
08:28, 17 October 2020 2001 11 xx The Structure of Engineering Revolutions Project History Proposals.pdf (file) 85 KB Martin Vahi Downloaded on 2020_10_17 from https://web.archive.org/web/20080704153515/http://mit.edu/6.933/www/proposal-guide.pdf https://web.archive.org/web/20120315084104/http://mit.edu/6.933/www/handouts.html https://web.archive.org/web/20130921202448/http://... 1
08:39, 3 November 2020 1997 04 xx A Case for Intelligent RAM IRAM by David Patterson and Thomas Anderson and Neal Cardwell and Richard Fromm and Kimberly Keeton and Christoforos Kozyrakis and Randi Thomas and Katherine Yelick.pdf (file) 87 KB Martin Vahi Downloaded on 2020_11_03 from https://web.archive.org/web/20070609234253/http://iram.cs.berkeley.edu/papers/IRAM.micro.pdf https://web.archive.org/web/20070823185503/http://www.ccs.neu.edu/home/gene/memory_technologies.html https://web.archive.org/w... 1
18:21, 22 February 2017 Webmquicktime-src-0.2.0.tar.gz (file) 89 KB Martin Vahi http://downloads.webmproject.org/releases/webm/index.html 1
20:02, 10 March 2021 2007 06 13 Quantifying The Cost of Context Switch by Chuanpeng Li and Chen Ding and Kai Shen keywords FCRC Workshop of Experimental Computer Science.pdf (file) 92 KB Martin Vahi Downloaded on 2021_03_10 from https://www.cs.huji.ac.il/~feit/exp/expcs07/papers/161.pdf 1
06:55, 18 October 2020 1988 xx xx Trafola A Functional Language for the Specification of Complex Tree Transformations by Reinhold Heckmann.ps (file) 92 KB Martin Vahi Downloaded on 2020_10_18. 1
02:00, 13 November 2016 How long can a Graph be kept Planar by V Anuradha and Chinmay Jain and Jack Snoeyink and Tibor Szabo.pdf (file) 96 KB Martin Vahi Downloaded on 2016_11_13 from http://www.combinatorics.org/ojs/index.php/eljc/article/view/v15i1n14/pdf http://www.emis.de/journals/EJC/ojs/index.php/eljc/article/view/v15i1n14 1
08:00, 20 January 2021 2021 01 20 copy of ProgFTE v0 and ProgFTE v1 specifications.pdf (file) 96 KB Martin Vahi https://longterm.softf1.com/specifications/progfte/ 1
08:45, 3 November 2020 2000 01 10 Improving the Throughput of Synchronization by Insertion of Delays by Ravi Rajwar and Alain Kägi and James R Goodman.pdf (file) 98 KB Martin Vahi Downloaded on 2020_11_03 from https://web.archive.org/web/20070416215743/http://www.cs.wisc.edu/~rajwar/papers/hpca00.pdf https://web.archive.org/web/20070208091331/http://www.cs.wisc.edu/galileo/pubs.html https://web.archive.org/web/20070823185503/... 1
23:39, 26 March 2021 2019 05 30 YouTube 9ofED6BInFs German Chancellor Angela Merkel s address at Harvard Commencement keywords speech.jpeg (file) 100 KB Martin Vahi Saved on 2021_03_26 from https://www.youtube.com/watch?v=9ofED6BInFs 1
13:07, 15 June 2020 2002 xx xx The Imagine Stream Processor by Ujval J Kapasi and William J Dally and Scott Rixner† and John D Owens and and Brucek Khailany.pdf (file) 102 KB Martin Vahi Downloaded on 2020_06_15 from http://www.ann.ece.ufl.edu/courses/eel6935_10spr/papers/The_imagine_stream_processor.pdf https://graphics.stanford.edu/streamlang/ https://graphics.stanford.edu/projects/brookgpu/ 1
00:53, 21 May 2016 Users ece utexas edu tilde gerstl Viterbi Encoding.pdf (file) 103 KB Martin Vahi Downloaded on 2016_05_21 from http://users.ece.utexas.edu/~gerstl/ee382v-ics_f09/lectures/Viterbi.pdf 1
11:17, 29 December 2016 Smart.13.02.tar.gz (file) 103 KB Martin Vahi Downloaded on 2016_12_29 from http://www.dmi.unict.it/~faro/smart/download/smart.13.02.tar.gz http://www.dmi.unict.it/~faro/smart/ http://www-igm.univ-mlv.fr/~lecroq/ 1
09:50, 23 November 2017 2017 xx xx The Constitution of the United States.pdf (file) 104 KB Martin Vahi Downloaded on 2017_11_23 from http://www.usconstitution.net/const.pdf https://twitter.com/TomRevisited1/status/933559128970153984 (archival copy: https://archive.fo/3tbaF) 1
14:08, 1 August 2018 2018 08 xx voltage divider formulaes t1.xcf (file) 105 KB Martin Vahi   1
21:07, 28 November 2016 On Whose Shoulders by Yorick Wilks.pdf (file) 108 KB Martin Vahi Downloaded on 2016_11_28 from http://www.mitpressjournals.org/doi/pdf/10.1162/coli.2008.34.4.471 http://staffwww.dcs.shef.ac.uk/people/Y.Wilks/ 1
First page
Previous page
Last page