design-rule checker
41Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… …
42Disco — This article is about the music genre. For the entertainment venue, see discothèque. For other uses, see Disco (disambiguation). Disco Stylistic origins Funk[1] • Various soul styles[2] • Psychedelic …
43Norfolk, Virginia — Norfolk   Independent city   Downtown Norfolk skyline, Chrysler Museum of Art, Ocean View Fishing Pier, The Tide light rail …
44Acute accent — The acute accent ( Unicode|´ ) is a diacritic mark used in many modern written languages with alphabets based on the Latin, Cyrillic alphabet and Greek scripts.HistoryAn early precursor of the acute accent was the apex, used in Latin inscriptions …
45Real time database — A real time database is a processing system designed to handle workloads whose state is constantly changing (Buchmann). This differs from traditional databases containing persistent data, mostly unaffected by time. For example, a stock market… …
