ISBN-13: 9783659557989 / Rosyjski / Miękka / 2014 / 104 str.
Razrabotka sovremennogo programmnogo obespecheniya - slozhnaya zadacha, trebujushhaya bol'shih vlozhenij material'nyh i vremennyh resursov. Pri jetom chasto trebuetsya optimal'nost' po takim kriteriyam, kak proizvoditel'nost', ob#jom zanimaemoj pamyati, i jenergopotreblenie. Dlya uvelicheniya vozmozhnostej po tonkoj optimizacii programmnogo obespecheniya dlya rabochih stancij i superkomp'juterov neobhodima formalizaciya poiskovoj oblasti. S pomoshh'ju postroeniya modeli proizvoditel'nosti programm vozmozhno dostich' luchshego ponimaniya vozdejstviya optimizacij kompilyatora na interesujushhie razrabotchika kriterii jeffektivnosti programmy. Takim obrazom mozhno sdelat' poisk optimal'nyh nastroek bolee napravlennym i lokalizovannym, sokrashhaya cikl razrabotki matematicheskogo obespecheniya, stoimost' razrabotki i podderzhki. Dannaya rabota opisyvaet razrabotku sistemy sbora, sistematizacii, formalizacii dannyh o proizvoditel'nosti kompiliruemyh programm v zavisimosti ot nastroek kompilyatora i programmno-apparatnoj platformy. Opisyvaemaya sistema takzhe vypolnyaet modelirovanie i predskazanie jeffektivnosti programm.