Filters








1,353 Hits in 3.0 sec

Page 552 of Journal of Aircraft Vol. 13, Issue 8 [page]

<span title="">1976</span> <i title="American Institute of Aeronautics and Astronautics"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_journal-of-aircraft" style="color: black;">Journal of Aircraft </a> </i> &nbsp;
Mach number cruise, and which also does not need the ad- dition of a fuel-thirsty afterburner.  ...  SST CURRENT LOW | DRAG CONCEPT 1.0 1.5 2.0 25 3.0 MACH NUMBER Supersonic and transonic drag reduction.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_journal-of-aircraft_1976-08_13_8/page/552" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_journal-of-aircraft_1976-08_13_8/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Lateral Habenula Involvement in Impulsive Cocaine Seeking

Agustin Zapata, Eun-Kyung Hwang, Carl R Lupica
<span title="2016-12-27">2016</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zscwnf3bera7vcvkm7bgnh2sbu" style="color: black;">Neuropsychopharmacology</a> </i> &nbsp;
The effect of LHb injection of GABA agonists was mimicked by intra-LHb muscarinic cholinergic (mACh) antagonist injection, and activation of mACh receptors excited a majority of LHb neurons in in vitro  ...  to impaired impulse control associated with drug addiction.  ...  This, together with the results with scopolamine, led us to hypothesize that mACh receptor activation excites LHb neurons.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1038/npp.2016.286">doi:10.1038/npp.2016.286</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/28025973">pmid:28025973</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC5506796/">pmcid:PMC5506796</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/atx6daxtrzb3bijipbhzy7azsy">fatcat:atx6daxtrzb3bijipbhzy7azsy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200511155836/https://www.nature.com/articles/npp2016286.pdf?error=cookies_not_supported&amp;code=f4963e95-7d75-4447-b0dd-fe2eb193f344" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8d/ed/8ded7b11703cffea104c01d09f40d9c0411adf8b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1038/npp.2016.286"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5506796" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

A structured TCP in standard ML

Edoardo Biagioni
<span title="1994-10-01">1994</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/g4bof3rzarbpjigq5zxjkozv2u" style="color: black;">Computer communication review</a> </i> &nbsp;
Gregory Morrisett for their indispensable contributions to the Fox project, and Elmootazbeliah Elnozahy, Matthias Felleisen, and Eliot Moss for providing valuable input to the project.  ...  The author would also like to thank the anonymous reviewers, who have contributed very instructive comments.  ...  Our implementation is built on top of the Mach 3.0 microkernel [18] , and uses the Mach Interprocess Communication mechanism to send and receive packets.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/190809.190318">doi:10.1145/190809.190318</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ii57wv4v7rfetixqtzwyv7ou54">fatcat:ii57wv4v7rfetixqtzwyv7ou54</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170924050458/http://www.dtic.mil/get-tr-doc/pdf?AD=ADA282711" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9f/e2/9fe2bcd4fae8664d8b65b20bb70dbc513b9416ba.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/190809.190318"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A structured TCP in standard ML

Edoardo Biagioni
<span title="">1994</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6mtaqkuatjbxjnu4pbbyvwphgi" style="color: black;">Proceedings of the conference on Communications architectures, protocols and applications - SIGCOMM &#39;94</a> </i> &nbsp;
Gregory Morrisett for their indispensable contributions to the Fox project, and Elmootazbeliah Elnozahy, Matthias Felleisen, and Eliot Moss for providing valuable input to the project.  ...  The author would also like to thank the anonymous reviewers, who have contributed very instructive comments.  ...  Our implementation is built on top of the Mach 3.0 microkernel [18] , and uses the Mach Interprocess Communication mechanism to send and receive packets.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/190314.190318">doi:10.1145/190314.190318</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigcomm/Biagioni94.html">dblp:conf/sigcomm/Biagioni94</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/z46tupdygzbwfc7osa5h7ty7ke">fatcat:z46tupdygzbwfc7osa5h7ty7ke</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170924050458/http://www.dtic.mil/get-tr-doc/pdf?AD=ADA282711" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9f/e2/9fe2bcd4fae8664d8b65b20bb70dbc513b9416ba.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/190314.190318"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A simplified, preliminary comparison between the ejector ramjet and the shrouded rocket

O. BREVIG
<span title="">1968</span> <i title="American Institute of Aeronautics and Astronautics (AIAA)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rq5e3ewv7bgrnf57ibetvdgysa" style="color: black;">Journal of Spacecraft and Rockets</a> </i> &nbsp;
A pressure recovery schedule closer to that of a normal shock inlet was found to be required for inlet-mixer matching.  ...  The pressure recover schedule as a function of Mach number for a kinetic energy efficiency nxe = 0.96 is shown in Fig. 5 with the sharp-lip effect calculated from Ref. 10 indicated.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2514/3.29275">doi:10.2514/3.29275</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gpo3z6oqzjdjrethczzwbdr6di">fatcat:gpo3z6oqzjdjrethczzwbdr6di</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_journal-of-spacecraft-and-rockets_1968-04_5_4/page/444" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_journal-of-spacecraft-and-rockets_1968-04_5_4/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2514/3.29275"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Performance of an Inlet for an Integrated Scramjet Concept

Carl A. Trexler
<span title="">1974</span> <i title="American Institute of Aeronautics and Astronautics (AIAA)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6icinac4gbdpzask6p4e3mbtc4" style="color: black;">Journal of Aircraft</a> </i> &nbsp;
CENTER STRUT SIDE PASSAGE CENTER PASSAGE Fig. 3 Throat Mach number contours, mass weighted M = 3.0 (not to scale).  ...  , schedule requirements, and operational spec- trum.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2514/3.60393">doi:10.2514/3.60393</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/u3m65zroxzhcvjwfpizsnbgcei">fatcat:u3m65zroxzhcvjwfpizsnbgcei</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_journal-of-aircraft_1974-09_11_9/page/589" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_journal-of-aircraft_1974-09_11_9/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2514/3.60393"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

"Machiavellianism" and frontal dysfunction: Evidence from Parkinson's disease

Patrick McNamara, Raymon Durso, Erica Harris
<span title="">2007</span> <i title="Informa UK Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/j7kt44fg2vfmrkpnn4r545hbeq" style="color: black;">Cognitive Neuropsychiatry</a> </i> &nbsp;
High Machs also were marginally more inclined to believe that advantages accrued when associating with Tom, PD mean05.5 (4.6) versus control mean 2.9 (3.0), p0.057.  ...  Using Christie and Geis's (1970) original procedure of adding 20 points to each participant's score, this would yield a PD group median score of 84.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/13546800701202316">doi:10.1080/13546800701202316</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/17558639">pmid:17558639</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/omuo4aeinjhknhr2irxjf3c65y">fatcat:omuo4aeinjhknhr2irxjf3c65y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810093235/http://www.bumc.bu.edu/len/files/2009/03/machiavellianism-and-frontal-dysfunction-evidence-from-pd-2007.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7c/94/7c94f79519ec892dfc3e6b2b4733e4a8d16b5e9d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/13546800701202316"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> tandfonline.com </button> </a>

Real-time Identification of Guidance Modes in Aircraft Descents Using Surveillace Data

Ramon Dalmau, Marc Perez-Batlle, Xavier Prats
<span title="">2018</span> <i title="IEEE"> 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC) </i> &nbsp;
The active guidance mode of an aircraft is estimated in real-time observing flight data collected only from automatic dependent surveillance-Broadcast (ADS-B) and transponder selective mode (Mode S) emissions  ...  Promising results are obtained, showing that the active guidance mode can be unequivocally identified with a negligible delay.  ...  ACKNOWLEDGMENTS The authors would like to thank Airbus Industries for the use of PEP (Performance Engineers Program) suite, which allowed us to undertake realistic aircraft performances simulations.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dasc.2018.8569811">doi:10.1109/dasc.2018.8569811</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fa55hffl3fgxtltbhcdn46qe2m">fatcat:fa55hffl3fgxtltbhcdn46qe2m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200508000215/https://upcommons.upc.edu/bitstream/handle/2117/127560/PID5468223.pdf;jsessionid=9A83FC47152B81F5A6DB48AF369CEF25?sequence=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/65/82/65824fac0f620dceed363f6d1c278a78f6ae7567.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dasc.2018.8569811"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A comparison of three microkernels

Andrew S. Tanenbaum
<span title="">1995</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qhbautqnvzgwvm3vvdvieylhwq" style="color: black;">Journal of Supercomputing</a> </i> &nbsp;
First, the individual nodes have resources that have to be managed: the processor must be scheduled, memory must be allocated, etc.  ...  In this paper we discuss three popular microkernels, Amoeba, Mach, and Chorus, to show what they can do.  ...  ACKNOWLEDGEMENTS I would like to thank Dick Grune, Philip Homburg, Marc Maathuis, Greg Sharp, and Greg Wilson for their helpful comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bf01245395">doi:10.1007/bf01245395</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rscqsqbxgrfwjhse3quwvd4sgq">fatcat:rscqsqbxgrfwjhse3quwvd4sgq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20121113214121/http://www.cs.vu.nl/~ast/publications/super-1995.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/51/a8/51a85687abc56dcd62d535bcdb4cd18ba55b9c07.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bf01245395"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Development of the F-12 Aircraft Flight Control System

John R. McMaster, Frederick L. Schenk
<span title="">1974</span> <i title="American Institute of Aeronautics and Astronautics (AIAA)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6icinac4gbdpzask6p4e3mbtc4" style="color: black;">Journal of Aircraft</a> </i> &nbsp;
To relieve these effects, the gains of the Mach hold autopilot mode were reduced and a g limiting feature was added during flight test.  ...  However, at Mach 3.0, the gradient is traversed in approximately 15 sec and the maximum Mach deviation is —0.09.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2514/3.59224">doi:10.2514/3.59224</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/p4ewnnw4nnc6bmbk22gwriiwby">fatcat:p4ewnnw4nnc6bmbk22gwriiwby</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_journal-of-aircraft_1974-04_11_4/page/225" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_journal-of-aircraft_1974-04_11_4/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2514/3.59224"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Using continuations to implement thread management and communication in operating systems

Richard P. Draves, Brian N. Bershad, Richard F. Rashid, Randall W. Dean
<span title="1991-10-02">1991</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/i24hgue5erh4haqtfyyjvfijdu" style="color: black;">ACM SIGOPS Operating Systems Review</a> </i> &nbsp;
We have improved the performance of the Mach 3.0 operating system by redesigning its internal thread and interprocess communication facilities to use coniznztations as the basis for control transfer.  ...  Compared to previous versions of Mach 3.0, our new system consumes 85% less space per thread. Cross-address space remote procedure calls execute 14'% faster. Exception handling runs over 60% faster.  ...  The Mach 3.0 kernel runs on a variety of pro- cessor architectures.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/121133.121155">doi:10.1145/121133.121155</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dv4gzs4lcnajjmxbycgloqw3hq">fatcat:dv4gzs4lcnajjmxbycgloqw3hq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809100216/http://zoo.cs.yale.edu/classes/cs422/2010/bib/draves91continuations.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ea/61/ea61d06f9065c40cdc797724366d6c10cfd524c0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/121133.121155"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Using continuations to implement thread management and communication in operating systems

Richard P. Draves, Brian N. Bershad, Richard F. Rashid, Randall W. Dean
<span title="">1991</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jj2vupi7offrtmqekd7qqfaxdm" style="color: black;">Proceedings of the thirteenth ACM symposium on Operating systems principles - SOSP &#39;91</a> </i> &nbsp;
We have improved the performance of the Mach 3.0 operating system by redesigning its internal thread and interprocess communication facilities to use coniznztations as the basis for control transfer.  ...  Compared to previous versions of Mach 3.0, our new system consumes 85% less space per thread. Cross-address space remote procedure calls execute 14'% faster. Exception handling runs over 60% faster.  ...  The Mach 3.0 kernel runs on a variety of pro- cessor architectures.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/121132.121155">doi:10.1145/121132.121155</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sosp/DravesBRD91.html">dblp:conf/sosp/DravesBRD91</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zv422xf2kjh65hhver2u4cntsy">fatcat:zv422xf2kjh65hhver2u4cntsy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809100216/http://zoo.cs.yale.edu/classes/cs422/2010/bib/draves91continuations.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ea/61/ea61d06f9065c40cdc797724366d6c10cfd524c0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/121132.121155"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Formal verification of translation validators

Jean-Baptiste Tristan, Xavier Leroy
<span title="2008-01-14">2008</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
The validators are designed for two instruction scheduling optimizations: list scheduling and trace scheduling.  ...  Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics.  ...  These special instructions enable the Mach semantics to enforce useful separation properties between activation records and the rest of memory.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1328897.1328444">doi:10.1145/1328897.1328444</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nbdoc2olwzcihappg75dvabh2e">fatcat:nbdoc2olwzcihappg75dvabh2e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150912054005/https://hal.inria.fr/inria-00289540/file/validation-scheduling.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fd/a4/fda4edb66087c5790a934ca44ec21fff302cdbec.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1328897.1328444"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Formal verification of translation validators

Jean-Baptiste Tristan, Xavier Leroy
<span title="">2008</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2qaxtqe2rfgjnfefqcokcnzelq" style="color: black;">Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL &#39;08</a> </i> &nbsp;
The validators are designed for two instruction scheduling optimizations: list scheduling and trace scheduling.  ...  Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics.  ...  These special instructions enable the Mach semantics to enforce useful separation properties between activation records and the rest of memory.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1328438.1328444">doi:10.1145/1328438.1328444</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/popl/TristanL08.html">dblp:conf/popl/TristanL08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rt7622ewlzfjldasow6ozlqtwa">fatcat:rt7622ewlzfjldasow6ozlqtwa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150912054005/https://hal.inria.fr/inria-00289540/file/validation-scheduling.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fd/a4/fda4edb66087c5790a934ca44ec21fff302cdbec.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1328438.1328444"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Processor capacity reserves: operating system support for multimedia applications

Mercer, Savage, Tokuda
<span title="">1994</span> <i title="IEEE Comput. Soc. Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/pmefrmqsezb5zd3w7pf5k7fmxu" style="color: black;">Proceedings of IEEE International Conference on Multimedia Computing and Systems MMCS-94</a> </i> &nbsp;
Our approach is to provide the predictability of real-time systems while retaining the flexibility of a timesharing system.  ...  We have implemented processor capacity reserves in Real-Time Mach, and we describe the performance of our system on several types of applications.  ...  , and the members of the ART group and Mach group at CMU.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/mmcs.1994.292439">doi:10.1109/mmcs.1994.292439</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icmcs/MercerST94.html">dblp:conf/icmcs/MercerST94</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/llsdgps3ezdbbb5ufaugd3m3rm">fatcat:llsdgps3ezdbbb5ufaugd3m3rm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060921205519/http://www.soe.ucsc.edu:8083/~sbrandt/courses/Winter00/290S/reserves.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3d/23/3d23a04aaaf3a9a715dcc951ef3f983c94aa12be.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/mmcs.1994.292439"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 1,353 results