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
02:12, 8 June 2018 Formally Verified Software in the Real World by Gerwin Klein and June Andronick and Matthew Fernandez and Ihor Kuz and Toby Murray and Gernot Heiser.pdf (file) 566 KB Martin Vahi Downloaded on 2018_06_08 from https://ts.data61.csiro.au/publications/csiro_full_text//Klein_AKMHF_toappear.pdf 1
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
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
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
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
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
20:49, 2 March 2018 The Use of a Formal Simulator to Verify a Simple Real Time Control Program by Robert S Boyer and Milton W Green and J Strother Moore.pdf (file) 1.27 MB Martin Vahi Downloaded on 2018_03_02 from http://www.cs.utexas.edu/users/moore/publications/controller.pdf 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
23:58, 23 February 2018 Viterbi Algorithm for error detection and correction by Varsha P Patil and D G Chougule and Radhika R Naik.pdf (file) 171 KB Martin Vahi Downloaded on 2018_02_23 from http://www.iosrjournals.org/iosr-jece/papers/sicete-volume6/76.pdf 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
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
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
11:16, 1 February 2018 2018 02 xx copy of 2010 Signal Processing by Sophocles J Orfanidis solutions.zip (file) 2.72 MB Martin Vahi Downloaded on 2018_02_01 from http://www.ece.rutgers.edu/~orfanidi/intro2sp/solutions.zip http://www.ece.rutgers.edu/~orfanidi/intro2sp/ https://wordpress.nmsu.edu/pdeleon/research/software/ 1
11:11, 1 February 2018 2018 02 xx copy of 2010 Signal Processing by Sophocles J Orfanidis.pdf (file) 6.87 MB Martin Vahi Downloaded on 2018_02_01 from http://www.ece.rutgers.edu/~orfanidi/intro2sp/orfanidis-i2sp.pdf http://www.ece.rutgers.edu/~orfanidi/intro2sp/ https://wordpress.nmsu.edu/pdeleon/research/software/ 1
11:04, 1 February 2018 2015 xx xx Theory of the Hilbert Spectrum by Steven Sandovala and Phillip L De Leonb.pdf (file) 4.96 MB Martin Vahi Downloaded on 2018_02_01 from http://web.nmsu.edu/~spsandov/HSA/papers/Sandoval2015Theory.pdf http://web.nmsu.edu/~spsandov/HSA/ 1
09:03, 1 February 2018 PT5hc.zip (file) 298 KB Martin Vahi Downloaded on 2018_02_01 from https://archive.is/PT5hc https://www.bestvalueschools.com/most-affordable-universities-america/ 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
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
03:31, 22 January 2018 Unplanned Obsolescence Hardware and Software After Collapse by Esther Jang and Matthew Johnson and Edward Burnell and Kurtis Heimerl.pdf (file) 201 KB Martin Vahi Downloaded on 2018_01_22 from http://kurti.sh/pubs/unplanned_limits17.pdf http://kurti.sh/ https://people.eecs.berkeley.edu/~brewer/ http://www.nicemice.net/amc/os-prelim/spring1997.var http://www.nicemice.net/amc/projects.var 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
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
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
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
05:55, 17 December 2017 Chord A Scalable Peer-to-peer Lookup Service for Internet Applications by Ion Stoica and Robert Morris and David Karger and M Frans Kaashoek and Hari Balakrishnan.pdf (file) 190 KB Martin Vahi Downloaded on 2016_07_20 from https://pdos.csail.mit.edu/papers/chord:sigcomm01/chord_sigcomm.pdf 1
05:31, 17 December 2017 Kademlia A P2P Information System Based on the XOR Metric.pdf (file) 211 KB Martin Vahi Downloaded on 2014_07_07 from http://pdos.csail.mit.edu/~petar/papers/maymounkov-kademlia-lncs.pdf 1
00:25, 11 December 2017 Linear Programming Formulation https www utdallas edu tilde metin slash Or6302 slash Notes slash formulation.pdf (file) 1.18 MB Martin Vahi Downloaded on 2017_12_10 from https://www.utdallas.edu/~metin/Or6302/Notes/formulation.pdf 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:04, 18 November 2017 Matching Logic by Grigore Rosu.pdf (file) 1.17 MB Martin Vahi Downloaded on 2017_11_18 from https://arxiv.org/pdf/1705.06312.pdf https://arxiv.org/abs/1705.06312 1
07:26, 18 November 2017 2017 xx xx The Return of Coppersmith s Attack Practical Factorization of Widely Used RSA Moduli by Matus Nemec and Marek Sys and Petr Svenda and Dusan Klinec and Vashek Matyas.pdf (file) 1.83 MB Martin Vahi Downloaded on 2017_11_18 from https://acmccs.github.io/papers/p1631-nemecA.pdf https://www.scmagazine.com/estonia-suspends-national-760000-id-cards-found-prone-to-encryption-vulnerability/article/706134/ Rob Murrer's comment at https://twitter.com... 1
12:01, 26 October 2017 Qeditas A Formal Library as a Bitcoin SpinOff by Bill White.pdf (file) 190 KB Martin Vahi Downloaded on 2017_10_26 from http://qeditas.org/docs/qeditas.pdf https://iohk.io/projects/qeditas/ 1
11:56, 26 October 2017 2016 10 03 QeditasTechDoc.pdf (file) 897 KB Martin Vahi Downloaded on 2017_10_26 from http://qeditas.org/docs/QeditasTechDoc.pdf https://iohk.io/projects/qeditas/ 1
11:51, 26 October 2017 Qeditas-0.0.1.tar.gz (file) 200 KB Martin Vahi Downloaded on 2017_10_26 from http://qeditas.org/ https://iohk.io/projects/qeditas/ 1
02:42, 15 October 2017 2017 10 xx www obsidianfields com lj venn-poster4-large.jpeg (file) 578 KB Martin Vahi Downloaded on 2017_10_15 from http://www.obsidianfields.com/lj/venn-poster4-large.jpg 1
00:31, 9 October 2017 Www.math.brown.edu I tilde jhs I MathCrypto I SampleSections.pdf (file) 178 KB Martin Vahi Downloaded on 2017_10_09 from http://www.math.brown.edu/~jhs/MathCrypto/SampleSections.pdf 1
22:52, 7 October 2017 Who Guards the Guards dot Formal Validation of the Arm v8M Architecture Specification by ALASTAIR REID.pdf (file) 695 KB Martin Vahi Downloaded on 2017_10_07 from https://alastairreid.github.io/papers/oopsla2017-whoguardstheguards.pdf 1
16:28, 17 August 2017 2015 xx xx Anti-Forensic Study by Patrycjusz Zdzichowski and Michal Sadlon and Teemu Uolevi V2is2nen and Alvaro Botas Munoz and Karina Filipczak.pdf (file) 1.28 MB Martin Vahi Downloaded on 2017_08_17 from https://ccdcoe.org/sites/default/files/multimedia/pdf/AF_with%20intro.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
06:46, 9 July 2017 2017 07 09 OPTI Toolbox.zip (file) 10.66 MB Martin Vahi https://www.inverseproblem.co.nz/OPTI/ http://www.i2c2.aut.ac.nz/Resources/Software.html 1
18:20, 6 July 2017 Introduction to Conic Optimization and SeDuMi In memory of Jos Sturm 1971-2003 by Kees Roos.pdf (file) 346 KB Martin Vahi Downloaded on 2017_07_06 from http://www.isa.ewi.tudelft.nl/~roos/talks/2004/Tilburg.pdf 1
07:44, 6 July 2017 SIAMBookFinalvNov12-2012 Semidefinite Optimization and Convex Algebraic Geometry.pdf (file) 8.82 MB Martin Vahi https://www.math.washington.edu/~thomas/frg/frgbook/SIAMBookFinalvNov12-2012.pdf http://www.mat.uc.pt/~jgouveia/summerpoly.html https://archive.is/JSEfw Semidefinite Optimization and Convex Algebraic Geometry (free pdf copy), Editors: Grigoriy B... 1
19:44, 30 June 2017 2017 06 26 TileScript.tar.xz (file) 1.04 MB Martin Vahi It's a structogram. http://www.tinlizzie.org/jstile/#Home 1
08:46, 27 June 2017 2014 10 14 Data Stream Algorithms by Amit Chakrabarti.pdf (file) 590 KB Martin Vahi   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
22:47, 26 June 2017 Toward A More Scalable End-User Scripting Language by Alessandro Warth and Takashi Yamamiya and Yoshiki Ohshima and Scott Wallace.pdf (file) 118 KB Martin Vahi Downloaded on 2017_06_26 from http://www.tinlizzie.org/jstile/c52008-15/c52008-ohshima.pdf http://www.tinlizzie.org/jstile/#Home http://vpri.org/ 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
05:52, 22 June 2017 2014 08 04 DRAKON.tar.bz2 (file) 35.15 MB Martin Vahi http://drakon-editor.sourceforge.net/ 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
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
23:02, 11 March 2017 2017 03 09 YouTube 9kkTIe1x81k Heather A Conley more Hardware and less Theology.webm (file) 953 KB Martin Vahi https://youtu.be/9kkTIe1x81k?t=34m42s "Let's get the capabilities, let's grow the effort, and then be little less focused on, what I call, the theology." 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
First page
Previous page
Last page