Filters








42 Hits in 6.7 sec

Experimental evaluation in computer science: A quantitative study

Walter F. Tichy, Paul Lukowicz, Lutz Prechelt, Ernst A. Heinz
<span title="">1995</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kqzhqyka2ffqdlbon77fd6trwm" style="color: black;">Journal of Systems and Software</a> </i> &nbsp;
Conversely, the fraction of papers that devote one fth or more of their space to experimental validation is almost 70 for OE and NC, while it is a mere 30 for the CS random sample and 20 for software engineering  ...  The survey includes complete volumes of several refereed c omputer science journals, a conference, and 50 titles drawn at random from all articles published b y A CM in 1993.  ...  FTP address This technical report is available for anonymous FTP on the Internet from the following source: machine: ftp.ira.uka.de directory: pub uni-karlsruhe papers techreports 1994 le: 1994-17.ps.Z  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0164-1212(94)00111-y">doi:10.1016/0164-1212(94)00111-y</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3mozsrarmzcxfhh4yfbnwfqtgm">fatcat:3mozsrarmzcxfhh4yfbnwfqtgm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830050029/http://page.mi.fu-berlin.de/prechelt/Biblio/1994-17.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/84/fc/84fc454824e8dad34b80fa717c72a31f554f68c3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0164-1212(94)00111-y"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Cooperative Support for Distributed Supervisory Control: Christopher A. Jasek and Patricia M. Jones [chapter]

<span title="2013-05-13">2013</span> <i title="Psychology Press"> Coordination Theory and Collaboration Technology </i> &nbsp;
.) • Facilitating the Development and Use of Interactive Learning Environments Finn et a1. (Eds.) • Video-Mediated Communication  ...  ACM Transactions on Information Systems. [ 66 ) 66 Kazuo Watabe, Shiro Sakata, Kazutoshl Maeno, HideyukI Fukuoka, and Kazuyuki Maebara.  ...  ACM Transactions on Information Systems, 7(1):3-29, January 1989. 24. P. David Stotts and Richard Furuta. "aTrellis: A system for writing and browsing Petri-netbased hypertext".  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4324/9781410605863-15">doi:10.4324/9781410605863-15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dvu34c5ierar7ijjg53knzwikm">fatcat:dvu34c5ierar7ijjg53knzwikm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201229220348/https://s3-euw1-ap-pe-ws4-capi2-distribution-p.s3-eu-west-1.amazonaws.com/books/9781410605863/HUBPMP/9781410605863_googleScholarPDF.pdf?response-content-disposition=attachment%3B%20filename%3D%229781410605863_googlepreview.pdf%22&amp;response-content-type=application%2Fpdf&amp;x-amz-security-token=IQoJb3JpZ2luX2VjEK7%2F%2F%2F%2F%2F%2F%2F%2F%2F%2FwEaCWV1LXdlc3QtMSJHMEUCIGObANMqy89G7g48G181D5MocfKMnDV1SJYJ2z2bsPJUAiEAl0I2akLimWljxpQOKFzxw75p6tLKHU5bicEdhbYiIbIqtAMIZhACGgwwMTIxNzcyNjQ1MTEiDF8szafTRusIfuRpSiqRA8Od%2F19AKczIe7JeRtruWmO%2FU%2F8iub9KM5VDHt%2BQnMZ8SedD0w2k4Kd6%2BFA%2BB2JGYpeZzZRvHU6Fr6%2Fu0N%2BXUwA9MLdhCaOUo3CTh4tB3Bqt3sQ0tNpV3clivr0egErOgMiaKHi1Ds3UJgqoDdbj8WLv2wK7wJry2vyQ33XsRwc44KQkjEduyvkSGlQ8rEwAg3cbAjYlsZ%2FpRcnEyySFFGH03lz16A4Bh4pDEi4MkKjTLVu3ECted6NAVv%2BuypmI1Fs7YOVUFN1X99Lor8OisP1TmlrpsSL4I0txrDrtoCjoeIynEFBuETH1kpMMjatwQnenE1Y9g04vIf5y6aLcU8DrlNo8wG0t93S5rTmh4kKDuReoeJztVCmJvk0a5XWaJ171RG%2B3MRsioO7DLWM05yu6a8K5xdQnKGWBQa6ZN6UDOXj7kTqoC5hpRn2%2FsucJc4MBcchrATZ%2BvU%2Br9ESDPLpBEG%2BC0y6OG1b%2FbcoLH3oIluzt1yrwEdleampl%2BphIt9WuK9xbYtEl0xMu7tCMaCP%2FMO%2B3rv8FOusBerAXfL%2BeID0Hlhl3s7AGzbcOB8OPWFb%2FKeA9RQQxS84%2FGtdFrzS4mMhEf4wIjjU%2BBmTGKdVoF5nHDP6KToMWYryN4%2BB%2F48wqFEd%2BReKGLVUNHLEILx%2FSIAXyYQCAvTdakGrRgIhjFJj0ndtk%2FRzADW8%2BJ3IB9OwcaE3oYuBCeBN5lw4TsNNj3yBaCKnrMVL%2Bl325Oq6twyo7gfcjVabJmO3NyIqaR08GhaQSM3XvLkPgbUdFjlJsS7vjmgDu3XXfimFGcYeduk79lhKxzEM0VL0hXOU7vkzjzKRTuBv4jiFSBljfbRj0GyqIEQ%3D%3D&amp;AWSAccessKeyId=ASIAQFVOSJ57ZEA3O5Y3&amp;Expires=1609884227&amp;Signature=BfpQ7%2Fk2sHZ1NE7o%2F8EBZmOpitI%3D" 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/28/e3/28e32381d8c85dad7d4c17cb0c07b33f47083199.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4324/9781410605863-15"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

On Good and Bad Intentions behind Anomalous Citation Patterns among Journals in Computer Sciences [article]

Joyita Chakraborty, Dinesh Pradhan, Hridoy Sankar Dutta, Subrata Nandi, Tanmoy Chakraborty
<span title="2018-07-27">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
For abnormal citation behavior, we study the nature of sudden inflation in impact factor of journals on a time basis which may occur due to addition of irrelevant and superfluous citations in such closed  ...  This threatens the integrity of scientific quality and takes away deserved credit of legitimate authors and their authentic publications.  ...  Acknowledgments Tanmoy Chakraborty would like to thank the support of the Infosys center for Artificial Intelligence and Ramanujan Faculty Fellowship.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1807.10804v1">arXiv:1807.10804v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/thbpzfrbqzfmjfcudggmttm4ma">fatcat:thbpzfrbqzfmjfcudggmttm4ma</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200924022017/https://arxiv.org/pdf/1807.10804v1.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/55/01/55016fffa52f82d6a5a6eb02583daa496ddc65da.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1807.10804v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Fine-Tuning Data Structures for Analytical Query Processing [article]

Amir Shaikhha, Marios Kelepeshis, Mahdi Ghorbani
<span title="2021-12-24">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
The program cost model is inferred using static program analysis. Our experimental results show the effectiveness of the trained cost model on micro benchmarks.  ...  This language is designed around the notion of dictionaries, and allows for a more fine-grained choice of its low-level implementation.  ...  Building efficient query engines in a high-level language. ACM Transactions on Database Systems, 43(1):4:1–4:45, Apr. 2018. [75] A. Shaikhha, Y. Klonatos, L. Parreaux, L. Brown, M.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2112.13099v1">arXiv:2112.13099v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nsusnsmfmjburlisefcbzp6ooy">fatcat:nsusnsmfmjburlisefcbzp6ooy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220106030003/https://arxiv.org/pdf/2112.13099v1.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/fc/d1/fcd167bb8f2ee8119f052da3afb835dcbd7ea389.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2112.13099v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Searching for More Efficient Dynamic Programs [article]

Tim Vieira and Ryan Cotterell and Jason Eisner
<span title="2021-09-14">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Algorithms for such problems often employ dynamic programming and are not always unique. Finding one with optimal asymptotic runtime can be unintuitive, time-consuming, and error-prone.  ...  To this end, we describe a set of program transformations, a simple metric for assessing the efficiency of a transformed program, and a heuristic search procedure to improve this metric.  ...  Acknowledgments We wish to thank Matthew Francis-Landau, Ran Zmigrod, and the anonymous reviewers for their helpful suggestions that improved this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2109.06966v1">arXiv:2109.06966v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2tvbbntgnrgxlaixayqpjjbosa">fatcat:2tvbbntgnrgxlaixayqpjjbosa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210918090747/https://arxiv.org/pdf/2109.06966v1.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/bc/5e/bc5e4b9fb3a40057df4994354a403202218d53a6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2109.06966v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

History of Science and Technology

<span title="">1991</span> <i title="SAGE Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wyq3uuckpjcgxaprs6xhksuxbe" style="color: black;">Bulletin of Science, Technology &amp; Society</a> </i> &nbsp;
Leino, Greg Nelson, "Data Abstraction and Information Hiding," Transactions on Programming Languages and Systems(TOPLAS) 24, no. 5 (2001).347 Jones, "The Early Search," 19.  ...  Hopkins, "A Case for the GOTO," in ACM '72: Proceedings of the ACM Annual Conference -Volume 2, (New York: ACM, 1972), 787-790.  ...  Appendix Two Original Research Below is pseudo code for a flight search program, first in the style of structured programming and then in the style of ad hoc coding of the 1960s.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1177/027046769101100610">doi:10.1177/027046769101100610</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xac6li3shraexpvdhi66lwu22u">fatcat:xac6li3shraexpvdhi66lwu22u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170817194002/https://conservancy.umn.edu/bitstream/handle/11299/121801/Zepcevski_umn_0130E_12559.pdf?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/e6/80/e680a61ea959d48d5763aba8fbbf63925a72480f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1177/027046769101100610"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> sagepub.com </button> </a>

VBR: Version Based Reclamation [article]

Gali Sheffi, Maurice Herlihy, Erez Petrank
<span title="2021-07-29">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Speculative execution is known as a fundamental tool for improving performance in various areas of computer science, and indeed evaluation with a lock-free linked-list, hash-table and skip-list shows that  ...  Existing solutions follow three basic methods (or their combinations): epoch based reclamation, hazard pointers, and optimistic reclamation.  ...  ACM Transactions on Programming Languages and Systems (TOPLAS), 12(3):463-492, 1990.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2107.13843v1">arXiv:2107.13843v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hjxcbqqgprc3pnevzvuqvbuc5a">fatcat:hjxcbqqgprc3pnevzvuqvbuc5a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210818161032/https://arxiv.org/pdf/2107.13843v1.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/ab/9b/ab9b580a772a0059651b9adfc5434a9f21a696d2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2107.13843v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Formal Certification Methods for Automated Vehicle Safety Assessment [article]

Tong Zhao, Ekim Yurtsever, Joel Paulson, Giorgio Rizzoni
<span title="2022-03-03">2022</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
evolution of the system to provide guarantees.  ...  Challenges related to automated driving are no longer focused on just the construction of such automated vehicles (AVs), but in assuring the safety of their operation.  ...  Long, “Model checking and get-california-dmv-approval-to-run-driverless-cars.html. abstraction,” ACM transactions on Programming Languages and Systems [42] M.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2202.02818v2">arXiv:2202.02818v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/spgyrglbwjhshl2n43kyx722fa">fatcat:spgyrglbwjhshl2n43kyx722fa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220209130235/https://arxiv.org/pdf/2202.02818v1.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> <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/92/f9/92f9c6b2aa30125e662fa3d51b49b548a3e0c66f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2202.02818v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Measuring Researcher-Production in Information Systems

Cecil Chua, Lan Cao, Karlene Cousins, Detmar Straub
<span title="">2002</span> <i title="Association for Information Systems"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zi576ij4kzbizn6deimehswscu" style="color: black;">Journal of the AIS</a> </i> &nbsp;
Changing the evaluation procedure has a significant impact on measures of typical and prolific IS researchers.  ...  The study demonstrates that many journals perceived to be of high quality by IS researchers are not specifically targeted to information systems.  ...  ACKNOWLEDGEMENTS The authors would like to acknowledge helpful insights from David Gefen, Jonny Holmstrom, the Associate Editor, and three anonymous reviewers.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.17705/1jais.00026">doi:10.17705/1jais.00026</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kpixts7vtnbmlcg7krmhjchvbq">fatcat:kpixts7vtnbmlcg7krmhjchvbq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719081740/http://aisel.aisnet.org/cgi/viewcontent.cgi?article=1201&amp;context=jais" 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/1a/3d/1a3d08fb645d3ee9c09bead82469a52316a57ebe.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.17705/1jais.00026"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Algorithmic Verification of Procedural Programs in the Presence of Code Variability [chapter]

Siavash Soleimanifard, Dilian Gurov
<span title="">2015</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
implementation of cvpp and ProMoVer, and to Stefan Schwoon for adapting the input language of Moped to our needs.  ...  Acknowledgments We are indebted to Wojciech Mostowski, Erik Poll and Roberto Guanciale for their help in finding suitable case studies, to Afshin Amighi and Pedro de Carvalho Gomes for helping with the  ...  ACM Trans- actions on Programming Languages and Systems (TOPLAS), 8(2):244-263, Apr. 1986. [32] E. M. Clarke, E. A. Emerson, and A. P. Sistla.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-15317-9_20">doi:10.1007/978-3-319-15317-9_20</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/beqsoxyqanczznzai56a2mzhh4">fatcat:beqsoxyqanczznzai56a2mzhh4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922025047/http://kth.diva-portal.org/smash/get/diva2:740903/FULLTEXT04" 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/a5/b2/a5b26ecc0f35e875153a910786fb7db67f7bdedd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-15317-9_20"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Algorithmic verification of procedural programs in the presence of code variability

Siavash Soleimanifard, Dilian Gurov
<span title="">2016</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hq6x4whtd5hhlhsxzculyeamey" style="color: black;">Science of Computer Programming</a> </i> &nbsp;
implementation of cvpp and ProMoVer, and to Stefan Schwoon for adapting the input language of Moped to our needs.  ...  Acknowledgments We are indebted to Wojciech Mostowski, Erik Poll and Roberto Guanciale for their help in finding suitable case studies, to Afshin Amighi and Pedro de Carvalho Gomes for helping with the  ...  ACM Trans- actions on Programming Languages and Systems (TOPLAS), 8(2):244-263, Apr. 1986. [32] E. M. Clarke, E. A. Emerson, and A. P. Sistla.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.scico.2015.08.010">doi:10.1016/j.scico.2015.08.010</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c7nrpyz65nfkjo4drugtsxrhja">fatcat:c7nrpyz65nfkjo4drugtsxrhja</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922025047/http://kth.diva-portal.org/smash/get/diva2:740903/FULLTEXT04" 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/a5/b2/a5b26ecc0f35e875153a910786fb7db67f7bdedd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.scico.2015.08.010"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Data Provenance

Peter Buneman, Wang-Chiew Tan
<span title="2019-02-27">2019</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/svqjiw2cwzftpcod3duuxcbveu" style="color: black;">SIGMOD record</a> </i> &nbsp;
We used CPR to make two systems durable: (1) a custom in-memory transactional database; and (2) FASTER, our state-of-theart, scalable, larger-than-memory key-value store.  ...  We implement these formalisms in a prototype called Lucy and find that our decision procedures efficiently handle common real-world workloads including foreign keys, escrow transactions, and more.  ...  We thank the members of UC San Diego's Database Lab for their feedback on this work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3316416.3316418">doi:10.1145/3316416.3316418</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/u4lmbha4fjgajlc46r66ryh7vi">fatcat:u4lmbha4fjgajlc46r66ryh7vi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201107023159/https://sigmodrecord.org/publications/sigmodRecord/2003/pdfs/full-issue.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/74/92/749210ba24f6d7cba19aaa5667489a86739bc331.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3316416.3316418"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

On Generalized Records and Spatial Conjunction in Role Logic [article]

Viktor Kuncak, Martin Rinard
<span title="2004-08-05">2004</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
The resulting logic smoothly integrates type system and predicate calculus notation and can be viewed as a natural generalization of the notation for constraints arising in role analysis and similar shape  ...  Moreover, we show how to eliminate the spatial conjunction of formulas of quantifier depth one in first-order logic with counting.  ...  We thank the participants of the Dagstuhl Seminar 03101 "Reasoning about Shape" for useful discussions on separation logic and shape analysis.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0408019v1">arXiv:cs/0408019v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/35frpz2byjafvk463g62lr5ds4">fatcat:35frpz2byjafvk463g62lr5ds4</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-cs0408019/cs0408019.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> File Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/99/3c/993cadb41f0f2ab4f0c01c0d99ebd527432ccfba.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0408019v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Generalized Records and Spatial Conjunction in Role Logic [chapter]

Viktor Kuncak, Martin Rinard
<span title="">2004</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;
The resulting logic smoothly integrates type system and predicate calculus notation and can be viewed as a natural generalization of the notation for constraints arising in role analysis and similar shape  ...  Moreover, we show how to eliminate the spatial conjunction of formulas of quantifier depth one in first-order logic with counting.  ...  We thank the participants of the Dagstuhl Seminar 03101 "Reasoning about Shape" for useful discussions on separation logic and shape analysis.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-27864-1_26">doi:10.1007/978-3-540-27864-1_26</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4ijgda5y4bcs7pbceyjm5gsaxy">fatcat:4ijgda5y4bcs7pbceyjm5gsaxy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170818121911/https://infoscience.epfl.ch/record/110226/files/KuncakRinard04OnRecordsSpatialConjunctionRoleLogic.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/20/a7/20a7379a85536a4f6d8a33819770d3d01bd614e7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-27864-1_26"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Determining r- and (r,s)-Robustness of Digraphs Using Mixed Integer Linear Programming [article]

James Usevitch, Dimitra Panagou
<span title="2019-08-13">2019</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Mixed integer programming algorithms such as branch-and-bound are used to iteratively tighten the lower and upper bounds on r and s.  ...  There has been an increase in the use of resilient control algorithms based on the graph theoretic properties of r- and (r,s)-robustness.  ...  ACM Transactions on Programming Languages and Systems (TOPLAS), 4(3):382-401, 1982.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1901.11000v2">arXiv:1901.11000v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wbmk2wii25gqtkokcuv3bym2cq">fatcat:wbmk2wii25gqtkokcuv3bym2cq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200930173438/https://arxiv.org/pdf/1901.11000v2.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/02/42/0242505eaa75a93106d3bad12498918eb110f265.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1901.11000v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 42 results