FTP server Fakulty informatiky
O serveru
Name
Last modified
Size
Description
Parent Directory
-
perf/
2017-04-14 18:07
-
ARM-memory-subsystem.svg
2017-04-14 18:22
47K
ARM-memory-subsystem.svg.sign
2017-04-14 18:22
543
C-2+2W+o-wmb-o+o-wmb-o.litmus
2017-04-14 18:22
210
C-2+2W+o-wmb-o+o-wmb-o.litmus.sign
2017-04-14 18:22
543
C-3+2W+o-wmb-o+o-wmb-o+o-wmb-o.litmus
2017-04-14 18:22
301
C-3+2W+o-wmb-o+o-wmb-o+o-wmb-o.litmus.sign
2017-04-14 18:22
543
C-3.SB+o-mb-o+o-mb-o+o-mb-o.litmus
2017-04-14 18:22
337
C-3.SB+o-mb-o+o-mb-o+o-mb-o.litmus.sign
2017-04-14 18:22
543
C-3.SB+o-o+o-mb-o+o-mb-o.litmus
2017-04-14 18:23
323
C-3.SB+o-o+o-mb-o+o-mb-o.litmus.sign
2017-04-14 18:23
543
C-CO+o-o+o-o.litmus
2017-04-14 18:23
187
C-CO+o-o+o-o.litmus.sign
2017-04-14 18:23
543
C-CO+o-o.litmus
2017-04-14 18:23
71
C-CO+o-o.litmus.sign
2017-04-14 18:23
543
C-FR+w+w+w+reads.litmus
2017-04-14 18:23
291
C-FR+w+w+w+reads.litmus.sign
2017-04-14 18:23
543
C-Figure8.litmus
2017-04-14 18:23
637
C-Figure8.litmus.sign
2017-04-14 18:23
543
C-IRIW+o+o+o-mb-o+o-mb-o.litmus
2017-04-14 18:23
350
C-IRIW+o+o+o-mb-o+o-mb-o.litmus.sign
2017-04-14 18:23
543
C-IRIW+rel+rel+acq-o+acq-o.litmus
2017-04-14 18:23
354
C-IRIW+rel+rel+acq-o+acq-o.litmus.sign
2017-04-14 18:23
543
C-ISA2+o-rel+acq-rel+acq-o.litmus
2017-04-14 18:23
326
C-ISA2+o-rel+acq-rel+acq-o.litmus.sign
2017-04-14 18:23
543
C-ISA2-6+o-sync-o+o-sync-o+o-sync-o+rl-o-o-rul+rl-o-o-rul+rl-o-o-rul.litmus
2017-04-14 18:23
714
C-ISA2-6+o-sync-o+o-sync-o+o-sync-o+rl-o-o-rul+rl-o-o-rul+rl-o-o-rul.litmus.sign
2017-04-14 18:23
543
C-LB+acq-o+acq-o+acq-o.litmus
2017-04-14 18:23
318
C-LB+acq-o+acq-o+acq-o.litmus.sign
2017-04-14 18:23
543
C-LB+ldref-o+acq-o+o-dep-o.litmus
2017-04-14 18:23
333
C-LB+ldref-o+acq-o+o-dep-o.litmus.sign
2017-04-14 18:23
543
C-LB+ldref-o+o-ctrl-o+o-dep-o.litmus
2017-04-14 18:23
340
C-LB+ldref-o+o-ctrl-o+o-dep-o.litmus.sign
2017-04-14 18:23
543
C-LB+ldref-o+o-o+o-dep-o.litmus
2017-04-14 18:23
325
C-LB+ldref-o+o-o+o-dep-o.litmus.sign
2017-04-14 18:23
543
C-LB+o-o+o-o+o-o.litmus
2017-04-14 18:24
293
C-LB+o-o+o-o+o-o.litmus.sign
2017-04-14 18:24
543
C-LB+o-o+o-o.litmus
2017-04-14 18:24
204
C-LB+o-o+o-o.litmus.sign
2017-04-14 18:24
543
C-LB+o-rel+rl-o-o-rul+o-sync-o.litmus
2017-04-14 18:24
377
C-LB+o-rel+rl-o-o-rul+o-sync-o.litmus.sign
2017-04-14 18:24
543
C-LB+o-sync-o+rl-o-o-rul+o-rl-rul-o+o-sync-o.litmus
2017-04-14 18:24
547
C-LB+o-sync-o+rl-o-o-rul+o-rl-rul-o+o-sync-o.litmus.sign
2017-04-14 18:24
543
C-LB+o-sync-o+rl-o-o-rul.litmus
2017-04-14 18:24
274
C-LB+o-sync-o+rl-o-o-rul.litmus.sign
2017-04-14 18:24
543
C-LB+o-sync-sync-o+rl-o-o-rul+rl-o-o-rul.litmus
2017-04-14 18:24
433
C-LB+o-sync-sync-o+rl-o-o-rul+rl-o-o-rul.litmus.sign
2017-04-14 18:24
543
C-LB+rl-deref-o-rul+o-sync-o+rl-o-o-rlu.litmus
2017-04-14 18:24
451
C-LB+rl-deref-o-rul+o-sync-o+rl-o-o-rlu.litmus.sign
2017-04-14 18:24
543
C-LB+rl-deref-o-rul+o-sync-o.litmus
2017-04-14 18:24
317
C-LB+rl-deref-o-rul+o-sync-o.litmus.sign
2017-04-14 18:24
543
C-MP+o-assign+ldref-o.litmus
2017-04-14 18:24
249
C-MP+o-assign+ldref-o.litmus.sign
2017-04-14 18:24
543
C-MP+o-assign+o-dep-o.litmus
2017-04-14 18:24
238
C-MP+o-assign+o-dep-o.litmus.sign
2017-04-14 18:24
543
C-MP+o-mb-o+o-mb-o.litmus
2017-04-14 18:25
224
C-MP+o-mb-o+o-mb-o.litmus.sign
2017-04-14 18:25
543
C-MP+o-o+o-o.litmus
2017-04-14 18:25
196
C-MP+o-o+o-o.litmus.sign
2017-04-14 18:25
543
C-MP+o-rel+acq-o.litmus
2017-04-14 18:25
219
C-MP+o-rel+acq-o.litmus.sign
2017-04-14 18:25
543
C-MP+o-wmb-o+o-rmb-o.litmus
2017-04-14 18:25
235
C-MP+o-wmb-o+o-rmb-o.litmus.sign
2017-04-14 18:25
543
C-MP2+o-o-wmb-o-o+o-rmb-o+o-rmb-o.litmus
2017-04-14 18:24
423
C-MP2+o-o-wmb-o-o+o-rmb-o+o-rmb-o.litmus.sign
2017-04-14 18:24
543
C-R+o-wmb-o+o+mb+o.litmus
2017-04-14 18:26
219
C-R+o-wmb-o+o+mb+o.litmus.sign
2017-04-14 18:26
543
C-RR-R+WW-G.litmus
2017-04-14 18:26
243
C-RR-R+WW-G.litmus.sign
2017-04-14 18:26
543
C-RW-R+RW-G+RW-R.litmus
2017-04-14 18:26
356
C-RW-R+RW-G+RW-R.litmus.sign
2017-04-14 18:26
543
C-RW-R+RW-Gr+RW-Ra.litmus
2017-04-14 18:26
370
C-RW-R+RW-Gr+RW-Ra.litmus.sign
2017-04-14 18:26
543
C-RW-Ra+RW-G+RW-Rr.litmus
2017-04-14 18:26
370
C-RW-Ra+RW-G+RW-Rr.litmus.sign
2017-04-14 18:26
543
C-SB+o-mb-o+o-mb-o.litmus
2017-04-14 18:26
232
C-SB+o-mb-o+o-mb-o.litmus.sign
2017-04-14 18:26
543
C-W+WRC+o-rel+acq-o+o-mb-o.litmus
2017-04-14 18:26
325
C-W+WRC+o-rel+acq-o+o-mb-o.litmus.sign
2017-04-14 18:26
543
C-WWC+o+acq-o+acq-o.litmus
2017-04-14 18:26
266
C-WWC+o+acq-o+acq-o.litmus.sign
2017-04-14 18:26
543
C-WWC+o+o-rel+acq-o.litmus
2017-04-14 18:26
266
C-WWC+o+o-rel+acq-o.litmus.sign
2017-04-14 18:26
543
C-Z6.0+o-mb-o+acq-o+o-mb-o.litmus
2017-04-14 18:27
317
C-Z6.0+o-mb-o+acq-o+o-mb-o.litmus.sign
2017-04-14 18:27
543
C-Z6.0+o-rel+acq-o+o-mb-o.litmus
2017-04-14 18:27
311
C-Z6.0+o-rel+acq-o+o-mb-o.litmus.sign
2017-04-14 18:27
543
C-addrpo.litmus
2017-04-14 18:23
285
C-addrpo.litmus.sign
2017-04-14 18:23
543
C-atomicpo.litmus
2017-04-14 18:23
204
C-atomicpo.litmus.sign
2017-04-14 18:23
542
C-locktest-filter.litmus
2017-04-14 18:24
412
C-locktest-filter.litmus.sign
2017-04-14 18:24
543
C-locktest.litmus
2017-04-14 18:24
436
C-locktest.litmus.sign
2017-04-14 18:24
543
C-po-loc.litmus
2017-04-14 18:25
226
C-po-loc.litmus.sign
2017-04-14 18:25
543
C-rcu-relacq1-relacq.litmus
2017-04-14 18:25
309
C-rcu-relacq1-relacq.litmus.sign
2017-04-14 18:25
543
C-rcu-relacq1.litmus
2017-04-14 18:25
294
C-rcu-relacq1.litmus.sign
2017-04-14 18:25
543
C-rdw.litmus
2017-04-14 18:25
389
C-rdw.litmus.sign
2017-04-14 18:25
543
C-release-B-cumulative-only-on-acquire-path.litmus
2017-04-14 18:25
362
C-release-B-cumulative-only-on-acquire-path.litmus.sign
2017-04-14 18:25
543
C-release-acquire-is-B-cumulative.litmus
2017-04-14 18:25
304
C-release-acquire-is-B-cumulative.litmus.sign
2017-04-14 18:25
543
C-release-is-A-cumulative.litmus
2017-04-14 18:25
262
C-release-is-A-cumulative.litmus.sign
2017-04-14 18:25
543
C-release-is-not-B-cumulative.litmus
2017-04-14 18:26
295
C-release-is-not-B-cumulative.litmus.sign
2017-04-14 18:26
543
C-relseq-not-B-cumulative.litmus
2017-04-14 18:26
351
C-relseq-not-B-cumulative.litmus.sign
2017-04-14 18:26
543
C-relseq.litmus
2017-04-14 18:26
270
C-relseq.litmus.sign
2017-04-14 18:26
543
C-wmb-is-B-cumulative.litmus
2017-04-14 18:26
293
C-wmb-is-B-cumulative.litmus.sign
2017-04-14 18:26
543
C-wmb-is-not-A-cumulative.litmus
2017-04-14 18:26
297
C-wmb-is-not-A-cumulative.litmus.sign
2017-04-14 18:26
543
Examples.html
2017-04-20 21:41
53K
Examples.html.sign
2017-04-20 21:41
543
LinuxMMModel-1.html
2017-04-14 18:27
27K
LinuxMMModel-1.html.sign
2017-04-14 18:27
543
LinuxMMModel-2.html
2017-04-15 19:31
45K
LinuxMMModel-2.html.sign
2017-04-15 19:31
543
PPC-DCL.litmus
2017-04-14 18:28
554
PPC-DCL.litmus.sign
2017-04-14 18:28
543
PPC-LB+addrs-po.litmus
2017-04-14 18:28
349
PPC-LB+addrs-po.litmus.out
2017-04-14 18:28
5.2K
PPC-LB+addrs-po.litmus.out.sign
2017-04-14 18:28
543
PPC-LB+addrs-po.litmus.sign
2017-04-14 18:28
543
PPC-MP+lwsync+addr-po.litmus
2017-04-14 18:28
343
PPC-MP+lwsync+addr-po.litmus.out
2017-04-14 18:28
4.1K
PPC-MP+lwsync+addr-po.litmus.out.sign
2017-04-14 18:28
543
PPC-MP+lwsync+addr-po.litmus.sign
2017-04-14 18:28
543
PPC-MP+lwsync+addr.litmus
2017-04-14 18:28
265
PPC-MP+lwsync+addr.litmus.sign
2017-04-14 18:28
543
PPC-MP+lwsync+ctrl.litmus
2017-04-14 18:28
343
PPC-MP+lwsync+ctrl.litmus.sign
2017-04-14 18:28
543
RCUGuaranteeFwd.svg
2017-04-14 18:29
19K
RCUGuaranteeFwd.svg.sign
2017-04-14 18:29
543
RCUGuaranteeFwd2.svg
2017-04-14 18:28
27K
RCUGuaranteeFwd2.svg.sign
2017-04-14 18:28
543
RCUGuaranteeFwd3.svg
2017-04-14 18:28
34K
RCUGuaranteeFwd3.svg.sign
2017-04-14 18:28
543
RCUGuaranteeRev.svg
2017-04-14 18:29
19K
RCUGuaranteeRev.svg.sign
2017-04-14 18:29
543
RCUguarantees.html
2017-04-14 18:29
12K
RCUguarantees.html.sign
2017-04-14 18:29
543
StrongModel.html
2017-04-20 21:41
227K
StrongModel.html.sign
2017-04-20 21:41
543
WeakModel.html
2017-04-14 18:30
22K
WeakModel.html.sign
2017-04-14 18:30
543
alpha-split-cache-example1.litmus
2017-04-14 18:22
252
alpha-split-cache-example1.litmus.sign
2017-04-14 18:22
543
alpha-split-cache-example2.litmus
2017-04-14 18:22
281
alpha-split-cache-example2.litmus.sign
2017-04-14 18:22
543
co.svg
2017-04-14 18:25
10K
co.svg.sign
2017-04-14 18:25
543
coherent-RMO.cat
2017-04-14 18:25
218
coherent-RMO.cat.sign
2017-04-14 18:25
543
coherent-RMO.cfg
2017-04-14 18:25
402
coherent-RMO.cfg.sign
2017-04-14 18:25
543
cycle-new.svg
2017-04-14 18:27
3.6K
cycle-new.svg.sign
2017-04-14 18:27
543
cycle.svg
2017-04-14 18:27
9.2K
cycle.svg.sign
2017-04-14 18:27
543
cyclenot-new.svg
2017-04-14 18:27
3.7K
cyclenot-new.svg.sign
2017-04-14 18:27
543
cyclenot.svg
2017-04-14 18:27
9.7K
cyclenot.svg.sign
2017-04-14 18:27
543
fr.html
2017-04-20 21:41
15K
fr.html.sign
2017-04-20 21:41
543
fr.svg
2017-04-14 18:27
9.5K
fr.svg.sign
2017-04-14 18:27
543
herd.html
2017-04-20 21:41
22K
herd.html.sign
2017-04-20 21:41
543
index.html
2020-01-22 22:40
2.3K
index.html.sign
2020-01-22 22:40
566
linux.def
2017-04-14 18:27
860
linux.def.sign
2017-04-14 18:27
543
lock.cat
2017-04-14 18:28
615
lock.cat.sign
2017-04-14 18:28
543
lock.html
2019-07-15 14:51
51K
lock.html.sign
2019-07-15 14:51
543
read-read-coherence.svg
2017-04-14 18:29
4.2K
read-read-coherence.svg.sign
2017-04-14 18:29
543
rf-sc.svg
2017-04-14 18:29
10K
rf-sc.svg.sign
2017-04-14 18:29
543
rf.svg
2017-04-14 18:29
9.5K
rf.svg.sign
2017-04-14 18:29
543
rmo-acyclic.svg
2017-04-14 18:29
4.9K
rmo-acyclic.svg.sign
2017-04-14 18:29
543
rmo-cyclic.svg
2017-04-14 18:29
5.0K
rmo-cyclic.svg.sign
2017-04-14 18:29
543
sha256sums.asc
2023-04-25 23:12
10K
srcu.html
2019-07-15 14:51
35K
srcu.html.sign
2019-07-15 14:51
543
strong-kernel.bell
2017-04-14 18:29
2.6K
strong-kernel.bell.sign
2017-04-14 18:29
543
strong-kernel.cat
2017-04-14 18:29
3.9K
strong-kernel.cat.sign
2017-04-14 18:29
543
strong.cfg
2017-04-14 18:29
403
strong.cfg.sign
2017-04-14 18:29
543
toy-RMO.cat
2017-04-14 18:30
130
toy-RMO.cat.sign
2017-04-14 18:30
543
toy-RMO.cfg
2017-04-14 18:30
397
toy-RMO.cfg.sign
2017-04-14 18:30
543
weak-kernel.cat
2017-04-14 18:30
3.0K
weak-kernel.cat.sign
2017-04-14 18:30
543
weak.cfg
2017-04-14 18:30
401
weak.cfg.sign
2017-04-14 18:30
543