搜索页_\(CSP \parallel B\)

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

Elsevier电子期刊(106)

在“Elsevier电子期刊”中，命中：106条，耗时：0.0130211 秒

在所有数据库中总计命中：130条

1.Numerical characterization of nonlinear dynamical systems using parallel computing: The role of GPUs approach

关键词：Chaos ; CUDA ; Duffing oscillator ; GPU computing ; Lagrangian Coherent Structures ; Lyapunov bifurcation diagram ; Lyapunov exponents ; Parallel computing ; Parameter space

刊名：Communications in Nonlinear Science and Numerical Simulation

出版年：2016

2.Experimental analysis of charging and discharging processes, with parallel and counter flow arrangements, in a molten salts high temperature pilot plant scale setup

作者：Gerard Peiró ; ^a ; Jaume Gasia^a ; Laia Miró ; ^a ; Cristina Prieto^b ; Luisa F. Cabeza^a ; ^{lcabeza@diei.udl.cat" class="auth_mail" title="E-mail the corresponding author}

关键词：Concentrated solar power ; Sensible heat storage ; Two-tank ; Molten salts ; Heat exchanger ; Parallel flow arrangement ; Counter flow arrangement

刊名：Applied Energy

出版年：2016

3.Effective tube-in-tank PCM thermal storage for CSP applications, Part 1: Impact of tube configuration on discharging effectiveness

作者：M. Belusko ; ^{martin.belusko@unisa.edu.au" class="auth_mail" title="E-mail the corresponding author} ; N.H.S. Tay ; M. Liu ; F. Bruno

关键词：PCM thermal storage ; Effectiveness ; Tube-in-tank ; CSP

刊名：Solar Energy

出版年：2016

4.Effective tube-in-tank PCM thermal storage for CSP applications, Part 2: Parametric assessment and impact of latent fraction

作者：M. Belusko ; ^{martin.belusko@unisa.edu.au" class="auth_mail" title="E-mail the corresponding author} ; N.H.S. Tay ; M. Liu ; F. Bruno

关键词：PCM thermal storage ; Effectiveness ; Sensible energy ; CSP

刊名：Solar Energy

出版年：2016

5.Dynamic slicing of concurrent specification languages

作者：M. Llorens ; ^a ; ^{mllorens@dsic.upv.es" class="auth_mail" title="E-mail the corresponding author} ; J. Oliver^a ; ^{fjoliver@dsic.upv.es" class="auth_mail" title="E-mail the corresponding author} ; J. Silva^a ; ^{jsilva@dsic.upv.es" class="auth_mail" title="E-mail the corresponding author} ; S. Tamarit^b ; ^{stamarit@babel.ls.fi.upm.es" class="auth_mail" title="E-mail the corresponding author}

关键词：Concurrent programming ; CSP ; Slicing

刊名：Parallel Computing

出版年：2016

6.Novel efficient techniques for real-time cloud security assessment

作者：Jolanda Modic^a ; ^{jolanda.modic@xlab.si" class="auth_mail" title="E-mail the corresponding author}Author Vitae ; Ruben Trapero^bAuthor Vitae ; Ahmed Taha^bAuthor Vitae ; Jesus Luna^c ; ^bAuthor Vitae ; Miha Stopar^aAuthor Vitae ; Neeraj Suri^bAuthor Vitae

关键词：Cloud security ; Security quantification ; Security evaluation ; Security level agreements ; Security metrics

刊名：Computers & Security

出版年：2016

7.Solving the canonical representation and Star System Problems for proper circular-arc graphs in logspace

作者：Johannes Kö ; bler ^{koebler@informatik.hu-berlin.de" class="auth_mail" title="E-mail the corresponding author} ; Sebastian Kuhnert ; ^{kuhnert@informatik.ku-berlin.de" class="auth_mail" title="E-mail the corresponding author} ; Oleg Verbitsky ^{verbitsk@informatik.hu-berlin.de" class="auth_mail" title="E-mail the corresponding author}

关键词：Graph isomorphism ; Logspace ; Circular-ones property ; Intersection graphs

刊名：Journal of Discrete Algorithms

出版年：2016

8.M-addition

作者：Tim Mesikepp ^{mesiket@math.washington.edu" class="auth_mail" title="E-mail the corresponding author}

关键词：Compact convex set ; Minkowski addition ; LpLp addition ; M-addition ; Valuation ; Shapley&ndash ; Folkman lemma

刊名：Journal of Mathematical Analysis and Applications

出版年：2016

9.Multi-parameterised compositional verification of safety properties

作者：Antti Siirtola^a ; ¹ ; ^{antti.siirtola@aalto.fi" class="auth_mail" title="E-mail the corresponding author} ; ^{antti.siirtola@oulu.fi" class="auth_mail" title="E-mail the corresponding author} ; Juha Kortelainen^b ; ^{juha.kortelainen@oulu.fi" class="auth_mail" title="E-mail the corresponding author}

关键词：Parameterised verification ; Refinement checking ; Concurrency theory ; Compositional reasoning ; Decidability

刊名：Information and Computation

出版年：2015

10.Specifying termination in CSP

作者：Paul Howells ; Mark d?Inverno

关键词：Concurrency ; CSP ; CSPTCSPT ; Termination ; Parallel operators

刊名：Theoretical Computer Science

出版年：2013

按检索点细分(106)

关键词(1)

文摘(93)

按出版年细分(106)

2027年及以后(7)

2016年(8)

2015年(1)

2014年(1)

2013年(5)

2012年(5)

2011年(8)

2010年(5)

2009年(3)

2008年(4)

2007年(3)

2006年(8)

2005年(2)

2004年(2)

2003年(5)

2002年(3)

2001年(9)

2000年(6)

2000年及以前(21)