Report on PCS 2013

Report on CALCO 2013

the beautiful setting of the Old Library building on the historical campus of the University of Warsaw. The first day was dedicated to the Calco Early Ideas workshop, devoted to presentation of work in progress, with a particular emphasis on talks by PhD students and young researchers. This workshop is the follower of Calco-jnr. The other workshop affiliated with Calco, Calco-Tools, is dedicate...

Report on BCTCS 2013

The scientific study of programming languages requires a formal specification of their semantics. However, the incentives of applying formal specification frameworks during programming language design are often outweighed by more pragmatic concerns, such as developing and maintaining an executable interpreter for the language under design. One way of bridging the gap between formal specificatio...

Gap Analysis for Survivable PCS : Final Report

This material is based upon work supported by the U.S. Department of Homeland Security under Grant Award Number 2006-CS-001-000001, under the auspices of the Institute for Information Infrastructure Protection (I3P) research program. The I3P is managed by Dartmouth College. The views and conclusions contained in this document are those of the authors and should not be interpreted as necessarily...

Lattice Qcd on Pcs? *

Current PC processors are equipped with vector processing units and have other advanced features that can be used to accelerate lattice QCD programs. Clusters of PCs with a high-bandwidth network thus become powerful and cost-effective machines for numerical simulations.

Biozentrum Annual Report 2013