Damian Gryski
72a2e8bced
Updated ResearchPapers (markdown)
2018-04-04 16:45:40 -07:00
Akwick
ebc980de7c
Updated ResearchPapers (markdown)
2018-03-13 09:53:57 +01:00
ImreSamu
3f2b2102db
add: "Inferring and Asserting Distributed System Invariants"
2018-02-22 22:06:00 +01:00
ImreSamu
da79dc82ef
add: T. Aoshima, K. Kobayashi, and M. Minami. "Revisiting the Vector Space Model: Sparse Weighted Nearest-Neighbor Method for Extreme Multi-Label Classification." arXiv:1802.03938
2018-02-17 13:10:44 +01:00
Damian Gryski
57f4fad036
Add "Reconstructing Program Semantics from Go Binaries
2018-02-16 10:50:01 -08:00
Damian Gryski
68ef2beb37
Updated ResearchPapers (markdown)
2018-02-11 11:13:09 -08:00
Nicholas Ng
1015c83722
add: A Static Verification Framework for Message Passing in Go using Behavioural Types
2018-01-02 16:59:11 +00:00
Sebastien Binet
e4da6f879e
2017: add link to Go-based DAQ/Monitoring system for hadrontherapy
2017-12-14 16:20:03 +01:00
Akwick
45c4b6fd0b
Updated ResearchPapers (markdown)
2017-09-09 11:24:26 +02:00
ImreSamu
907fdecf77
Add: Let's Go: a Data-Driven Multi-Threading Support (2017)
2017-06-13 15:23:08 +02:00
ImreSamu
ad90d6965d
add: Atom: Horizontally Scaling Strong Anonymity ( 2016)
2017-06-11 19:54:05 +02:00
sajarwo
5fb9a513c8
Updated ResearchPapers (markdown)
2017-06-09 19:47:55 +03:00
Brendan Tracey
57e4c76626
Updated ResearchPapers (markdown)
2017-06-09 10:11:55 -06:00
ImreSamu
b1b4f103e6
add: Towards Omnia: a Monitoring Factory for Quality-Aware DevOps (Marco Miglierina, Damian A. Tamburri) 2017
2017-06-05 19:40:06 +02:00
ImreSamu
ccd8548d7b
add: Copy-on-Reference File Mechanism Extends Scope of Dynamic Reconfiguration (Jeremy Krach) 2017
2017-06-05 19:26:00 +02:00
ImreSamu
0d9fc69358
add: An event model for phylogenetic biogeography using explicitly geographical ranges Authors (J. Salvador Arias) 2017
2017-06-05 19:15:50 +02:00
Damian Gryski
2b142d0d3e
Updated ResearchPapers (markdown)
2017-06-05 16:11:04 +02:00
Damian Gryski
d483e35e87
Updated ResearchPapers (markdown)
2017-06-05 13:15:00 +02:00
Damian Gryski
7a49799ae5
Updated ResearchPapers (markdown)
2017-06-05 13:12:52 +02:00
ImreSamu
ee64ef440e
add: Feasibility of reusable continuous thrust spacecraft for cargo resupply missions to Mars (C. B. Rabotin) 2017
2017-05-13 12:06:56 +02:00
Bryan C. Mills
976a4dd1bf
Updated ResearchPapers (markdown)
2017-04-13 11:46:34 -04:00
ImreSamu
4b239c86f1
add: The Case for Reconfiguration without Consensus: Comparing Algorithms for Atomic Storage , 2016
2017-04-11 14:46:10 +02:00
ImreSamu
77fb9dbd88
add: Performance testing of open-source HTTP web frameworks in an API (Michael A.P. Domingues) DSIE’17
2017-03-30 00:19:06 +02:00
ImreSamu
db528d4e0b
fix format ( markdown parser change)
2017-03-29 13:31:21 +02:00
ImreSamu
52ae7f5ce7
add: Method of auto-configuration for corporate proxies ( 2017 )
2017-03-07 10:18:15 +01:00
ImreSamu
6e2e9682f2
add: NucAmino: a nucleotide to amino acid alignment optimized for virus gene sequences ( 2017 )
2017-03-04 21:10:03 +01:00
ImreSamu
abd18bbfbf
add: Flower : Workflow management and heat-aware scheduling for modern cloud infrastructures
2017-02-21 12:24:48 +01:00
ImreSamu
f71d4b16d5
add: Idiomatic and Reproducible Software Builds using Containers for Reliable Computing ( 2017 )
2017-02-19 15:23:37 +01:00
ImreSamu
107fbf200e
add: Implementing a web-based bookingsystem using Go (2016)
2017-02-19 15:17:38 +01:00
Egon Elbre
fffc21f249
Updated ResearchPapers (markdown)
2017-02-17 23:08:46 +02:00
ImreSamu
ee7d348461
add: Structured I/O streams in Clive: a toolbox approach for wide area network computing
2017-02-07 20:33:34 +01:00
Damian Gryski
ceec251fdd
Updated ResearchPapers (markdown)
2017-01-25 05:47:36 +01:00
ImreSamu
8ad66b073f
add: Parallelization of the corpus manager’s time-consuming operations (2016)
2017-01-24 13:19:44 +01:00
ImreSamu
c544f9986a
add: Towards Practical Default-On Multi-Core Record/Replay
2017-01-19 13:30:44 +01:00
ImreSamu
f66f2a19db
add: Comparing MapReduce and Pipeline Implementations for Counting Triangles
2017-01-19 13:19:39 +01:00
Nicholas Ng
2c665991e9
Add POPL 2017 paper
2017-01-06 14:39:08 +00:00
ImreSamu
73bf1db03a
add: Cyber Security Exercise Modeling & Tracking (Joonas Greis) Bachelor’s thesis
2016-12-22 20:43:52 +01:00
ImreSamu
79c9fe2c9d
add: Scalable Byzantine Consensus via Hardware-assisted Secret Sharing
2016-12-20 17:55:57 +01:00
A
b0b466b953
Remove pdf url as not accesible any longer
2016-12-13 18:18:50 +01:00
ImreSamu
53c8159397
add: Fast and Reliable Byzantine Fault Tolerance (Eric Scott Freeman) Master's thesis in Computer science
2016-12-10 16:27:48 +01:00
ImreSamu
40b42fa681
add: Formal verification of concurrency in go
2016-11-26 19:28:01 +01:00
Damian Gryski
359e899f6c
Updated ResearchPapers (markdown)
2016-11-21 18:20:49 +01:00
ImreSamu
b12725098f
add : Therapeutic target discovery using Boolean network attractors: updates from kali
2016-11-16 22:40:03 +01:00
Nicholas Ng
7d15ba891f
Updated ResearchPapers (markdown)
2016-11-14 13:09:29 +00:00
Nicholas Ng
ec5053839d
Update wording and details on Fencing off Go paper
2016-11-07 00:11:20 +00:00
ImreSamu
fa4bab02ff
add: arXiv link to the "Fencing off Go"
2016-11-01 12:04:03 +01:00
ImreSamu
52c2e198f8
better link for : Fencing off Go
2016-10-26 03:38:53 +02:00
ImreSamu
4dc780908a
add: tool:dingo-hunter : Static analyser for finding Deadlocks in Go
2016-10-26 03:32:16 +02:00
ImreSamu
006cec566d
add: Fencing off Go
2016-10-25 13:40:32 +02:00
ImreSamu
2e53a25931
adding - Information Flow Analysis for Go
2016-10-11 12:05:48 +02:00
