Filters








699 Hits in 9.4 sec

Practical Issues in Sequential Equivalence Checking through Alignability: Handling Don't Cares and Generating Debug Traces

In-ho Moon, Per Bjesse, Carl Pixley
<span title="">2006</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hbvn6m6kincupdvulvumabespu" style="color: black;">High Level Design Validation and Test Workshop (HLDVT), IEEE International</a> </i> &nbsp;
We address these issues by extending the standard alignability theory so that it handles don't care information in the absence of reset states, and by devising a heuristic for finding a meaningful initial  ...  and don't care logic.  ...  We have taken two steps towards practical symbolic equivalence checking by extending the standard alignability theory to handle don't care information and by presenting a heuristic to generate debug traces  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hldvt.2006.319985">doi:10.1109/hldvt.2006.319985</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/hldvt/MoonBP06.html">dblp:conf/hldvt/MoonBP06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dp2naczdabae7gqmd34cdcborq">fatcat:dp2naczdabae7gqmd34cdcborq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812005139/http://www.perbjesse.com/hldvt06.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/52/57/52575bb8e3e4a1097cc6191f289fc47dff58df21.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/hldvt.2006.319985"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Reproducible Containers

Omar S. Navarro Leija, Kelly Shiptoski, Ryan G. Scott, Baojun Wang, Nicholas Renner, Ryan R. Newton, Joseph Devietti
<span title="2020-03-09">2020</span> <i title="ACM"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/w47kezfuffdgvcobhv564rrlju" style="color: black;">Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems</a> </i> &nbsp;
We describe the design and implementation of DetTrace, a reproducible container abstraction for Linux implemented in user space.  ...  We use DetTrace to achieve, in an automatic fashion, reproducibility for 12,130 Debian package builds, containing over 800 million lines of code, as well as bioinformatics and machine learning workflows  ...  Opinions or findings in this material are the authors' and do not necessarily reflect the views of the NSF.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3373376.3378519">doi:10.1145/3373376.3378519</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/asplos/LeijaSSWRND20.html">dblp:conf/asplos/LeijaSSWRND20</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/234ucu6hrzbajahchp5y2tud7a">fatcat:234ucu6hrzbajahchp5y2tud7a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220412004004/https://dl.acm.org/doi/pdf/10.1145/3373376.3378519" 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/97/8d/978dfa1d4749740f8e32d8191a33f80e6dfee93a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3373376.3378519"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

An industrially effective environment for formal hardware verification

C.-J.H. Seger, R.B. Jones, J.W. O'Leary, T. Melham, M.D. Aagaard, C. Barrett, D. Syme
<span title="">2005</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rl7xk4fwazdrred2difr6v3lii" style="color: black;">IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems</a> </i> &nbsp;
The design philosophy behind Forte is presented and the elements of the verification methodology that make it effective in practice are also described.  ...  Forte has proven to be effective in large-scale industrial trials and combines an efficient linear-time logic model-checking algorithm, namely the symbolic trajectory evaluation (STE), with lightweight  ...  ACKNOWLEDGMENT Feedback from exercising the proposed methodology and tools on realistic designs was essential to making Forte effective.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tcad.2005.850814">doi:10.1109/tcad.2005.850814</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rxashd5osrhcjky5mgq2jsodk4">fatcat:rxashd5osrhcjky5mgq2jsodk4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808184525/http://www.cs.ox.ac.uk/tom.melham/pub/Seger-2005-IEE.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/40/e2/40e2398d9c9d71f8d79fd622da85524b87d5af95.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tcad.2005.850814"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Extracting usability information from user interface events

David M. Hilbert, David F. Redmiles
<span title="2000-12-01">2000</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/eiea26iqqjcatatlgxdpzt637y" style="color: black;">ACM Computing Surveys</a> </i> &nbsp;
Because many of the techniques in the research literature have not been evaluated in practice, this survey provides a conceptual evaluation to help identify some of the relative merits and drawbacks of  ...  However, because user interface events are typically voluminous and rich in detail, automated support is generally required to extract information at a level of abstraction that is useful to investigators  ...  Fortunately, these strengths and weaknesses nicely complement the strengths and weaknesses inherent in current usability testing practice, in which subtle usability issues are identified through careful  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/371578.371593">doi:10.1145/371578.371593</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/y73fmmm57bdp7e4dqkvhjoo7yy">fatcat:y73fmmm57bdp7e4dqkvhjoo7yy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050427054304/http://www.ics.uci.edu:80/~redmiles/publications/J006-HR00.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/be/6a/be6a11284b9941cf2fd1ca7896938524ae693ff3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/371578.371593"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Tension Space Anaylsis for Emergent Narrative

Ben Kybartas, Clark Verbrugge, Jonathan Lessard
<span title="">2020</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/tvmhgvndondmjauwfc7sn4izxy" style="color: black;">IEEE Transactions on Games</a> </i> &nbsp;
Emergent narratives provide a unique and compelling approach to interactive storytelling through simulation, and have applications in games, narrative generation, and virtual agents.  ...  In this paper, we present a novel approach to emergent narrative using the narratological theory of possible worlds and demonstrate how the design of works in such a system can be understood through a  ...  ACKNOWLEDGEMENTS This research was funded with the support of the Natural Sciences and Engineering Research Council of Canada (NSERC).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tg.2020.2989072">doi:10.1109/tg.2020.2989072</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rwcz7yp5t5f6rkm7gii2iok2oq">fatcat:rwcz7yp5t5f6rkm7gii2iok2oq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200504205812/https://arxiv.org/pdf/2004.10808v1.pdf" title="fulltext PDF download [not primary version]" 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] <span style="color: #f43e3e;">&#10033;</span> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tg.2020.2989072"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Modeling and formal verification of the Fairisle ATM switch fabric using MDGs

S. Tahar, Xiaoyu Song, E. Cerny, Zijian Zhou, M. Langevin, O. Ait-Mohamed
<span title="">1999</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rl7xk4fwazdrred2difr6v3lii" style="color: black;">IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems</a> </i> &nbsp;
In a first stage, we validated the high-level specification by checking specific safety properties that reflect the behavior of the fabric in its real operating environment.  ...  We modeled and verified the switch fabric at three levels of abstraction: behavior, and register transfer level (RTL) and gate levels.  ...  ., and F. Corella at Hewlett Packard Company, Roseville, CA, for encouragement and helpful comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/43.771178">doi:10.1109/43.771178</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/eurvaykgcjha5nzyokkvmdhb6u">fatcat:eurvaykgcjha5nzyokkvmdhb6u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20041229080723/http://www.ece.concordia.ca:80/~tahar/pub/TCAD99.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/b9/0b/b90b465e64da18b27a3565682bb9cdf50b33ef6f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/43.771178"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Benchmarking and Testing OSD for Correctness and Compliance [chapter]

Dalit Naor, Petra Reshef, Ohad Rodeh, Allon Shafrir, Adam Wolman, Eitan Yaffe
<span title="">2006</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
This work can be a basis for a general-purpose benchmark suite for OSDs in the future, as more OSD implementations emerge.  ...  Developers often describe testing as being tedious and boring.  ...  Hence, many people in the team contributed ideas and work to this mission throughout the years.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11678779_12">doi:10.1007/11678779_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/majsnrbfpfbp3fzvyw5dqibami">fatcat:majsnrbfpfbp3fzvyw5dqibami</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060316104016/http://www.haifa.ibm.com/projects/storage/objectstore/papers/osd_test.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/b6/76/b676755e4cb2feef1d806b3bf5722d391185ca04.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11678779_12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

D7.2.1 A Report on the Survey of HPC Tools and Techniques

Michael Lysaght, Bjorn Lindi, Vit Vondrak, John Donners, Marc Tajchman
<span title="2013-04-30">2013</span> <i title="Zenodo"> Zenodo </i> &nbsp;
This applications enabling activity will use the most promising tools, algorithms and standards for optimisation and parallel scaling that have recently been developed through research and experience in  ...  As well as surveying the tools and techniques that have been employed in PRACE, this deliverable also reports on how tools and techniques are being used in various exascale projects and initiatives outside  ...  In practice, as with MPI, the same care and attention should be exercised over algorithm and hardware details when programming with OpenMP.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.6575492">doi:10.5281/zenodo.6575492</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/grwigpxd7naifbzo6w67w4glrm">fatcat:grwigpxd7naifbzo6w67w4glrm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220525071113/https://zenodo.org/record/6575492/files/3IP-D7.2.1.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/3f/88/3f88fedf63d5208de07cdba607ffefdb99d5f127.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.6575492"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> zenodo.org </button> </a>

Intel's Array Building Blocks: A retargetable, dynamic compiler and embedded language

Chris J. Newburn, Byoungro So, Zhenying Liu, Michael McCool, Anwar Ghuloum, Stefanus Du Toit, Zhi Gang Wang, Zhao Hui Du, Yongjian Chen, Gansha Wu, Peng Guo, Zhanglin Liu (+1 others)
<span title="">2011</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bmxgpqt325gxrkrxonhmytmhiu" style="color: black;">International Symposium on Code Generation and Optimization (CGO 2011)</a> </i> &nbsp;
This work makes contributions in language features, compiler architecture, code transformations and optimizations.  ...  Since the vast majority of the world's software developers are not parallel programming experts, making it easy to write, port, and debug applications with sufficient core and vector parallelism is essential  ...  LLO takes care of task granularity management and scalability issues.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/cgo.2011.5764690">doi:10.1109/cgo.2011.5764690</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/cgo/NewburnSLMGTWDCWGLZ11.html">dblp:conf/cgo/NewburnSLMGTWDCWGLZ11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/aodwas7x6vh6njsxxdotbdzkhe">fatcat:aodwas7x6vh6njsxxdotbdzkhe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180722021224/https://software.intel.com/sites/default/files/m/4/6/c/ArBB-CGO2011-distr.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/ce/da/ceda5b277a32b0a8a7d23e6b449fa3764a6d6cb4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/cgo.2011.5764690"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Open Source Software: A Source of Possibilities for Software Engineering Education and Empirical Software Engineering

Letizia Jaccheri, Thomas Osterlie
<span title="">2007</span> <i title="IEEE"> First International Workshop on Emerging Trends in FLOSS Research and Development (FLOSS&#39;07: ICSE Workshops 2007) </i> &nbsp;
Before progressing with informing software integration practice, researchers therefore need to better understand the actual work of maintaining integrated systems.  ...  Marc Berg (1997) takes a detailed look at practice in a hospital intensive care unit.  ...  A major focus of ANT is to provide a way of tracing and explaining the process of how networks of actors, actor networks, become more or less stable through the alignment of interest.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/floss.2007.12">doi:10.1109/floss.2007.12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zue27wkzjbbgjk3gar2ztms7ze">fatcat:zue27wkzjbbgjk3gar2ztms7ze</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190414040337/https://core.ac.uk/download/pdf/52104195.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/cc/05/cc05cda679d8b06d7c3cecf32cd89b8d03c2b1f9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/floss.2007.12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Architectural Support for Software-Defined Metadata Processing

Udit Dhawan, Catalin Hritcu, Raphael Rubin, Nikos Vasilakis, Silviu Chiricescu, Jonathan M. Smith, Thomas F. Knight, Benjamin C. Pierce, Andre DeHon
<span title="2015-03-14">2015</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;
Optimized hardware for propagating and checking softwareprogrammable metadata tags can achieve low runtime overhead.  ...  We generalize prior work on hardware tagging by considering a generic architecture that supports softwaredefined policies over metadata of arbitrary size and complexity; we introduce several novel microarchitectural  ...  The views expressed are those of the authors and do not reflect the official policy or position of the Department of Defense or the U.S. Government.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2775054.2694383">doi:10.1145/2775054.2694383</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jkc4s5vrbfcbhaqstaj65mk77y">fatcat:jkc4s5vrbfcbhaqstaj65mk77y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150416132918/http://www.crash-safe.org/assets/PUMP-ASPLOS-2015.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/06/bb/06bbfb45f7bf27e0c79939cfac1f7b10f20183ca.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2775054.2694383"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Architectural Support for Software-Defined Metadata Processing

Udit Dhawan, Catalin Hritcu, Raphael Rubin, Nikos Vasilakis, Silviu Chiricescu, Jonathan M. Smith, Thomas F. Knight, Benjamin C. Pierce, Andre DeHon
<span title="2015-03-14">2015</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/35q3ync5nbhnjfpylznlz57lyi" style="color: black;">SIGARCH Computer Architecture News</a> </i> &nbsp;
Optimized hardware for propagating and checking softwareprogrammable metadata tags can achieve low runtime overhead.  ...  We generalize prior work on hardware tagging by considering a generic architecture that supports softwaredefined policies over metadata of arbitrary size and complexity; we introduce several novel microarchitectural  ...  The views expressed are those of the authors and do not reflect the official policy or position of the Department of Defense or the U.S. Government.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2786763.2694383">doi:10.1145/2786763.2694383</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ftendh3zdreijfp76mjmrw4kzm">fatcat:ftendh3zdreijfp76mjmrw4kzm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150416132918/http://www.crash-safe.org/assets/PUMP-ASPLOS-2015.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/06/bb/06bbfb45f7bf27e0c79939cfac1f7b10f20183ca.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2786763.2694383"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Architectural Support for Software-Defined Metadata Processing

Udit Dhawan, Catalin Hritcu, Raphael Rubin, Nikos Vasilakis, Silviu Chiricescu, Jonathan M. Smith, Thomas F. Knight, Benjamin C. Pierce, Andre DeHon
<span title="">2015</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/w47kezfuffdgvcobhv564rrlju" style="color: black;">Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS &#39;15</a> </i> &nbsp;
Optimized hardware for propagating and checking softwareprogrammable metadata tags can achieve low runtime overhead.  ...  We generalize prior work on hardware tagging by considering a generic architecture that supports softwaredefined policies over metadata of arbitrary size and complexity; we introduce several novel microarchitectural  ...  To handle these "don't care" inputs efficiently, we mask them out before presenting the inputs to the PUMP rule cache (AND gates in Fig. 1 ).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2694344.2694383">doi:10.1145/2694344.2694383</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/asplos/DhawanHRVCSKPD15.html">dblp:conf/asplos/DhawanHRVCSKPD15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wxxet3mq4fb2zfbk6blynpno2e">fatcat:wxxet3mq4fb2zfbk6blynpno2e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150416132918/http://www.crash-safe.org/assets/PUMP-ASPLOS-2015.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/06/bb/06bbfb45f7bf27e0c79939cfac1f7b10f20183ca.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2694344.2694383"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Formalizing space shuttle software requirements: four case studies

Judith Crow, Ben Di Vito
<span title="1998-07-01">1998</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7dwkv5m7lfbbpi6he2w2suk6b4" style="color: black;">ACM Transactions on Software Engineering and Methodology</a> </i> &nbsp;
raise interesting issues in problem domain modeling and in tailoring formal techniques to applications. dating from the late 1970s and early 1980s.  ...  We have developed general strategies for specifying and verifying these two classes of Shuttle software and have demonstrated their utility in the GPS Di Vito and Roberts 1996] , JS [NASA 1993, Appendix  ...  ACKNOWLEDGMENTS The authors are grateful for the assistance of the requirements analysts and other staff at Lockheed Martin Space Information Systems: Larry Roberts, Mike Beims, Ron Avery, and, in earlier  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/287000.287023">doi:10.1145/287000.287023</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/g6ncufgllvchxbuoat7wmsnixu">fatcat:g6ncufgllvchxbuoat7wmsnixu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809093607/http://www.dcs.gla.ac.uk/~johnson/teaching/safety/reports/p296-crow.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/98/5198705f344d4bafbf37ef35cc313a643d167b07.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/287000.287023"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Differentiated Assessments for Advanced Courses that Reveal Issues with Prerequisite Skills

Greg L. Nelson, Filip Strömbäck, Ari Korhonen, Marjahan Begum, Ben Blamey, Karen H. Jin, Violetta Lonati, Bonnie MacKellar, Mattia Monga
<span title="2020-06-17">2020</span> <i title="ACM"> Proceedings of the Working Group Reports on Innovation and Technology in Computer Science Education </i> &nbsp;
We focused on tracing and related skills as prerequisites, and on advanced object-oriented programming, concurrency, algorithm and data structures as the advanced skills.  ...  Our work also raises theoretical questions about what assessments really assess and how separate advanced topics and prerequisite skills are.  ...  We thank the BDSI team for their blessing and feedback about how to reprint two of their questions. The BDSI concept inventory is available in their Google group 4 .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3437800.3439204">doi:10.1145/3437800.3439204</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4h63skwthbgjdjcjv3ptcebd5m">fatcat:4h63skwthbgjdjcjv3ptcebd5m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210716120034/https://acris.aalto.fi/ws/portalfiles/portal/63249903/SCI_Nelson_Differentiated_Assessments.2020_WG_Manuscript.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/f9/62/f962a21d39cbe3d9181096464f8c05e55f871317.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3437800.3439204"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 699 results