Filters








8,292 Hits in 4.9 sec

Interprocedural Shape Analysis with Separated Heap Abstractions [chapter]

Alexey Gotsman, Josh Berdine, Byron Cook
<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;
We describe an interprocedural shape analysis that makes use of spatial locality (i.e. the fact that most procedures modify only a small subset of the heap) in its representation of abstract states.  ...  Computing the effect of procedure calls and returns on an abstract state is easy because the representation exhibits spatial locality mirroring the locality that is present in the concrete semantics.  ...  The authors would also like to thank Noam Rinetzky for providing the test programs used in [15] and the anonymous reviewers for useful suggestions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11823230_16">doi:10.1007/11823230_16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jo6ybevimbdkdagtheok5ig7wq">fatcat:jo6ybevimbdkdagtheok5ig7wq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810152130/http://www.rw.cdl.uni-saarland.de/teaching/msa07/papers/interproceduralShapeAnalysis.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/47/76/47766fe0dd7fa54b2f4c37b0c11900c8ec3f2e36.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11823230_16"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Djess A Knowledge-Sharing Middleware To Deploy Distributed Inference Systems

Federico Cabitza, Bernardo Dal Seno
<span title="2007-04-24">2007</span> <i title="Zenodo"> Zenodo </i> &nbsp;
In this paper DJess is presented, a novel distributed production system that provides an infrastructure for factual and procedural knowledge sharing.  ...  DJess is a Java package that provides programmers with a lightweight middleware by which inference systems implemented in Jess and running on different nodes of a network can communicate.  ...  So in DJess, when a set method of a proxy is called in response to a modify, no proxy internal variable is updated; the method just calls the corresponding ghost fact set method.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.1070436">doi:10.5281/zenodo.1070436</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fysh6yicxvg25j2445cmxpmamy">fatcat:fysh6yicxvg25j2445cmxpmamy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201226223912/https://zenodo.org/record/1070437/files/8194.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/43/a4/43a45d623987fa72495baa8745a156b1c8ae779a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.1070436"> <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>

Titanium Performance and Potential: An NPB Experimental Study [chapter]

Kaushik Datta, Dan Bonachea, Katherine Yelick
<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;
We present an overview of the language features and demonstrate their use in the context of the NAS Parallel Benchmarks, a standard suite of common scientific kernels.  ...  Moreover, we have found that the Titanium implementations of three of the NAS Parallel Benchmarks can match or even exceed the performance of the standard Fortran/MPI implementations at realistic problem  ...  All of these features help raise the level of abstraction when compared to most serial languages commonly used in parallel computing.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-69330-7_14">doi:10.1007/978-3-540-69330-7_14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zwatvttukjcu7csidw3qa2rlzu">fatcat:zwatvttukjcu7csidw3qa2rlzu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060916181439/http://www.cs.berkeley.edu/~kdatta/papers/lcpc05_paper_proceedings.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/9d/99/9d99764cd9a71be0a8c9202aa472d26460d780bc.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-69330-7_14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Evaluation of PGAS Communication Paradigms with Geometric Multigrid

Hongzhang Shan, Amir Kamil, Samuel Williams, Yili Zheng, Katherine Yelick
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qbxod4os6bedxcfksuorov2poy" style="color: black;">Proceedings of the 8th International Conference on Partitioned Global Address Space Programming Models - PGAS &#39;14</a> </i> &nbsp;
We use UPC++, a PGAS extension of C++, as the vehicle for our evaluation, though our work is applicable to any of the existing PGAS languages and models.  ...  In this paper, we evaluate three different one-sided communication paradigms in the context of geometric multigrid using the miniGMG benchmark.  ...  Shared Objects UPC++ has two categories of shared objects: singlelocation shared variables (shared_var) and block-cyclically Figure 3 : Communication styles explored in this paper: (a) point-to-point  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2676870.2676874">doi:10.1145/2676870.2676874</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pgas/ShanKWZY14.html">dblp:conf/pgas/ShanKWZY14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wmszvqh4ojcsnaqvywcu6w5dlm">fatcat:wmszvqh4ojcsnaqvywcu6w5dlm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809154456/http://web.eecs.umich.edu/~akamil/papers/pgas14.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/d2/b4/d2b45b73bb3c906f176a9a9f88694d1064554fb5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2676870.2676874"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Constraint Semantics for Abstract Read Permissions

John Tang Boyland, Peter Müller, Malte Schwerhoff, Alexander J. Summers
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qnp47ut6vrdjjmiy7zdltauwje" style="color: black;">Proceedings of 16th Workshop on Formal Techniques for Java-like Programs - FTfJP&#39;14</a> </i> &nbsp;
In this paper we extend our previous work on abstract read permissions by providing them with a novel constraint semantics, which retains the use of the domain of rational numbers but enables unbounded  ...  The concept of controlling access to mutable shared data via permissions is at the heart of permission logics such as separation logic and implicit dynamic frames, and is also used in type systems, for  ...  Abstract Read Permissions in Chalice Chalice implements our previous model of abstract read permissions [5] . This model is a special case of the model presented in this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2635631.2635847">doi:10.1145/2635631.2635847</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ecoop/Boyland0SS14.html">dblp:conf/ecoop/Boyland0SS14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/f3afmgrqqrhthej7ijoq46u4iu">fatcat:f3afmgrqqrhthej7ijoq46u4iu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811184529/http://people.inf.ethz.ch/summersa/wiki/lib/exe/fetch.php?media=papers:constraints.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/f3/05/f305429b09437eeed1c80940f10ec29b3bcde33c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2635631.2635847"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Program Analysis for Overlaid Data Structures [chapter]

Oukseh Lee, Hongseok Yang, Rasmus Petersen
<span title="">2011</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;
We call a data structure overlaid, if a node in the structure includes links for multiple data structures and these links are intended to be used at the same time.  ...  In this paper, we present a static program analysis for overlaid data structures. Our analysis implements two main ideas.  ...  Formally, our domain is parameterized by a finite collection F = {F i } 1≤i≤n of sets of fields and primitive predicates p.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-22110-1_48">doi:10.1007/978-3-642-22110-1_48</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qiykh3p2pzdypmwkxbtczppddq">fatcat:qiykh3p2pzdypmwkxbtczppddq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170813033338/http://www.cs.ox.ac.uk/files/4075/cav11.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/a5/e9/a5e987aa0c42b493398bde35d6ac54a51666033c.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-22110-1_48"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Linear maps

Shuvendu K. Lahiri, Shaz Qadeer, David Walker
<span title="">2011</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/et4bvsk4dndlrftj3ooldawbfi" style="color: black;">Proceedings of the 5th ACM workshop on Programming languages meets program verification - PLPV &#39;11</a> </i> &nbsp;
In this paper, we take the approach of modeling the heap as a collection of partial functions with disjoint domains. We call each such partial function a linear map.  ...  The program logic prevents any of these operations from duplicating locations and thereby breaking the key heap representation invariant: the domains of all linear maps remain disjoint.  ...  The linear in linear maps is a reminder of these shared principles.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1929529.1929531">doi:10.1145/1929529.1929531</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/plpv/LahiriQW11.html">dblp:conf/plpv/LahiriQW11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7bxnxoxq55ftxjl6okglu6lhf4">fatcat:7bxnxoxq55ftxjl6okglu6lhf4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190216064808/https://static.aminer.org/pdf/20170130/pdfs/popl/dvufarbmzkzp4ccujxbfigysgs1klntw.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/cb/5f/cb5fcd5c9667b88f43f414db34478552bccd0da5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1929529.1929531"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Stigmergic Modeling of Hierarchical Task Networks [chapter]

H. Van Dyke Parunak, Theodore Belding, Robert Bisson, Sven Brueckner, Elizabeth Downs, Rainer Hilscher, Keith S. Decker
<span title="">2010</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;
We show how stigmergic agents can plan over a hierarchical task network, a resource-oriented dialect of the TAEMS language. Our results reveal an important distinction among HTN's.  ...  Stigmergy, usually used on simple problems, can be applied to more complex ones by encoding them in the agents' environment.  ...  . • A representation must contain locations that are shared among multiple agents in order to support stigmergic interaction, leading to the rTAEMS bipartite graph. • Though shared nodes (in this case,  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-13553-8_9">doi:10.1007/978-3-642-13553-8_9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zay4ravou5girmrol4qcwf4pci">fatcat:zay4ravou5girmrol4qcwf4pci</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812223321/http://www.ifaamas.org/Proceedings/aamas09/pdf/02_Extended_Abstract/C_SP_0167.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/1f/88/1f88afd83d07304bd09fad6d69e2c0b8b0dc4a63.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-13553-8_9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Conceptual metaphors and embodied cognition: EEG coherence reveals brain activity differences between primary and complex conceptual metaphors during comprehension

Christian Michel Lachaud
<span title="">2013</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jjfhqw6varc6ffsrbynlhxqpni" style="color: black;">Cognitive Systems Research</a> </i> &nbsp;
We formalized an algorithm of conceptual metaphor processing for the purpose of hypothesis testing, before collecting EEG data from 50 normal adults, looking for condition-specific EEG coherence patterns  ...  However, they also support alternative conceptions regarding the algorithm and nature of complex metaphors, developed and discussed in this article.  ...  The notions of "progression" (ghost domain) and "trajectory = launch + direction" (carrier domain) both share the notion of "motion" (common domain) instead of "movement."  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.cogsys.2012.08.003">doi:10.1016/j.cogsys.2012.08.003</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wktgbvfxbvejxcwl4yhq32ulaq">fatcat:wktgbvfxbvejxcwl4yhq32ulaq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180725025417/https://hal.archives-ouvertes.fr/hal-00605894/file/Article2010-versionHAL.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/04/9f/049fa5310013492919fab85a0149fc5ce90de400.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.cogsys.2012.08.003"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

A divide-and-conquer approach for analysing overlaid data structures

Oukseh Lee, Hongseok Yang, Rasmus Petersen
<span title="2012-04-12">2012</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/fyhr5xuigbfmdabfoqp2f7lbum" style="color: black;">Formal methods in system design</a> </i> &nbsp;
These overlaid data structures are frequently used in systems code, in order to impose multiple types of indexing structures over the same set of nodes. Our analysis implements two main ideas.  ...  We present a static program analysis for overlaid data structures such that a node in the structure includes links for multiple data structures and these links are intended to be used at the same time.  ...  Formally, our domain is parametrised by a finite collection F = {F i } 1≤i≤n of sets of fields and primitive predicates p.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10703-012-0151-7">doi:10.1007/s10703-012-0151-7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/enpxjqyvwrgkxmrfkom2qw7a5u">fatcat:enpxjqyvwrgkxmrfkom2qw7a5u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200320163728/http://www.cs.ox.ac.uk/people/hongseok.yang/paper/fmsd12.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/d6/a1/d6a13e60409d64f3a912b38124e89110c65433a1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10703-012-0151-7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

ParFUM: a parallel framework for unstructured meshes for scalable dynamic physics applications

Orion S. Lawlor, Sayantan Chakravorty, Terry L. Wilmarth, Nilesh Choudhury, Isaac Dooley, Gengbin Zheng, Laxmikant V. Kalé
<span title="2006-09-16">2006</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ymqgj2vst5dkta5iksg3negvmi" style="color: black;">Engineering with Computers</a> </i> &nbsp;
Unstructured meshes are used in many engineering applications with irregular domains, from elastic deformation problems to crack propagation to fluid flow.  ...  Because of their complexity and dynamic behavior, the development of scalable parallel software for these applications is challenging.  ...  Acknowledgments The authors wish to thank Milind Bhandarkar, the developer of ParFUM's predecessor, the Charm++ FEM Framework.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00366-006-0039-5">doi:10.1007/s00366-006-0039-5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qm2vq7rl3vh4vj7ayu2ggpowx4">fatcat:qm2vq7rl3vh4vj7ayu2ggpowx4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070418032754/http://charm.cs.uiuc.edu/papers/femINTL05.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/0f/4d/0f4d2829fff7752f1741f828c5b0758c90f292e2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00366-006-0039-5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Parallel Languages and Compilers: Perspective From the Titanium Experience

K. Yelick, P. Hilfinger, S. Graham, D. Bonachea, J. Su, A. Kamil, K. Datta, P. Colella, T. Wen
<span title="">2007</span> <i title="SAGE Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/prmoui3bz5a2jktzh4pt7dtery" style="color: black;">The international journal of high performance computing applications</a> </i> &nbsp;
We describe the rationale behind the design of key features of Titanium-an explicitly parallel dialect of Java TM for high-performance scientific programming-and our experiences in building applications  ...  We provide an overview of the Titanium compiler implementation, covering various parallel analyses and optimizations, Titanium runtime technology and the GASNet network communication layer.  ...  address space model and to the powerful array and domain-calculus abstractions, which move software complexity into the language runtime where it can be reused across application domains.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1177/1094342007078449">doi:10.1177/1094342007078449</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/y52hkslgw5fbtjiyb3viwy3quq">fatcat:y52hkslgw5fbtjiyb3viwy3quq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706130927/http://web.eecs.umich.edu/~akamil/papers/IJHPCA.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/5a/d0/5ad0ebadb7cd8b2265bba14d41c533d96c8f23c2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1177/1094342007078449"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> sagepub.com </button> </a>

Stochastic model of glycine transporter and its application to amino acid transport in mammalian neurons

Zaytsev Kirill, Boronovskiy Stanislav, Nartsissov Yaroslav
<span title="">2014</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/s7j4gsfdrzgo3mspdvmzrosp74" style="color: black;">Biochimica et Biophysica Acta - Bioenergetics</a> </i> &nbsp;
Glycine transporter type 2 (GlyT2) presented in the presynaptic membrane is a member of Na + /Cl − -dependent transport proteins family, which share a common structure with 12 transmembrane domains.  ...  We have studied influence of venom on the erythrocyte ghosts by fluorescent microscopy. Images were collected on an epi-fluorescent microscope FM320-5M (AmScope, USA).  ...  Glycine transporter type 2 (GlyT2) presented in the presynaptic membrane is a member of Na + /Cl − -dependent transport proteins family, which share a common structure with 12 transmembrane domains.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.bbabio.2014.05.262">doi:10.1016/j.bbabio.2014.05.262</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5rym3hoz5rbpzkynihy45ztpia">fatcat:5rym3hoz5rbpzkynihy45ztpia</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190418100017/https://core.ac.uk/download/pdf/81961713.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/e6/72/e672960766508947c4b19bed2cdc4f3390edf5c9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.bbabio.2014.05.262"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Do native and mutated forms of huntingtin distinguish human VDAC isoforms?

Andonis Karachitos, Olgierd Stobienia, Krzysztof Sobczak, Vito De Pinto, Hanna Kmita
<span title="">2014</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/s7j4gsfdrzgo3mspdvmzrosp74" style="color: black;">Biochimica et Biophysica Acta - Bioenergetics</a> </i> &nbsp;
Glycine transporter type 2 (GlyT2) presented in the presynaptic membrane is a member of Na + /Cl − -dependent transport proteins family, which share a common structure with 12 transmembrane domains.  ...  We have studied influence of venom on the erythrocyte ghosts by fluorescent microscopy. Images were collected on an epi-fluorescent microscope FM320-5M (AmScope, USA).  ...  Glycine transporter type 2 (GlyT2) presented in the presynaptic membrane is a member of Na + /Cl − -dependent transport proteins family, which share a common structure with 12 transmembrane domains.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.bbabio.2014.05.261">doi:10.1016/j.bbabio.2014.05.261</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qqij5feewvgjtegucxn72inhs4">fatcat:qqij5feewvgjtegucxn72inhs4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170924041748/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/0db/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMDAwNTI3MjgxNDAwMzg3OQ%3D%3D.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/05/4f/054fecf2e4187ba68d11c64dd9847c520dd80ab7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.bbabio.2014.05.261"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

CaKernel – A Parallel Application Programming Framework for Heterogenous Computing Architectures

Marek Blazewicz, Steven R. Brandt, Michal Kierzynka, Krzysztof Kurowski, Bogdan Ludwiczak, Jian Tao, Jan Weglarz
<span title="">2011</span> <i title="Hindawi Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/fw4azkpu65d2thmrwfkoawyxse" style="color: black;">Scientific Programming</a> </i> &nbsp;
Stencil computations have become crucial in solving many challenging problems in various domains, e.g., engineering or physics.  ...  As a non-trivial test case we have developed a 3D CFD code to demonstrate the performance and scalability of the automatically generated code.  ...  This research was supported in part by PL-Grid Infrastructure.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2011/457030">doi:10.1155/2011/457030</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yplw767puvhuhgnsabox6u7kpa">fatcat:yplw767puvhuhgnsabox6u7kpa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200216214559/http://downloads.hindawi.com/journals/sp/2011/457030.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/2b/bf/2bbfd32768665bba9b1a51801bbe5123c1c51010.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2011/457030"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> hindawi.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 8,292 results