Filters








12 Hits in 6.0 sec

Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists [article]

Pranav Garg and P. Madhusudan and Gennaro Parlato
<span title="2013-04-02">2013</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
The abstract domain uses a particular kind of automata, called quantified data automata on skinny trees (QSDAs), that allows to define universally quantified properties of singly-linked lists.  ...  We propose a new approach to heap analysis through an abstract domain of automata, called automatic shapes.  ...  QSDAs as an Abstract Domain In the previous section we introduced quantified skinny-tree data automata as an automaton model for expressing universally quantified properties over heap skinny-trees.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1304.0660v1">arXiv:1304.0660v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hn3iowewmnfnna6juqmo23uzke">fatcat:hn3iowewmnfnna6juqmo23uzke</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-1304.0660/1304.0660.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] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1304.0660v1" 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>

Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists [chapter]

Pranav Garg, P. Madhusudan, Gennaro Parlato
<span title="">2013</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;
Automatic shapes are modeled after a particular version of quantified data automata on skinny trees (QSDAs), that allows to define universally quantified properties of programs manipulating acyclic heaps  ...  We propose a new approach to heap analysis through an abstract domain of automata, called automatic shapes.  ...  Quantified Skinny-Tree Data Automata In this section we define quantified skinny-tree data automata (QSDAs, for short), an accepting mechanism of program configurations (represented as special labeled  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-38856-9_11">doi:10.1007/978-3-642-38856-9_11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nx4ar5kcmrdbngk4upxtumjaoq">fatcat:nx4ar5kcmrdbngk4upxtumjaoq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171117101429/https://core.ac.uk/download/pdf/29035475.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/1d/4c/1d4c685a6cf34cd131aa8d1e0b2a278bddd199be.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-642-38856-9_11"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Mosel: A flexible toolset for monadic second-order logic [chapter]

Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger
<span title="">1997</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;
support must be granted in an increasingly flexible, application-specific, and user-friendly way.  ...  84 tool-set, which, in its complete realization, will include a flexible set of decision procedures for several theories of the logic (e.g., finite and infinite strings, and trees) complemented by a variety  ...  Abstract syntax tree and automata are implemented as C++ classes, each construct's specific compilation is implemented as a method of the abstract syntax tree class and the resulting automaton is an object  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0035388">doi:10.1007/bfb0035388</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/negr5oz64vfkdknlmxdk7mzktm">fatcat:negr5oz64vfkdknlmxdk7mzktm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180729065140/https://link.springer.com/content/pdf/10.1007%2FBFb0035388.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/4d/4a/4d4ae296b1c96592a5a327a3659ac0728a549e0a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0035388"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Lonestar: A suite of parallel irregular programs

Milind Kulkarni, Martin Burtscher, Calin Cascaval, Keshav Pingali
<span title="">2009</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/klj774afczhfrbcdddkg3ve4wi" style="color: black;">2009 IEEE International Symposium on Performance Analysis of Systems and Software</a> </i> &nbsp;
Until recently, parallel programming has largely focused on the exploitation of data-parallelism in dense matrix programs.  ...  In this paper, we characterize the first five programs from this suite, which target domains like data mining, survey propagation, and design automation.  ...  They use a variety of dynamic data structures such as lists, trees and graphs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ispass.2009.4919639">doi:10.1109/ispass.2009.4919639</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ispass/KulkarniBCP09.html">dblp:conf/ispass/KulkarniBCP09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/y27s645zdzftxdqap4nmbu5efi">fatcat:y27s645zdzftxdqap4nmbu5efi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120612031826/http://iss.ices.utexas.edu/Publications/Papers/ispass2009.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/df/8b/df8b50298df90d08f376467159abc519d69e9164.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ispass.2009.4919639"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Fundamental CAD algorithms

M.A. Breuer, M. Sarrafzadeh, F. Somenzi
<span title="">2000</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 this paper, we focus on several of the fundamental CAD abstractions, models, concepts and algorithms that have had a significant impact on this field.  ...  These algorithms are responsible for the effectiveness and efficiency of a variety of CAD tools. Furthermore, a number of these algorithms have found applications in many other domains.  ...  A data structure is a way of organizing information; sometimes the design of an appropriate data structure can be the foundation for an efficient algorithm.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/43.898826">doi:10.1109/43.898826</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jwvmbqh4nrbzloxpiacb7j2pse">fatcat:jwvmbqh4nrbzloxpiacb7j2pse</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809012026/http://janders.eecg.toronto.edu/1387/readings/breuer.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/6e/59/6e597b2bc97e679d67099b084707c843f57f18fa.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/43.898826"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Subject Index to Volumes 1–75

<span title="">2001</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5xfy4fcdxvcvdiybp6iqbffqc4" style="color: black;">Information Processing Letters</a> </i> &nbsp;
trees, 3992 skip list data structure, 2230 lists, 2230 Sklansky, 380, 512 Skolem functions, 2672 term, 1480 Skolemization, 1670 Skordev, 535 language, 535 skyline problem, 1992 Skyum and Valiant  ...  0-1 resources, 648 list searching, 823, 2971 algorithm, 823 list structure, 384 marking algorithm, 72 representation, 242 list structured data, 72 structures, 72, 114, 312, 896 list update, 2946  ...  rank, 252, 623, 694, 1269 , 1610 , 1869 , 1924 , 2224 , 2596 , 2825 , 3641 decision problem, 694 rank of a matrix, 3196 order n matrices, 623 tensors, 719 the adjacency matrix of a line graph, 252 rank one  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0020-0190(01)00175-2">doi:10.1016/s0020-0190(01)00175-2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5y67tfm6yfbblakrus5nnhs73e">fatcat:5y67tfm6yfbblakrus5nnhs73e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050503052345/http://www.ii.uni.wroc.pl:80/~lorys/IPL/articlesubjindex.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] </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0020-0190(01)00175-2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Atomic Transfer for Distributed Systems

Haraldur Darri Thorvaldsson
<span title="">2009</span>
We present a trie-based data structure for accelerating conflict-checking on switches, with benchmarks suggesting the feasibility of our approach from a performance standpoint. iii  ...  We give detailed I/O Automata models of our algorithms along with correctness proofs.  ...  On the other hand, availability of a good set of basic abstractions such as numbers, strings, lists, maps, queues, sets, objects and trees, for example, could facilitate interoperability between atomic  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7936/k71r6q3f">doi:10.7936/k71r6q3f</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ye32rxnl3zcqjg4vclgc4s3dpm">fatcat:ye32rxnl3zcqjg4vclgc4s3dpm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180925062255/https://openscholarship.wustl.edu/cgi/viewcontent.cgi?article=1392&amp;context=eng_etds" 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/0b/01/0b01fb2fa30436956ac7dee14a15155d4ab33375.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7936/k71r6q3f"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

DISSERTATION DETECTION OF LINEAR ALGEBRA OPERATIONS IN POLYHEDRAL PROGRAMS Submitted by

Guillaume Iooss, Alain Darte, Philippe Clauss, Sriram Sankaranarayanan, Stephan Thomassé, Hamid Chitsaz, Jennifer Mueller
<span title="">2016</span> <span class="release-stage">unpublished</span>
I was particularly impressed by the depth of comprehension their questions shown, even on topics outside of their usual domain.  ...  This is an improvement compared to the previous work on tiling, that forced us to choose between these two properties.  ...  on Abstract Syntax Tree [12, 38, 54] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rtaojqme3vca7bp6pqeqvl5cxq">fatcat:rtaojqme3vca7bp6pqeqvl5cxq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180502000826/https://dspace.library.colostate.edu/bitstream/handle/10217/178818/Iooss_colostate_0053A_13848.pdf;jsessionid=node01f73xtisnc7gi1cb7n3v5anbsi580265.node0?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/26/4f/264f7f511baed8588e63417c3f8a1fa2543a0985.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

A Computer Model of Creativity Based on Perceptual Activity Theory

Peter J Blain, University, My, Terry Dartnall
<span title="2018-01-23">2018</span>
The computer model operates in the Letter Spirit domain, which is a framework for creating stylistic variations on the lowercase letters of the Roman alphabet.  ...  PABLO is unlike other computer models of perception and mental imagery because it does not use data-structures to represent percepts and mental images.  ...  Successful links are put on a list for promotion, while failed attempts are put on a list for demotion.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.25904/1912/134">doi:10.25904/1912/134</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/migyrv4x7rcx3bpj4hcqpgmose">fatcat:migyrv4x7rcx3bpj4hcqpgmose</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200815060522/https://research-repository.griffith.edu.au/bitstream/handle/10072/366782/02Whole.pdf;jsessionid=38A91B3618D47DD207CD801B910DEC18?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/6f/25/6f251452bb47fbf4b444d434afba300928f746c1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.25904/1912/134"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Recommended Citation Sohval, Daniel

Daniel Sohval
<span title="">2013</span> <span class="release-stage">unpublished</span>
A few have those new inkings, based on the epidermis of deep-sea cephalopods, which change shape with movement.  ...  Below the headline was an abstract and several charts of data, which Isa did not have the time to read. "Hard numbers will take time to crunch through," said Tak.  ...  Well it's an automata of course. An assemblage of state machines. A network, not nec. neural. A complex system. Why are there so many names for the same shit?  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hqctrgrexfga7gbde277mlw6fy">fatcat:hqctrgrexfga7gbde277mlw6fy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180428152233/https://digitalwindow.vassar.edu/cgi/viewcontent.cgi?referer=&amp;httpsredir=1&amp;article=1208&amp;context=senior_capstone" 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/66/54/6654ac660bf4a6e80a3a6e45e0f9c7c4ce1f0314.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

The Child in Games: From the Meek, to the Mighty, to the Monstrous

Emma Reay, Apollo-University Of Cambridge Repository, Zoe Jaques
<span title="2022-03-09">2022</span>
I use statistical analysis to assemble data points as meaningful constellations.  ...  While content analysis is a useful tool for documenting the presence, absence, and dominant function of child-characters in games, close reading allows for a more intersectional approach that can attend  ...  In fact, for most of the game, Tove travels via a literalization of a family tree: after awakening the Mother Tree, Tove can commute through her rhizomes and emerge via the portals of her tree-children  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.17863/cam.82249">doi:10.17863/cam.82249</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ycxl2v2lhjc7jjoofpjyuotvpi">fatcat:ycxl2v2lhjc7jjoofpjyuotvpi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220312115215/https://www.repository.cam.ac.uk/bitstream/handle/1810/334816/Reay%20PhD%20Thesis%20PDF.pdf;jsessionid=6966D0B3F55970A23504BBFB5E8927D1?sequence=2" 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/e1/52/e152c432873f94d6463d8916813e28be2016c29d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.17863/cam.82249"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Gone To The Dogs: Inter-Species Bonds And The Building Of Bio-Cultural Capital In America, 1835--Present

Merit Anglin
<span title="">2012</span>
the one hand, and openly selfish intra-species relations on the other, by separating dogmestic and domestic partners, the source and vehicle for power, through time, space, and, most recently, reconceptualized  ...  There is ever an Explanation at hand, and no such thing as a Talking Dog,-Talking Dogs belong with Dragons and Unicorns.  ...  cold morning" (beginning of the day) in the spring (beginning of the year), by the sweet scent of an Argus apple tree.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.21220/s2-hmrj-sk31">doi:10.21220/s2-hmrj-sk31</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/g3repf4dgjadxnxl4i6bks77qm">fatcat:g3repf4dgjadxnxl4i6bks77qm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220118173010/https://scholarworks.wm.edu/cgi/viewcontent.cgi?article=3390&amp;context=etd" 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/36/c1/36c1b59b89d595bb85da09c324ec1e7b1d2d5a51.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.21220/s2-hmrj-sk31"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>