-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathindex.html
More file actions
133 lines (107 loc) · 6.98 KB
/
index.html
File metadata and controls
133 lines (107 loc) · 6.98 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta content="IE=edge,chrome=1" http-equiv="X-UA-Compatible">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link href="/images/edacc_small.gif" rel="icon" type="image/gif" />
<title>EDACC - Experiment Design and Analysis for Computer Clusters</title>
<script src="https://code.jquery.com/jquery.js"></script>
<link href="https://netdna.bootstrapcdn.com/font-awesome/3.2.1/css/font-awesome.css" rel="stylesheet">
<link href='https://fonts.googleapis.com/css?family=Open+Sans' rel='stylesheet' type='text/css'>
<link href="/stylesheets/bootstrap.css" media="screen" rel="stylesheet" type="text/css" />
<script src="/javascripts/bootstrap.min.js" type="text/javascript"></script>
</head>
<body style="font-family: 'Open Sans', sans-serif;" class="index">
<div class="container">
<div class="navbar navbar-inverse">
<a class="navbar-brand" href="/"><img width="30" class="logo" src="/images/edacc_small.gif" /></a>
<ul class="nav navbar-nav">
<li class="active"><a href="/">about</a></li>
<li class=""><a href="/source">source</a></li>
<li class=""><a href="/documentation">documentation</a></li>
<li class=""><a href="/community">community</a></li>
</ul>
</div>
<div class="jumbotron">
<div class="row">
<div class="col-lg-8">
<h1>EDACC</h1>
<p>Experiment Design and Administration for Computer Clusters</p>
<p><a href="#learnmore" class="btn btn-primary btn-lg">Learn more</a></p>
</div>
<div class="col-lg-4"><img width="250" class="logo" src="/images/edacc_transparent.gif" /></div>
</div>
</div>
<div class="row"><a id="learnmore"></a>
<div class="col-lg-4"><i class="icon-dashboard icon-2x"></i> Parallelisation of target algorithm runs across independent compute nodes</div>
<div class="col-lg-4"><i class="icon-search icon-2x"></i> Graphical and statistical analysis of experiment results</div>
<div class="col-lg-4"><i class="icon-github icon-2x"></i> Free and open-source</div>
</div>
<hr />
<p>EDACC is a framework for the design, execution and analysis of large experiments with arbitrary algorithms on computer clusters. It automates
many of the tasks commonly done manually such as distributing the algorithm executables across compute nodes, running the required computation tasks
and collecting the results.</p>
<h4 id="core-components">Core components</h4>
<ul>
<li>Database: Stores information about algorithm executables, problem instances and experiments</li>
<li><a href="https://github.com/EDACC/edacc_gui">GUI Application</a>: Java GUI application for managing algorithms and problem instances, creating and analysing experiments</li>
<li><a href="https://github.com/EDACC/edacc_client">Computation Client</a>: Execution of the algorithms on remote, distributed systems such as computer clusters</li>
</ul>
<h4 id="optional-components">Optional components</h4>
<ul>
<li><a href="https://github.com/EDACC/edacc_web">Web Frontend</a>: Web client to perform monitoring and statistical analysis of experiment results</li>
<li>Job server: Small application that increases the throughput of the system when large-scale grids are used</li>
<li>Visualizer: Visualize the configuration process of algorithms and to analyze the results</li>
<li><a href="https://github.com/EDACC/edacc_api">Automatic algorithm configurator API</a>: Java API for parallel automatic algorithm configurators</li>
<li><a href="https://github.com/EDACC/edacc_aac">eAAC</a>: Automatic configurator framework, which includes several automatic algorithm configurators</li>
</ul>
<h3 id="i-classicon-downloadi-releases"><i class="icon-download"></i> Releases</h3>
<p>The latest release contains the GUI application, which can be used to set up an EDACC database, and the computation client.
<strong>We recommend working with the latest development versions.</strong></p>
<p><a href="/downloads/edacc-0.4.1.zip" class="btn btn-success btn-lg">edacc-0.4.1.zip, 8.7M</a>
<a href="http://github.com/edacc" class="btn btn-primary btn-lg"><i class="icon-github"></i> Sourcecode</a></p>
<h3 id="i-classicon-useri-applications"><i class="icon-user"></i> Applications</h3>
<p>EDACC was used to conduct the following solver competitions:</p>
<ul>
<li><a href="http://baldur.iti.kit.edu/SAT-Challenge-2012/">SAT Challenge 2012</a> (<a href="http://satcompetition.org/edacc/SATChallenge2012/">Web Frontend</a>)</li>
<li><a href="http://www.satcompetition.org/2013/">SAT Competition 2013</a> (<a href="http://satcompetition.org/edacc/SATCompetition2013/">Web Frontend</a>)</li>
<li><a href="http://www.satcompetition.org/2014">SAT Competition 2014</a> (<a href="http://satcompetition.org/edacc/sc14">Web Frontend</a>)</li>
<li><a href="https://syntcompdb.iaik.tugraz.at">Synthesis Competition 2014</a></li>
</ul>
<p>It was also used in tuning some of the solvers that participated in these competitions (see <a href="#publications">publications</a>).</p>
<h3 id="a-idpublicationsai-classicon-booki-publications"><a id="publications"></a><i class="icon-book"></i> Publications</h3>
<p>EDACC is developed at the <a href="http://www.uni-ulm.de/en/in/institute-of-theoretical-computer-science.html">Institute of Theoretical Computer Science</a> of <a href="http://www.uni-ulm.de/en/">Ulm University</a> and introduced in the following publications:</p>
<ul>
<li>
<p>Adrian Balint, Daniel Gall, Gregor Kapler, Robert Retz, Daniel Diepold and Simon Gerber<br />
<a href="http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.190/Mitarbeiter/balint/EDACC_LION5.pdf">EDACC - An advanced Platform for the Experiment Design, Administration and Analysis of Empirical Algorithms</a><br />
to appear in the proceedings of LION5</p>
</li>
<li>
<p>Adrian Balint, Daniel Gall, Gregor Kapler, Robert Retz
<a href="http://jsat.ewi.tudelft.nl/content/volume7/JSAT7_7_Balint.pdf">Experiment Design and Administration for Computer Cluster for SAT-solvers (EDACC), System Description</a><br />
in JSAT Volume 7</p>
</li>
</ul>
<p>Some references to EDACC in scientific work, publications and articles include:</p>
<ul>
<li>
<p><a href="http://hdl.handle.net/10138/34218">Proceedings of SAT Challenge 2012; Solver and Benchmark Descriptions</a></p>
</li>
<li>
<p><a href="http://hdl.handle.net/10138/40026">Proceedings of SAT Competition 2013; Solver and Benchmark Descriptions</a></p>
</li>
<li>
<p><a href="http://hdl.handle.net/10138/135571">Proceedings of SAT Competition 2014; Solver and Benchmark Descriptions</a></p>
</li>
<li>
<p>Oliver Gableske, Sven Müelich, Daniel Diepold<br />
On the Performance of CDCL-based Message Passing Inspired Decimation using Rho-Sigma-PMP-i<br />
EasyChair Proceedings of the Pragmatics of SAT Workshop (POS13), 2013.<br />
<a href="https://www.gableske.net/dimetheus">Dimetheus SAT Solver</a></p>
</li>
</ul>
</div>
</body>
</html>