Filters








20 Hits in 7.2 sec

BDDT: Block-Level Dynamic Dependence Analysis for Task-Based Parallelism [chapter]

George Tzenakis, Angelos Papatriantafyllou, Hans Vandierendonck, Polyvios Pratikakis, Dimitrios S. Nikolopoulos
<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;
BDDT uses a block-based dependence analysis with arbitrary granularity.  ...  We present BDDT, a task-parallel runtime system that dynamically discovers and resolves dependencies among parallel tasks.  ...  Dataflow Execution Engine Design BDDT uses a dataflow execution engine based on block-level dependence analysis for identifying parallel tasks.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-45293-2_2">doi:10.1007/978-3-642-45293-2_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lghmvli57rbyhcc42n4be6xhyy">fatcat:lghmvli57rbyhcc42n4be6xhyy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719231143/https://pure.qub.ac.uk/portal/files/11115219/bddt_camera_ready.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/f7/b0/f7b042540f4083e59c3b02490230312769e62de8.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-45293-2_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

BDDT:

George Tzenakis, Angelos Papatriantafyllou, John Kesapides, Polyvios Pratikakis, Hans Vandierendonck, Dimitrios S. Nikolopoulos
<span title="">2012</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/a3hx753rrfdorizx3a3ovuee4y" style="color: black;">Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming - PPoPP &#39;12</a> </i> &nbsp;
Dataflow Execution Engine Design BDDT uses a dataflow execution engine based on block-level dependence analysis for identifying parallel tasks.  ...  Implementation The BDDT block-level runtime system consists of a custom blockbased memory allocator; metadata structures for dependence analysis; and a task scheduler.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2145816.2145864">doi:10.1145/2145816.2145864</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ppopp/TzenakisPKPVN12.html">dblp:conf/ppopp/TzenakisPKPVN12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fldzraoepre3vbgejysoiyjwl4">fatcat:fldzraoepre3vbgejysoiyjwl4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190217055514/https://static.aminer.org/pdf/20170130/pdfs/ppopp/udmweugv6c31zhjjqalrxwol8f4sgxbc.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/6a/79/6a7970004648e20a30d3b5cdd5b95d79f208ce91.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2145816.2145864"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

BDDT-SCC: A Task-parallel Runtime for Non Cache-Coherent Multicores [article]

Alexandros Labrineas, Polyvios Pratikakis, Dimitrios S. Nikolopoulos, Angelos Bilas
<span title="2016-06-14">2016</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
The BDDT-SCC runtime includes a dynamic dependence analysis and automatic synchronization, and executes OpenMP-Ss tasks on a non cache-coherent architecture.  ...  This paper presents BDDT-SCC, a task-parallel runtime system for non cache-coherent multicore processors, implemented for the Intel Single-Chip Cloud Computer.  ...  To detect dependencies, BDDT-SCC performs block-level dependence analysis on the task arguments, similarly to BDDT.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1606.04288v1">arXiv:1606.04288v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wqwvdbgpg5gyteexhgqw5sjhzm">fatcat:wqwvdbgpg5gyteexhgqw5sjhzm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200911074234/https://arxiv.org/pdf/1606.04288v1.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/90/d9/90d9b63786de9bcf32ed24f439c0b86522f6c831.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1606.04288v1" 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>

Inference and Declaration of Independence in Task-Parallel Programs [chapter]

Foivos S. Zakkak, Dimitrios Chasapis, Polyvios Pratikakis, Angelos Bilas, Dimitrios S. Nikolopoulos
<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;
The inherent difficulty of thread-based shared-memory programming has recently motivated research in high-level, task-parallel programming models.  ...  We evaluate the resulting hybrid dependence analysis on a set of task-parallel programs.  ...  Task-based parallelism offers a higher level abstraction to the programmer, making it easier to express parallel computation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-45293-2_1">doi:10.1007/978-3-642-45293-2_1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/w5so2ucrybeetiga4xtjvhfcei">fatcat:w5so2ucrybeetiga4xtjvhfcei</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180722193911/https://pure.qub.ac.uk/portal/files/11115129/main.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/b0/a1/b0a16c60d226407a897b9c20a2e76a71dc8f2b8f.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-45293-2_1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Micro-checkpointing in fault tolerant runtimes

Pavlos Katsogridakis, Polyvios Pratikakis
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/x53imphnrjflrnceoffhfenvzi" style="color: black;">Proceedings of the 11th ACM Conference on Computing Frontiers - CF &#39;14</a> </i> &nbsp;
FT-BDDT extends the BDDT runtime system that implements the OMP-Ss dataflow programming model for spawning and scheduling parallel tasks, in which, similarly to OpenMP 4.0, a dynamic dependence analysis  ...  To handle transient faults in the runtime system, FT-BDDT uses fine-grain micro-checkpointing of the runtime state, so that a recovery is always possible at the level of rerunning a basic block of code  ...  FT-BDDT implements the BDDT dataflow programming model for spawning and scheduling parallel tasks, in which, similarly to OpenMP 4.0, a dynamic dependence analysis detects conflicting tasks and automatically  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2597917.2597926">doi:10.1145/2597917.2597926</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/cf/KatsogridakisP14.html">dblp:conf/cf/KatsogridakisP14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/e2oysr2xrnhcpptmrlw33ezacm">fatcat:e2oysr2xrnhcpptmrlw33ezacm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809001808/http://users.ics.forth.gr/~polyvios/cf2014.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/a6/80/a680f25f2f2ab77efd236ca3738f7b54efdf6c85.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2597917.2597926"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

TProf: An energy profiler for task-parallel programs

Ioannis Manousakis, Foivos S. Zakkak, Polyvios Pratikakis, Dimitrios S. Nikolopoulos
<span title="">2015</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ubljzy3hrvfs3lln4wifazkrs4" style="color: black;">Sustainable Computing: Informatics and Systems</a> </i> &nbsp;
We present TProf, an energy profiling tool for OpenMP-like task-parallel programs.  ...  To compute the energy consumed by each task in a parallel application, TProf dynamically traces the parallel execution and uses a novel technique to estimate the per-task energy consumption.  ...  We also would like to thank Manolis Katevenis, Manolis Marazakis and Angelos Bilas for their feedback in this work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.suscom.2014.07.004">doi:10.1016/j.suscom.2014.07.004</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/k35rlie2q5hd7aoyr6jkyex6hy">fatcat:k35rlie2q5hd7aoyr6jkyex6hy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180723151511/https://pure.qub.ac.uk/ws/files/17173511/tprof.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/70/ee/70ee0ae90fa0e2c3e2a307136787c257bf2b5e47.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.suscom.2014.07.004"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Scalable black-box prediction models for multi-dimensional adaptation on NUMA multi-cores

Aleksandr Khasymski, Dimitrios S. Nikolopoulos
<span title="2014-04-03">2014</span> <i title="Informa UK Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/u7grh3in55gwrjcxxsxko5kjp4" style="color: black;">International Journal of Parallel, Emergent and Distributed Systems</a> </i> &nbsp;
Research interests Parallel computing systems hardware-software boundary: Runtime systems, ubiquitous parallel programming models, memory management, energy-efficient parallel execution, operating systems  ...  Parallel computer architecture: chip multiprocessors, computational accelerators, heterogeneous computer architectures, emerging memory technologies, heterogeneous memory hierarchies.  ...  BDDT: Block-Level Dynamic Dependence Analysis for Deterministic Task-Based Parallelism. In: Proceedings of the 10th International Conference on Advanced Parallel Processing Technology (APPT).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/17445760.2014.895346">doi:10.1080/17445760.2014.895346</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/32mn2ijvbja5njdo43axnsjmjq">fatcat:32mn2ijvbja5njdo43axnsjmjq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140513181509/http://www.cs.qub.ac.uk:80/~D.Nikolopoulos/resources/cv.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/6a/7c/6a7c6a9e66a1dfbc2d25857b1c30020fc13fb90a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/17445760.2014.895346"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> tandfonline.com </button> </a>

Cache-oblivious wavefront: improving parallelism of recursive dynamic programming algorithms without losing cache-efficiency

Yuan Tang, Ronghui You, Haibin Kan, Jesmin Jahan Tithi, Pramod Ganapathi, Rezaul A. Chowdhury
<span title="">2015</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/a3hx753rrfdorizx3a3ovuee4y" style="color: black;">Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP 2015</a> </i> &nbsp;
State-of-the-art cache-oblivious parallel algorithms for dynamic programming (DP) problems usually guarantee asymptotically optimal cache performance without any tuning of cache parameters, but they often  ...  We removed the artificial dependency by scheduling tasks ready for execution as soon as all its real dependency constraints are satisfied, while preserving the cache-optimality by inheriting the DAC strategy  ...  Xiaoyang Wang at Fudan University for general help on research environment. We thank Prof. Charles E. Leiserson at MIT CSAIL for coining the name of "Cache-Oblivious Wavefront".  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2688500.2688514">doi:10.1145/2688500.2688514</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ppopp/TangYKTGC15.html">dblp:conf/ppopp/TangYKTGC15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/m3tfhg7cd5f7bpbv3kgglexi5i">fatcat:m3tfhg7cd5f7bpbv3kgglexi5i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190218120451/https://static.aminer.org/pdf/20170130/pdfs/ppopp/idvfejvtpfusm5h9o1aol0qrhkngrx2g.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/76/81/768141fc4da96c71e04103c6ccdd52169724ecbd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2688500.2688514"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Prefetching and cache management using task lifetimes

Vassilis Papaefstathiou, Manolis G.H. Katevenis, Dimitrios S. Nikolopoulos, Dionisios Pnevmatikatos
<span title="">2013</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/3sq4a52jknfqpfyjfszyrlkedm" style="color: black;">Proceedings of the 27th international ACM conference on International conference on supercomputing - ICS &#39;13</a> </i> &nbsp;
These programming models analyze dynamically task dependencies at runtime and schedule independent tasks concurrently to the processing elements.  ...  Task-based dataflow programming models and runtimes emerge as promising candidates for programming multicore and manycore architectures.  ...  It supports two-dimensional address ranges for declaring task footprints and uses a block-based approach with arbitrary granularity for dynamic dependence analysis [32] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2464996.2465443">doi:10.1145/2464996.2465443</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ics/PapaefstathiouKNP13.html">dblp:conf/ics/PapaefstathiouKNP13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5x2nmjxo4bgpdbtabu23wz3com">fatcat:5x2nmjxo4bgpdbtabu23wz3com</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719182453/https://pure.qub.ac.uk/ws/files/3687965/ics13_preprint.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/c6/2e/c62e32f68c6441a26c89b28a0f193cddd89df793.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2464996.2465443"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

ScrumOntoBDD: Agile software development based on scrum, ontologies and behaviour-driven development

Pedro Lopes de Souza, Wanderley Lopes de Souza, Luís Ferreira Pires
<span title="2021-06-13">2021</span> <i title="Springer Science and Business Media LLC"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vct5ya6gxbcelemee3tlxkwmiu" style="color: black;">Journal of the Brazilian Computer Society</a> </i> &nbsp;
This approach is centred on the concepts and techniques of Scrum and BDD and focuses on the planning and analysis phases of the software life cycle, since the BDD tools currently provide little support  ...  Based on this experience and to deal with these problems, in this paper, we propose the ScrumOntoBDD approach to agile software development, which combines Scrum, ontologies and Behaviour-Driven Development  ...  Funding The authors disclosed receipt of the following financial support for the research, authorship, and/or publication of this article: This work was supported by the Coordenação de Aperfeiçoamento  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1186/s13173-021-00114-w">doi:10.1186/s13173-021-00114-w</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rrdqnurfefh3pinkb5qh77ths4">fatcat:rrdqnurfefh3pinkb5qh77ths4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210621022901/https://journal-bcs.springeropen.com/track/pdf/10.1186/s13173-021-00114-w.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/57/b3/57b3d467957741433afdab829b585e90c44dbe4b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1186/s13173-021-00114-w"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a>

Anti-Osteoporotic Drug Release from Ordered Mesoporous Bioceramics: Experiments and Modeling

Miguel Manzano, Gaetano Lamberti, Ivan Galdi, María Vallet-Regí
<span title="2011-09-16">2011</span> <i title="American Association of Pharmaceutical Scientists (AAPS)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/m6iuhwyl6vbslm2n5p4wlk7glu" style="color: black;">AAPS PharmSciTech</a> </i> &nbsp;
This approach represents a powerful tool for the designing of mesoporous implantable drug delivery systems because their release kinetics can be predicted in advance, and this leads to a considerable time  ...  In addition, the complete surfactant removal was confirmed by elemental analysis, in a PerkinElmer 2400 CHN analyzer, and thermogravimetric analysis, in a dynamic nitrogen atmosphere between 30°C and 950  ...  In particular, the linear dependence discovered for the MCM-41 matrices between D L and pore's diameter returns, for a pore of 7.4 nm (pore size in the SBA-15 matrix), a D L value of about 4·10 −18 m 2  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1208/s12249-011-9688-9">doi:10.1208/s12249-011-9688-9</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/21922335">pmid:21922335</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC3225516/">pmcid:PMC3225516</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ovg77wabj5aaxibxgouccdwb7e">fatcat:ovg77wabj5aaxibxgouccdwb7e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200209192551/http://europepmc.org/backend/ptpmcrender.fcgi?accid=PMC3225516&amp;blobtype=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/16/a3/16a31c760a25b82940112ee2b49d1cda4e970b55.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1208/s12249-011-9688-9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3225516" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Combining predicate and numeric abstraction for software model checking

Arie Gurfinkel, Sagar Chaki
<span title="2010-06-04">2010</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zzy5ovlifvatfirg4js7u4uetq" style="color: black;">International Journal on Software Tools for Technology Transfer (STTT)</a> </i> &nbsp;
Predicate (PA) and Numeric (NA) abstractions are the two principal techniques for software analysis.  ...  We have implemented a general framework for reachability analysis of C programs on top of our four data structures.  ...  We are grateful to anonymous referees of LFM'08, FMCAD'08, and STTT for helping improve the presentation and technical clarity of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10009-010-0162-x">doi:10.1007/s10009-010-0162-x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/a2dfruavqjfebdegernedypycm">fatcat:a2dfruavqjfebdegernedypycm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151206152423/http://www.contrib.andrew.cmu.edu/~schaki/publications/STTT-2010.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/76/0d/760d72ab9e8a21f19680d867149145b77825c179.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10009-010-0162-x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Combining Predicate and Numeric Abstraction for Software Model Checking

Arie Gurfinkel, Sagar Chaki
<span title="">2008</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/m7zbvrubpncrdirtdbkz3zch4m" style="color: black;">2008 Formal Methods in Computer-Aided Design</a> </i> &nbsp;
Predicate (PA) and Numeric (NA) abstractions are the two principal techniques for software analysis.  ...  We have implemented a general framework for reachability analysis of C programs on top of our four data structures.  ...  We are grateful to anonymous referees of LFM'08, FMCAD'08, and STTT for helping improve the presentation and technical clarity of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/fmcad.2008.ecp.21">doi:10.1109/fmcad.2008.ecp.21</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/fmcad/GurfinkelC08.html">dblp:conf/fmcad/GurfinkelC08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2ksd5xgin5estp5ugfvgwddqhu">fatcat:2ksd5xgin5estp5ugfvgwddqhu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20151206152423/http://www.contrib.andrew.cmu.edu/~schaki/publications/STTT-2010.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/76/0d/760d72ab9e8a21f19680d867149145b77825c179.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/fmcad.2008.ecp.21"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Adsorption — from theory to practice

A Dąbrowski
<span title="">2001</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/k5ovstzdw5fvna3mbeot6rynhm" style="color: black;">Advances in Colloid and Interface Science</a> </i> &nbsp;
The methods for separation of mixtures on a laboratory and on an industrial scale are increasingly based on utilising the change in concentration of components at the interface.  ...  Crucial progress in theoretical description of the adsorption has been achieved, mainly through the development of new theoretical approaches formulated on a molecular level, by means of computer simulation  ...  NJ, USA for his comments on the first version of this review and for several valuable suggestions that have been included in the final form.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0001-8686(00)00082-8">doi:10.1016/s0001-8686(00)00082-8</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/11591108">pmid:11591108</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/f4lc5qrl4jeerm7ayzpjmizkqq">fatcat:f4lc5qrl4jeerm7ayzpjmizkqq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20131126013448/http://web.iitd.ac.in:80/~arunku/files/CEL311_Y13/Adsorption%20Theory%20to%20practice_Dabrowski.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/b0/cb/b0cb7dfe70d779fecf40de00e1c640d7dbe216ed.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0001-8686(00)00082-8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Three Dimensional Finite Element Analysis of Radial-flow Impeller Temperature Field

Liangwei Zhong, Kangmin Chen, Jing Ni, Anyang He
<span title="2008-11-19">2008</span> <i title="Canadian Center of Science and Education"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dnqawnwqovdj3mqtnnzu4eiaf4" style="color: black;">Modern Applied Science</a> </i> &nbsp;
Maryati Mohamed, Director of the Institute for Tropical Biology and Conservation, UMS, for the use of certain scientific instruments.  ...  Acknowledgments We thank DUE Project University of Lampung and Australian Research Council for the financial supports. Thank also goes to Ms. L. Lambert for her help in NMR experimentation and Mr. G.  ...  Simulation model of ANN based rotor position estimator The Vissim block diagram for ANN based rotor position estimation is shown in Fig.2 .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5539/mas.v2n6p11">doi:10.5539/mas.v2n6p11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yb7xaqcu2fckxnuetfn7bwwuyu">fatcat:yb7xaqcu2fckxnuetfn7bwwuyu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706140459/http://www.ccsenet.org/journal/index.php/mas/article/viewFile/26/41/" 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/bb/1dbbaac4ab07139f7c85dca271c084a6afaeb76b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5539/mas.v2n6p11"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 20 results