News - Donald Knuth
Engler Recognized For Excellence in Software Quality Research SAN FRANCISCO, May 22 /PRNewswire/ -- Coverity, Inc., the software integrity company, today announced that company co-founder Dawson Engler was awarded the Grace Murray Hopper Award by the Association for Computing Machinery (ACM) for his groundbreaking research on automated program checking that finds defects in complex computer software. In naming Dr.
Research and Markets (http://www.researchandmarkets.com/research/aa0eca/peltex_oil_compan) has announced the addition of the "Pel-Tex Oil Company, LLC. Detailed Analysis and Forecasts of Oil & Gas Exploration and Production Assets" company profile to their offering. Pel-Tex Oil Company, LLC.
Tex Tech Industries, a global manufacturer of high-tech textiles, has been awarded a major contract from Airbus, company representatives announced today.