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
22: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
02:37, 21 November 2019 1280px-MCST-4R FPGA prototype.gif (file) 332 KB Martin Vahi Downloaded on 2019_11_21 from https://upload.wikimedia.org/wikipedia/en/thumb/1/12/MCST-4R_FPGA_prototype.gif/1280px-MCST-4R_FPGA_prototype.gif https://en.wikipedia.org/wiki/MCST-R1000 Keywords: МЦСТ_R1000, Moscow Center of SPARC Technologies,... 1
15: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
06:30, 21 June 2020 1951 xx xx The Preparation of Programs for an Electronic Digital Computer by Wilkes and Wheeler and Gill.pdf (file) 17.19 MB Martin Vahi Downloaded on 2020_06_21 from https://ia801905.us.archive.org/11/items/programsforelect00wilk/programsforelect00wilk.pdf https://archive.org/details/programsforelect00wilk https://www.leo-computers.org.uk/images/MauriceWilkesObitCambridge.pdf htt... 1
16: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
11: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
03: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
01:03, 5 December 2020 1977 10 10 A Theory of Type Polymorphism in Programming by ROBIN MILNER.pdf (file) 1.61 MB Martin Vahi Downloaded on 2020_12_05 from https://courses.grainger.illinois.edu/cs421/sp2013/project/milner-polymorphism.pdf https://www.cs.cornell.edu/courses/cs3110/2019fa/textbook/ 1
14:19, 3 September 2020 1978 xx xx Time Clocks and the Ordering of Events in a Distributed System by Leslie Lamport.pdf (file) 835 KB Martin Vahi Downloaded on 2020_09_03 from https://classes.cs.uoregon.edu/06W/cis607atom/readings/lamport-clocks.pdf https://www.semanticscholar.org/paper/Time%2C-clocks%2C-and-the-ordering-of-events-in-a-Lamport/593619c2a69391454eae1f5ebe75fb8fc7e77e9d https:/... 1
23:23, 12 October 2020 1979 02 12 History of Lisp by John McCarthy keywords Artificial Intelligence.pdf (file) 154 KB Martin Vahi Downloaded on 2020_10_12 from http://jmc.stanford.edu/articles/lisp/lisp.pdf http://jmc.stanford.edu/articles/lisp.html 1
20:56, 12 October 2020 1979 03 xx Design of LISP-Based Processors or SCHEME A Dielectric LISP or Finite Memories Considered Harmful or LAMBDA The Ultimate Opcode by Guy Lewis Steele Jr and Gerald Jay Sussman.pdf (file) 4.46 MB Martin Vahi Downloaded on 2020_10_12 from ftp://publications.ai.mit.edu/ai-publications/pdf/AIM-514.pdf https://frank-buss.de/lispcpu/ 1
21:21, 12 October 2020 1979 05 xx CADR by Thomas F Knight Jr and David A Moon and Jack Holloway and Guy L Steele Jr keywords LISP CONS CPU AIM528.pdf (file) 4.71 MB Martin Vahi Downloaded on 2020_10_12 from https://dspace.mit.edu/handle/1721.1/5718 https://frank-buss.de/lispcpu/ 1
08:32, 8 September 2020 1979 xx xx YouTube 3EFJIkqQ8I4 Back in The USSR by the Elton John t1.webm (file) 6.54 MB Martin Vahi   1
20:27, 12 October 2020 1980 xx xx Design of a LISP-Based Microprocessor by Guy Lewis Steele Jr and Gerald Jay Sussman.pdf (file) 1.79 MB Martin Vahi Downloaded on 2020_10_12 from http://diyhpl.us/~bryan/papers2/paperbot/Design%20of%20a%20LISP-based%20microprocessor.pdf https://www.semanticscholar.org/paper/Design-of-a-LISP-based-microprocessor-Steele-Sussman/acc758525ffd59e5b69fc102e38e53ecaa528... 1
10: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
23:16, 30 November 2020 1985 10 xx FatTrees Universal Networks for Hardware Efficient Supercomputing by Charles E Leiserson.pdf (file) 3.45 MB Martin Vahi Downloaded on 2020_11_30 from http://courses.csail.mit.edu/6.896/spring04/handouts/papers/fat_trees.pdf 1
00: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
02: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
04:29, 28 July 2019 1987 01 xx The Architecture of FAIM-1 by JudyM Anderson and William S Coates and Alan L Davis and Robert W Hon and Ian N Robinson and Shane V Robison and Kenneth S Stevens.pdf (file) 5.69 MB Martin Vahi Downloaded on 2019_07_19 from https://my.eng.utah.edu/~kstevens/docs/computer87.pdf 1
19:15, 20 June 2020 1987 07 xx A General Purpose MultiProcessor Computer Architecture by Brian L Stuart.ps (file) 316 KB Martin Vahi Downloaded on 2020_06_20 from https://www.cs.drexel.edu/~bls96/thesis.ps 1
19:15, 20 June 2020 1987 07 xx A General Purpose MultiProcessor Computer Architecture by Brian L Stuart ps converted to.pdf (file) 237 KB Martin Vahi Downloaded on 2020_06_20 from https://www.cs.drexel.edu/~bls96/thesis.ps 1
19: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
05: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
05: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
15:33, 4 November 2020 1992 06 xx Choice Numbers of Graphs by Shai Gutner.pdf (file) 223 KB Martin Vahi Downloaded on 2020_11_04 from https://eccc.weizmann.ac.il/resources/pdf/gutner.pdf 1
05:43, 16 May 2020 1992 xx xx Data Diffusion Machine DDM A CacheOnly Memory Architecture by Erik Hagersten and Anders Landin and Seif Haridi.pdf (file) 1.63 MB Martin Vahi Downloaded on 2020_05_16 from https://pdfs.semanticscholar.org/bf7b/28933a570cf8c7beef3aaed1b58dd130fcc8.pdf?_ga=2.75337170.1348310537.1589600292-1387357802.1589600292 https://en.wikipedia.org/wiki/Data_diffusion_machine https://web.archive.org/web... 1
10: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
20:17, 13 January 2020 1994 xx xx Support Theory A Nonextensional Representation of Subjective Probability by Amos Tversky and Derek J Koehler.pdf (file) 2.28 MB Martin Vahi Downloaded on 2020_01_13 from https://pdfs.semanticscholar.org/f047/fca2c9941dab70b71cfccc9e8d532bc5ffc5.pdf https://www.researchgate.net/topic/Civil-Defense 1
06: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
00: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
22:35, 15 June 2020 1995 xx xx A Plea for Lean Software by Niklaus Wirth.pdf (file) 504 KB Martin Vahi Downloaded on 2020_06_15 from http://cr.yp.to/bib/1995/wirth.pdf 1
05:06, 30 November 2020 1995 xx xx On MicroKernel Construction by Jochen Liedtke.pdf (file) 325 KB Martin Vahi Downloaded on 2020_11_30 from http://os.inf.tu-dresden.de/papers_ps/jochen/Mikern.ps http://os.inf.tu-dresden.de/L4/LinuxOnL4/papers.shtml 1
05:06, 30 November 2020 1995 xx xx On MicroKernel Construction by Jochen Liedtke.ps (file) 226 KB Martin Vahi Downloaded on 2020_11_30 from http://os.inf.tu-dresden.de/papers_ps/jochen/Mikern.ps http://os.inf.tu-dresden.de/L4/LinuxOnL4/papers.shtml 1
00: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:00, 18 October 2020 1996 xx xx Active Patterns by Martin Erwig keywords IFL96 regular expressions pattern matching.pdf (file) 239 KB Martin Vahi Downloaded on 2020_10_18 from http://web.engr.oregonstate.edu/~erwig/papers/ActivePatterns_IFL96.pdf http://jongejan.dk/pattern-matching-pastpresent/ 1
03:56, 18 October 2020 1996 xx xx Benchmarking implementations of functional languages with Pseudoknot keywords C LISP Scheme Miranda SML Caml Haskell Clean LML Gofer RUFL Erlang Facile Sisal Epic Trafola Opal.pdf (file) 2.09 MB Martin Vahi Downloaded on 2020_10_18 from https://www.zora.uzh.ch/id/eprint/155304/1/ZORA_NL_155304.pdf 1
17:42, 14 January 2020 1997 02 05 Regular Expressions for Language Engineering by L KARTTUNEN and J-P CHANOD and G GREFENSTETTE and A SCHILLER.pdf (file) 277 KB Martin Vahi Downloaded on 2020_01_14 from https://web.archive.org/web/20151228040932/http://www.ling.upenn.edu/courses/Spring_2003/ling538/rele.PS https://web.archive.org/web/20151228040932/http://www.ling.upenn.edu/courses/Spring_2003/ling538/ https://www.lin... 1
17:41, 14 January 2020 1997 02 05 Regular Expressions for Language Engineering by L KARTTUNEN and J-P CHANOD and G GREFENSTETTE and A SCHILLER.ps (file) 222 KB Martin Vahi Downloaded on 2020_01_14 from https://web.archive.org/web/20151228040932/http://www.ling.upenn.edu/courses/Spring_2003/ling538/rele.PS https://web.archive.org/web/20151228040932/http://www.ling.upenn.edu/courses/Spring_2003/ling538/ https://www.lin... 1
07:58, 3 November 2020 1997 02 xx Tech Report Distributed Vector Architecture Fine Grain Parallelism with Efficient Communication by Stefanos Kaxiras and Rabin Sugumar.pdf (file) 174 KB Martin Vahi Downloaded on 2020_11_03 from https://web.archive.org/web/20070208091331/ftp://ftp.cs.wisc.edu/galileo/kaxiras/tr1339.ps https://web.archive.org/web/20070208091331/http://www.cs.wisc.edu/galileo/pubs.html https://web.archive.org/web/20070823185503/h... 1
07:58, 3 November 2020 1997 02 xx Tech Report Distributed Vector Architecture Fine Grain Parallelism with Efficient Communication by Stefanos Kaxiras and Rabin Sugumar.ps (file) 332 KB Martin Vahi Downloaded on 2020_11_03 from https://web.archive.org/web/20070208091331/ftp://ftp.cs.wisc.edu/galileo/kaxiras/tr1339.ps https://web.archive.org/web/20070208091331/http://www.cs.wisc.edu/galileo/pubs.html https://web.archive.org/web/20070823185503/h... 1
07: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
08:22, 3 November 2020 1997 06 xx DataScalar Architectures by Doug Burger and Stefanos Kaxiras and James R Goodman.pdf (file) 144 KB Martin Vahi Downloaded on 2020_11_03 from https://web.archive.org/web/20070208091331/ftp://ftp.cs.wisc.edu/galileo/papers/ISCA97_ds.ps https://web.archive.org/web/20070208091331/http://www.cs.wisc.edu/galileo/pubs.html https://web.archive.org/web/20070823185503... 1
08:22, 3 November 2020 1997 06 xx DataScalar Architectures by Doug Burger and Stefanos Kaxiras and James R Goodman.ps (file) 389 KB Martin Vahi Downloaded on 2020_11_03 from https://web.archive.org/web/20070208091331/ftp://ftp.cs.wisc.edu/galileo/papers/ISCA97_ds.ps https://web.archive.org/web/20070208091331/http://www.cs.wisc.edu/galileo/pubs.html https://web.archive.org/web/20070823185503... 1
10: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
20: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
08:08, 3 November 2020 1998 xx xx Retrospective Using Cache Memory to Reduce ProcessorMemory Traffic by James R Goodman.pdf (file) 231 KB Martin Vahi Downloaded on 2020_11_03 from https://web.archive.org/web/20060906185341/http://ftp.cs.wisc.edu/galileo/papers/retro-goodman.pdf https://web.archive.org/web/20070208091331/http://www.cs.wisc.edu/galileo/pubs.html https://web.archive.org/web/20070823... 1
15:27, 3 September 2020 1998 xx xx The PartTime Parliament id est Paxos Consensus Algorithm by Leslie Lamport.pdf (file) 556 KB Martin Vahi Downloaded on 2020_09_03 from http://lamport.azurewebsites.net/pubs/lamport-paxos.pdf 1
03:53, 13 October 2020 1999 05 07 If It Works It is Not AI A Commercial Look at Artificial Intelligence Startups by Eve M Phillips.pdf (file) 285 KB Martin Vahi Downloaded on 2020_10_13 from http://www.sts.tu-harburg.de/~r.f.moeller/symbolics-info/ai-business.pdf https://web.archive.org/web/20200903164829/http://fare.tunes.org/LispM.html 1
23:32, 17 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
02: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
First page
Previous page
Last page