Publication | Open Access
Formal analysis of MPI-based parallel programs
69
Citations
22
References
2011
Year
Biophysical ModelingEngineeringMolecular BiologyParallel SoftwareProtein FoldingFoams CompressParallel ComputingBiophysicsHybrid ProgrammingMacromolecular MachineComputer EngineeringProtein ModelingFormal AnalysisProtein Structure PredictionComputer ScienceProgram AnalysisComputational BiologyReliable Parallel SimulationsFormal MethodsParallel ProgrammingParallel Programming ModelScientists Understand NatureSystems BiologyMedicineComputational Biophysics
The goal is reliable parallel simulations, helping scientists understand nature, from how foams compress to how ribosomes construct proteins.
| Year | Citations | |
|---|---|---|
Page 1
Page 1