"archimedes"@cs .