搜索页_+Object-oriented+programming

设为首页

收藏本站

网站地图 | English | 公务邮箱

读者指南

学术客户端

NSTL服务站

科技查新

外文资源

中国地质文献-英文(13)	Springer电子图书(58)	ProQuest学位论文(180)	Elsevier电子期刊(1214)
Wiley电子期刊(1)	SpringerLink电子期刊(1001)	GSW全文库(1)	ACS电子期刊(5)

在“Elsevier电子期刊”中，命中：1,214条，耗时：0.0589714 秒

在所有数据库中总计命中：2,473条

1.SafeGPU: Contract- and library-based GPGPU for object-oriented languages

作者：Alexey Kolesnichenko^a ; ^{alexey.kolesnichenko@inf.ethz.ch} ; Christopher M. Poskitt^a ; ^b ; ¹ ; ^{chris_poskitt@sutd.edu.sg} ; Sebastian Nanz^a ; ^{sebastian.nanz@inf.ethz.ch}

关键词：GPGPU ; Parallel computing ; Runtime code generation ; Generative programming ; Object-orientation ; Managed languages ; Design-by-contract ; Program correctness

刊名：Computer Languages, Systems & Structures

出版年：2017

2.Dynamic Rebinding for Concurrent Object Groups: Theory and practice

关键词：Object-oriented programming ; Dynamic Software Updating ; Consistency ; Concurrency

刊名：Journal of Logical and Algebraic Methods in Programming

出版年：2017

3.Assessment of class mutation operators for C with the MuCPP mutation system

作者：Pedro Delgado-Pé ; rez ; ^{pedro.delgado@uca.es" class="auth_mail" title="E-mail the corresponding author} ; Inmaculada Medina-Bulo ^{inmaculada.medina@uca.es" class="auth_mail" title="E-mail the corresponding author} ; Francisco Palomo-Lozano ^{francisco.palomo@uca.es" class="auth_mail" title="E-mail the corresponding author} ; Antonio Garcí ; a-Domí ; nguez ^{antonio.garciadominguez@uca.es" class="auth_mail" title="E-mail the corresponding author} ; Juan José ; Domí ; nguez-Jimé ; nez ^{juanjose.dominguez@uca.es" class="auth_mail" title="E-mail the corresponding author}

关键词：Mutation testing ; Mutation system ; C++++ ; Class mutation operators ; Object-oriented programming

刊名：Information and Software Technology

出版年：2017

4.JPC: A library for categorising and applying inter-language conversions between Java and Prolog

作者：Sergio Castro^a ; Kim Mens^a ; ^{kim.mens@uclouvain.be} ; Paulo Moura^b

关键词：Object-oriented programming ; Logic programming ; Multi-paradigm programming ; Java&ndash ; Prolog language interoperability ; Programming languages

刊名：Science of Computer Programming

出版年：2017

5.Towards the next generation of intelligent building: An assessment study of current automation and future IoT based systems with a proposal for transitional design

作者：Georgios Lilis ; ^{georgios.lilis@epfl.ch} ; Gilbert Conus ; Nastaran Asadi ; Maher Kayal

关键词：BAS ; building automation system ; BMS ; building management system ; CPS ; cyber-physical system ; DR ; demand response ; EHS ; European Home Systems Protocol ; EIB ; European Installation Bus ; ICT ; Information and Communication Technology ; IoT ; Internet of Things ; IT ; information technology ; OOP ; object-oriented programming ; OSI ; Open Systems Interconnection ; PLC ; power line communication ; PMU ; phasor measurement unit ; QoS ; Quality of Service ; WoT ; Web of Things

刊名：Sustainable Cities and Society

出版年：2017

6.Managing facts and resources with the Pica IDE infrastructure library

作者：Anya Helene Bagge ^{anya@ii.uib.no}

关键词：IDEs ; Editor-integrated compilers ; Eclipse ; Magnolia programming language ; Compilation by transformation ; Error marks ; Facts ; Resources

刊名：Science of Computer Programming

出版年：2017

7.eqtools: Modular, extensible, open-source, cross-machine Python tools for working with magnetic equilibria

作者：M.A. Chilenski^a ; ^{markchil@mit.edu} ; I.C. Faust^a ; ^{faustian@mit.edu} ; J.R. Walk^a ; ^b ; ^{jrwalk@mit.edu}

关键词：Plasma physics ; Tokamaks ; Magnetic equilibrium reconstruction ; Data analysis

刊名：Computer Physics Communications

出版年：2017

8.raaSAFT: A framework enabling coarse-grained molecular dynamics simulations based on the SAFT- Mie force field

作者：Å ; smund Ervik^a ; ^{asmunder@pvv.org} ; Guadalupe Jimé ; nez Serratos^b ; ^{m.jimenez-serratos@imperial.ac.uk} ; Erich A. Mü ; ller^b ; ^{e.muller@imperial.ac.uk}

关键词：Molecular dynamics ; GPU ; HOOMD-blue ; Coarse-grained ; SAFT-γγ Mie

刊名：Computer Physics Communications

出版年：2017

9.An object-oriented symbolic approach to the automated derivation of finite element contributions

作者：R. Saad^a ; ^{roysaad@usek.edu.lb" class="auth_mail" title="E-mail the corresponding author} ; D. Eyheramendy^b ; ^{dominique.eyheramendy@centrale-marseille.fr" class="auth_mail" title="E-mail the corresponding author} ; L. Zhang^b ; ^{lei.zhang@centrale-marseille.fr" class="auth_mail" title="E-mail the corresponding author}

关键词：Finite elements ; Object-oriented programming ; Symbolic computations

刊名：Advances in Engineering Software

出版年：2016

10.Safety-oriented pavement performance thresholds: Accounting for unobserved heterogeneity in a multi-objective optimization and goal programming approach

作者：Panagiotis Ch. Anastasopoulos^a ; ^{panastas@buffalo.edu} ; Md Tawfiq Sarwar^b ; ^{mdtawfiq@buffalo.edu} ; Venky N. Shankar^c ; ^{shankarv@engr.psu.edu}

关键词：Pavement performance thresholds ; Pavement preservation ; International roughness index ; Rutting ; Surface deflection ; Pavement service life ; Unobserved heterogeneity ; Random parameters ; Tobit regression ; Hazard-based duration modeling ; Multi-objective optimization ; Goal programming

刊名：Analytic Methods in Accident Research

出版年：2016

按检索点细分(1214)

题名(99)

关键词(346)

文摘(851)

按出版年细分(1214)

2027年及以后(22)

2017年(8)

2016年(37)

2015年(15)

2014年(3)

2013年(42)

2012年(57)

2011年(38)

2010年(52)

2009年(59)

2008年(48)

2007年(48)

2006年(64)

2005年(60)

2004年(55)

2003年(45)

2002年(71)

2001年(69)

2000年(53)

2000年及以前(368)

常见问题　|　交通位置　|　联系我们　|　OA远程办公

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700