Posts tagged logic

There are 13 posts tagged with logic.

If you are interested in "logic" why not subscribe to the Atom feed or RSS feed?

Data, Data, Everywhere

The amount of data produced by the problems may pose a problem. LCL005 produces more than 600MB of output and generates over 6,000,000 events. Processing this data into a graph description is the next phase of the project.

Posted by Thomas Sutton on November 25, 2004. Tagged with: srp, logic, graph, visualisation, data processing.

Graphviz, Dot, Large Graphs and Crashing!

Running Graphviz on my generated dot files exhausts memory and dies. I'll need to either use a smaller problem, or another visualisation tool.

Posted by Thomas Sutton on November 24, 2004. Tagged with: srp, logic, graph, visualisation.

Graphviz, Dot and Large Graphs

Notes on my graph visualisation project.

Posted by Thomas Sutton on November 23, 2004. Tagged with: srp, logic, graph, visualisation.