LEADER 03949nam 22007575 450 001 996418302503316 005 20230330002755.0 010 $a3-030-43243-2 024 7 $a10.1007/978-3-030-43243-0 035 $a(CKB)4100000011273674 035 $a(MiAaPQ)EBC6287344 035 $a(DE-He213)978-3-030-43243-0 035 $a(PPN)248394509 035 $a(EXLCZ)994100000011273674 100 $a20200509d2020 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 12$aA Pipelined Multi-Core Machine with Operating System Support$b[electronic resource] $eHardware Implementation and Correctness Proof /$fby Petro Lutsyk, Jonas Oberhauser, Wolfgang J. Paul 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (634 pages) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9999 311 $a3-030-43242-4 327 $aIntroductory material -- on hierarchical hardware design -- hardware library -- basic processor design -- pipelining -- cache memory systems -- interrupt mechanism -- self modification, instruction buffer and nondeterministic ISA -- memory management units -- store buffers -- multi-core processors -- advanced programmable interrupt controllers (APICs) -- adding a disk -- I/O apic. 330 $aThis work is building on results from the book named ?A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness? by M. Kovalev, S.M. Müller, and W.J. Paul, published as LNCS 9000 in 2014. It presents, at the gate level, construction and correctness proof of a multi-core machine with pipelined processors and extensive operating system support with the following features: ? MIPS instruction set architecture (ISA) for application and for system programming ? cache coherent memory system ? store buffers in front of the data caches ? interrupts and exceptions ? memory management units (MMUs) ? pipelined processors: the classical five-stage pipeline is extended by two pipeline stages for address translation ? local interrupt controller (ICs) supporting inter-processor interrupts (IPIs) ? I/O-interrupt controller and a disk . 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9999 606 $aComputer programming 606 $aComputer engineering 606 $aComputer networks 606 $aMicroprogramming 606 $aComputer input-output equipment 606 $aLogic programming 606 $aComputer science 606 $aProgramming Techniques 606 $aComputer Engineering and Networks 606 $aControl Structures and Microprogramming 606 $aInput/Output and Data Communications 606 $aLogic in AI 606 $aTheory of Computation 615 0$aComputer programming. 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aMicroprogramming. 615 0$aComputer input-output equipment. 615 0$aLogic programming. 615 0$aComputer science. 615 14$aProgramming Techniques. 615 24$aComputer Engineering and Networks. 615 24$aControl Structures and Microprogramming. 615 24$aInput/Output and Data Communications. 615 24$aLogic in AI. 615 24$aTheory of Computation. 676 $a005.434 700 $aLutsyk$b Petro$4aut$4http://id.loc.gov/vocabulary/relators/aut$0883073 702 $aOberhauser$b Jonas$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aPaul$b Wolfgang J$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996418302503316 996 $aA Pipelined Multi-Core Machine with Operating System Support$91972560 997 $aUNISA LEADER 04848nam 2201393z- 450 001 9910557609003321 005 20220321 035 $a(CKB)5400000000045312 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/79672 035 $a(oapen)doab79672 035 $a(EXLCZ)995400000000045312 100 $a20202203d2022 |y 0 101 0 $aeng 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aNew Insights in the Genetics and Genomics of Adrenocortical Tumors and Pheochromocytomas 210 $aBasel$cMDPI - Multidisciplinary Digital Publishing Institute$d2022 215 $a1 online resource (272 p.) 311 08$a3-0365-3358-3 311 08$a3-0365-3357-5 330 $aThis book includes 17 papers published in the Special Issue/Article Collectoin "New Insights in the Genetics and Genomics of adrenocortical tumors and pheochromocytomas" including an editorial, 10 research papers and six review articles. Adrenal tumors represent a hot topic in contemporary endocrine oncology. Significant advancements in the genetics of genomics of these tumors have been made in recent years, and these articles give a useful and comprehensive overview of these issues. Questions regarding molecular pathogenesis, diagnosis (biomarkers) and even treatment are discussed in the papers written by international leaders of the field. Manuscripts are focused on three main topics: i. primary aldosteronism (the most common cause of secondary endocrine hypertension), ii. adrenocortical cancer and iii. pheochromocytoma/paraganglioma, which are the tumors with the highest heritability in humans. The book is edited by Prof. Peter Igaz (Department of Endocrinology, Faculty of Medicine, Semmelweis University). 606 $aMedicine$2bicssc 610 $aadaptive metabolism 610 $aadenoma 610 $aadrenal 610 $aadrenal gland 610 $aadrenalectomy 610 $aadrenocortical 610 $aadrenocortical carcinoma 610 $aadrenocortical tumor 610 $aaldosterone 610 $aaldosterone producing adenoma 610 $aaldosterone-producing adenoma 610 $aALT 610 $aarterial stiffness 610 $aartificial intelligence 610 $aATP2B3 610 $aATRX 610 $abioinformatic clustering 610 $abiomarker 610 $abiomarker prediction 610 $acancer 610 $acirculating 610 $aconn adenoma 610 $adriver mutations 610 $adrug discovery 610 $aendocrine tumor syndrome 610 $aenvironment 610 $aepidemiology 610 $aepigenetics 610 $afatty acid metabolism 610 $aferroptosis 610 $agenetic analysis 610 $agenetic testing 610 $agenetics 610 $agermline 610 $aH295 strains 610 $ahereditary 610 $ahereditary cancer 610 $ahyperaldosteronism 610 $ain silico analysis 610 $aK416-F418delinsN mutation 610 $aKCNJ5 somatic mutation 610 $amachine learning 610 $amalignancy 610 $ametabolic reprogramming 610 $ametabolomics 610 $ametastatic 610 $amicroRNA 610 $amitochondrial complex II 610 $amitotane 610 $amortality 610 $amutations 610 $an/a 610 $aneonatal screening 610 $aneural network 610 $anext generation sequencing 610 $aNext Generation Sequencing 610 $anon-coding RNA 610 $aNOP10 610 $aparaganglioma 610 $aparagangliomas 610 $aphaeochromocytoma 610 $apheochromocytoma 610 $apheochromocytomas 610 $aPPAR? 610 $aPPGL 610 $aprimary aldosteronism 610 $aprognostic biomarker 610 $apropensity score matching 610 $apulse wave velocity 610 $aredox balance pathway 610 $aRNAseq 610 $ascreening 610 $asomatic 610 $asurveillance 610 $asusceptibility genes 610 $atelomeres 610 $aTERT 610 $atherapy 610 $atissue 610 $aTP53 R337H 610 $atranscriptomics 610 $atreatment 610 $atumor microenvironment 610 $atumor suppressor genes 610 $avariants 610 $aVitamin C 610 $azebrafish 610 $a?-oxidation 615 7$aMedicine 700 $aIgaz$b Peter$4edt$01082320 702 $aIgaz$b Peter$4oth 906 $aBOOK 912 $a9910557609003321 996 $aNew Insights in the Genetics and Genomics of Adrenocortical Tumors and Pheochromocytomas$93027446 997 $aUNINA