File list

Jump to: navigation, search

This special page shows all uploaded files.

File list
 
First page
Next page
Last page
Date Name Thumbnail Size User Description Versions
09: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
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
09:48, 24 May 2016 Domain-Specific Languages Edited by Sebastian Erdweg and martin Erwig and Richard F Paige and Eelco Visser.pdf (file) 1,021 KB Martin Vahi Downloaded on 2016_05_24 from http://www.informatik.uni-marburg.de/~seba/publications/DSL-dagstuhl.pdf 1
09:27, 24 May 2016 Domain-Specific Metamodelling Languages for Software Language Engineering by and Steffen Zschaler and Dimitrios S Kolovos and Nikolaos Drivalos and Richard F Paige and Awais Rashid.pdf (file) 369 KB Martin Vahi Downloaded on 2016_05_24 from http://www.steffen-zschaler.de/publications/sle09_dsm2ls.pdf 1
07:53, 24 May 2016 Expanding the Model-Tracing Architecture by Neil T Heffernan and Kenneth R Koedinger and Leena Razzaq.pdf (file) 500 KB Martin Vahi Downloaded on 2016_05_24 from http://pact.cs.cmu.edu/pubs/IJAIED204HeffernanvRevised6221Razzaq.pdf 1
23:53, 20 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
17:24, 20 May 2016 An Efficient Viterbi Decoder by K S Arunlal and S A Hariprasad.pdf (file) 1.37 MB Martin Vahi Downloaded on 2016_05_20 from http://airccse.org/journal/ijcsea/papers/2112ijcsea09.pdf 1
03: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
23:48, 15 May 2016 Generating Commercial web Applications from Precise Requirements and Formal Specifications David Crocker and John H Warren.pdf (file) 158 KB Martin Vahi Downloaded on 2016_05_16 from http://www.eschertech.com/papers/wwv05paper.pdf 1
23:38, 15 May 2016 Verification of C Programs Using Automated Reasoning by David Crocker and Judith Carlton.pdf (file) 141 KB Martin Vahi Downloaded on 2016_05_16 from http://www.eschertech.com/papers/sefmpaper.pdf 1
21:11, 15 May 2016 A Nitpicker s Guide to a Minimal-complexity Secure GUI by Norman Feske and Christian Helmuth.pdf (file) 710 KB Martin Vahi Downloaded on 2016_05_15 from https://www.acsac.org/2005/papers/54.pdf 1
16: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
23:26, 29 April 2016 The Star Wars Walkers t1.jpg (file) 205 KB Martin Vahi Downloaded on 2016_04_30 from http://www.fondowallpaper.com/2012/12/54-wallpapers-star-wars-hd-variados.html https://archive.is/H2Zyl 1
05:26, 18 April 2016 Sphinx A Compact and Provably Secure Mix Format by George Danezis and Ian Goldberg.pdf (file) 473 KB Martin Vahi Downloaded on 2016_04_18 from http://freehaven.net/anonbib/cache/DBLP:conf/sp/DanezisG09.pdf According to the http://freehaven.net/anonbib/#ccs07-doa its original URL was http://research.microsoft.com/en-us/um/people/gdane/papers/sphinx-eprint.pdf 1
10:56, 17 April 2016 The Logic in Computer Science Column by Yuri Gurevich a SAT Solver Primer by David G Mitchell.pdf (file) 144 KB Martin Vahi Downloaded on 2016_04_17 from http://www.cs.sfu.ca/~mitchell/papers/colLogCS85.pdf 1
10:00, 17 April 2016 LockFree Linked Lists and Skip Lists by Mikhail Fomitchev and Eric Ruppert.pdf (file) 177 KB Martin Vahi Downloaded 2016_04_17 from http://www.cse.yorku.ca/~ruppert/papers/lfll.pdf 1
09: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
09:03, 17 April 2016 Lorenzo Costa 003.jpeg (file) 500 KB Martin Vahi Downloaded on 2016_04_17 from https://ixquick-proxy.com/do/spg/show_picture.pl?l=english&rais=1&oiu=http%3A%2F%2Fupload.wikimedia.org%2Fwikipedia%2Fcommons%2F8%2F8d%2FLorenzo_Costa_003.jpg&sp=9f87930e98e417eb43d3d311c01f2798 1
11:54, 16 April 2016 NUwOw.zip (file) 623 KB Martin Vahi 2016_04 archieval copy https://archive.is/nUwOw of http://uus.minut.ee/m-v-2015_02-nagemus-sellest-millistes-programmeerimiskeeltes-tasub-end-vormi-ajada/ 1
01:58, 16 April 2016 Atmel AVR4027 Tips and Tricks to Optimize Your C Code for 8bit AVR Microcontrollers.pdf (file) 237 KB Martin Vahi Downloaded on 2016_04_16 from http://www.atmel.com/images/doc8453.pdf 1
09: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
03: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
23:16, 29 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
00: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
23:43, 4 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
15: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
07: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
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:07, 17 June 2015 Kibuvits iteratable tree t1.rb (file) 5 KB Martin Vahi A tree walking and encoding demo. 1
09:07, 5 June 2015 Scheduling Multithreaded Computations by Work Stealing by Robert D Blumofe and C.pdf (file) 387 KB Martin Vahi Downloaded 2015_06_05 from http://supertech.csail.mit.edu/papers/steal.pdf 1
04: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
19:33, 29 May 2015 The Byzantine Generals Problem by Leslie Lamport and Robert Shostak and Marshall Pease.pdf (file) 1.19 MB Martin Vahi 2014_11_21, Leslie Lamport, http://dl.acm.org/citation.cfm?id=357176 1
22:14, 29 January 2015 A Modern Formal Logic Primer by Paul Teller in 1989 1ch5.pdf (file) 176 KB Martin Vahi http://archive.softf1.com/2015/2015_01_29_A_Modern_Formal_Logic_Primer_by_Paul_Teller_in_1989/uncompressed/1ch5.pdf http://tellerprimer.ucdavis.edu/ 1
05: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
22:25, 14 January 2015 An Excerpt of a YouTube Video Where Mark Thorsby Demos Natural Deduction t1.webm (file) 29.44 MB Martin Vahi An excerpt of a video by Mark Thorsby. Recorded with screenrecording tools from https://www.youtube.com/watch?v=s4HZt2Fuf1o on 2015_01_14 1
15: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
05: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
05:04, 8 January 2015 Conjunctive normal form and disjunctive normal form t1.xcf (file) 127 KB Martin Vahi   1
00:40, 5 January 2015 How to Solve it by George Pólya.pdf (file) 4.79 MB Martin Vahi Downloaded 2015_01_05 from https://notendur.hi.is/hei2/teaching/Polya_HowToSolveIt.pdf 1
00:33, 5 January 2015 2014 version of the Solving Mathematical Problems A Personal Perspective by Terence Tao.ps (file) 402 KB Martin Vahi   1
08:06, 8 December 2014 2014 12 xx competitors minimum viable product versus my minimal viable segment t1.png (file) 142 KB Martin Vahi   1
08:42, 7 October 2014 Amplification Hell Revisiting Network Protocols for DDoS Abuse by Christian Rossow.pdf (file) 465 KB Martin Vahi Downloaded on 2014_10_06 from http://www.internetsociety.org/sites/default/files/01_5.pdf http://www.internetsociety.org/doc/amplification-hell-revisiting-network-protocols-ddos-abuse License: OK to redistribute for non-commercial purposes provided t... 1
00:54, 8 September 2014 Graph tree t1.png (file) 168 KB Martin Vahi   1
02:45, 17 June 2013 Quark-0807.tar.gz (file) 1.3 MB Martin Vahi Downloaded from http://goto.ucsd.edu/quark/quark-0807.tar.gz on 2013_06_17. 1
23:27, 14 April 2013 Cs instance img 1 original.odg (file) 12 KB Martin Vahi   1
06:55, 14 April 2013 Cs instance img 1.png (file) 39 KB Martin Vahi   1
12:40, 27 February 2013 Ctl star t1.jpeg (file) 150 KB Martin Vahi   1
23:54, 16 February 2013 Art psycho komposition t1.png (file) 14 KB Martin Vahi   1
23:53, 16 February 2013 Art psycho komposition t1.xcf (file) 64 KB Martin Vahi   1
23:14, 16 February 2013 Art psycho test 1 Lorenzo Costa 003.jpeg (file) 37 KB Martin Vahi   1
First page
Next page
Last page