David Hardin

Learn More
Spark, a subset of Ada for engineering safety and security-critical systems , is one of the best commercially available frameworks for formal-methods-supported development of critical software. Spark is designed for verification and includes a software contract language for specifying functional properties of procedures. Even though Spark and its static(More)
Certain commercial entities, equipment, or materials may be identified in this document in order to describe an experimental procedure or concept adequately. Such identification is not intended to imply recommendation or endorsement by the National Institute of Standards and Technology, nor is it intended to imply that the entities, materials, or equipment(More)
Acknowledgements Acknowledgements The following document represents the efforts of faculty and staff in the Department of Agricultural Leadership, Education and Communication (ALEC) over the span of eight months. I'd like to recognize the efforts of Dr. Dick Fleming who served as the chair for the ALEC internal work committee responsible for planning and(More)
Cancer classification based on microarray gene expressions is an important problem. In this work a new gene selection technique is proposed. The technique combines TOPSIS (Techniques for Order Preference by Similarity to an Ideal Solution) and F-score method to select subset of relevant genes. The output of the combined gene selection technique is fed into(More)
This volume contains the proceedings of ACL2 2011, the International Workshop on the ACL2 Theorem Prover and its Applications. The workshop was held in Austin, Texas, USA, on November 3-4 2011. ACL2 2011 is the tenth in a series of workshops on the ACL2 Theorem Prover and its Applications. The workshop was co-located with the eleventh Conference on Formal(More)
Spark, a subset of Ada for engineering safety and security-critical systems, is one of the best commercially available frameworks for formal-methods-supported development of critical software. Spark is designed for verification and includes a software contract language for specifying functional properties of procedures. Even though Spark and its static(More)
based trademarks and logos are trademarks or registered trademarks of Sun Microsystems, Inc., in the United States and other countries. UNIX is a registered trademark in the United States and other countries, exclusively licensed through X/Open Company, Ltd. All other product names mentioned herein are the trademarks of their respective owners. To Paula and(More)