Paul Brainerd Dies at 78; Pioneered Desktop Publishing With PageMaker

His software brought printing into the digital age, allowing users to stop manually splicing columns of text and graphics and ...
Communications of the ACM

Tony Hoare and His Imprint on Computer Science

Had they included just one of Tony Hoare’s achievements, many scientific careers would be considered prestigious enough. His ...

OpenAI To Merge ChatGPT, Codex and Atlas Into Desktop Superapp

OpenAI streamlines its ecosystem with an all-in-one desktop platform built for agentic AI, developers and enterprise power ...
College of Computing - Georgia Tech

Groundbreaking Speaker Series Will Welcome Its 15th Turing Award Winner as Its Last Guest

Reaching well beyond Georgia Tech faculty, he started sending “cold call” emails in 2023 to A.M. Turing Award winners and other computing luminaries. The emails shared Axel’s vision for a virtual ...
IEEE

Research on Redundancy Management Algorithm of UAVThree-redundancy Flight Control Computer

Abstract: Flight control computer is the core of automatic flight control system settlement, management, crosslinking and power supply. In order to improve the reliability of the flight control system ...
Scientific Research Publishing

SymPcNSGA-Testing: A Hybrid Approach to Mitigate Path Explosion in Software Programs ()

To address these shortcomings, we introduce SymPcNSGA-Testing (Symbolic execution, Path clustering and NSGA-II Testing), a ...