Skip to main content

Software: Modeling

Latest Innovations
NAMD: Scalable Molecular Dynamics Software NAMD is parallel molecular dynamics software designed to provide high-performance simulations of large biomolecular systems. NAMD was developed by the ... Read More NAMD is parallel molecular dynamics software designed to provide high-performance simulations of large biomolecular systems. NAMD was developed by the Theoretical and Computational Biophysics Group under the direction of Professor Klaus Schulten in collaboration with other faculty and laboratories at the University of Illinois at Urbana-Champaign. To learn more about NAMD, please visit this website. Available Licenses The latest version of NAMD software is available free of charge for use by individuals, companies and academic institutions for non-commercial and internal business use only. The software is available under a ready-to-sign click-through agreement on the NAMD website. From this site, select the “Download NAMD” link and then the appropriate version of the software. You will be prompted to register (or login with your credentials), in order to review and accept the license, and to then receive access to software.
VMD: Visual Molecular Dynamics Software VMD is molecular visualization software for displaying, animating, and analyzing large biomolecular systems using 3-D graphics and built-in scripting. VMD was... Read More VMD is molecular visualization software for displaying, animating, and analyzing large biomolecular systems using 3-D graphics and built-in scripting. VMD was developed by the Theoretical and Computational Biophysics Group under the direction of Professor Klaus Schulten in collaboration with other faculty and laboratories at the University of Illinois at Urbana-Champaign. To learn more about VMD please visit this website. Available Licenses The latest version of VMD is available free of charge for use by individuals, companies and academic institutions for non-commercial and internal business purposes only. The software is available under a ready-to-sign click-through agreement on the VMD website. From this site, select the “Download VMD” link and then the appropriate version of the software. You will be prompted to register (or login with your credentials), in order to review and accept the license, and to then receive access to software.
Method and Program Product for Solid Mechanics Modeling Workbench and Dynamic Display (TF00017) The invention is a method for modeling solids behavior using the following steps: obtaining load and load path data to apply to the solids, inputting the... Read More The invention is a method for modeling solids behavior using the following steps: obtaining load and load path data to apply to the solids, inputting the data to a model selected from a variety of models stored in a model library, the selected model generating model output data, and displaying the model output data in a graphical format. The invention is an integrated framework and tool for users to explore the implications of different solids mechanics models and different load/load path data with output presented in a graphical format to aid understanding.
A Systematic Approach to Uncover Security Flaws in GUI Logic Website spoofing, or phishing, is a serious problem targeting online user information. It can be used to steal usernames and passwords from important websites such... Read More Website spoofing, or phishing, is a serious problem targeting online user information. It can be used to steal usernames and passwords from important websites such as bank websites. Dr. Meseguer from the University of Illinois, jointly with Microsoft Research, developed a method for uncovering GUI logic flaws in software implementations. The systems specifically address status-bar spoofing and address bar spoofing scenarios but could also address a variety of other classes of problems.
A Novel Breakpoint Implementation Scheme for Debugging Optimized Code The invention is a method for debugging a machine code of a program that has been subjected to an optimizing action, wherein the machine code may have been... Read More The invention is a method for debugging a machine code of a program that has been subjected to an optimizing action, wherein the machine code may have been reordered, duplicated, eliminated or transformed so as not to correspond with the program's source code order. The method derives a table which associates each machine code instruction with a source construct for which it was generated. The user sets a breakpoint at a breakpoint P in the source code where execution is to stop. Then the method determines at least one corresponding location for the breakpoint in the machine code through use of the table, and executes by native execution or emulation only machine code instructions which correspond to source constructs that precede the breakpoint in the source code order. The method further enables a comparison of the results of two passes of emulation (in different orders) to detect a class of bugs that are particularly hard to find: bugs caused by optimizer errors and user bugs that manifest themselves only in the optimized executable.