搜索页_Design+languages

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

中国地质文献-英文(3)	SpringerLink电子期刊(2330)	GSW全文库(2)
Wiley电子期刊(16)	ProQuest学位论文(321)	Elsevier电子期刊(1580)
Springer电子图书(16)	NATURE电子期刊(9)	ACS电子期刊(2)

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

在所有数据库中总计命中：4,279条

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.Optimisation of language-integrated queries by query unnesting

作者：Tomasz Marek Kowalski ; ^{t.kowalski@iis.p.lodz.pl} ; Radosław Adamus ^{r.adamus@iis.p.lodz.pl}

关键词：Program optimisation ; Programming languages ; Term rewriting ; Declarative programming ; Higher-order functions ; LINQ ; Query decorrelation

刊名：Computer Languages, Systems & Structures

出版年：2017

3.Financial incentives for diabetes prevention in a Medicaid population: Study design and baseline characteristics

作者：Jay Desai ; PhD ; MPH^a ; ^{Jay.R.Desai@Healthpartners.com} ; Gretchen Taylor ; MPH ; RD^b ; Gabriela Vazquez-Benitez ; PhD^a ; Sara Vine ; MS ; RD ; LD^c ; Julie Anderson ; MPH ; RD^a ; Joyce E. Garrett ; JD^d ; Todd Gilmer ; PhD^e ; Houa Vue-Her ; PhD^b ; Jeff Schiff ; MD^d ; Sarah Rinn ; MPH^d ; Katelyn Engel ; MPH ; RD ; LD^b ; Amy Michael ; MA^b ; Patrick J. O'Connor ; MD ; MA ; MPH^a

关键词：Diabetes prevention ; Medicaid ; Incentives ; Primary care

刊名：Contemporary Clinical Trials

出版年：2017

4.TextX: A Python tool for Domain-Specific Languages implementation

作者：I. Dejanović ; ^{igord@uns.ac.rs" class="auth_mail" title="E-mail the corresponding author} ; R. Vaderna ; G. Milosavljević ; Ž. Vuković

关键词：Domain-Specific Language ; Meta-model ; Model ; Model-Driven software development ; Parser ; Python

刊名：Knowledge-Based Systems

出版年：2017

5.Playing with state-based models for designing better algorithms

作者：Dominique Mé ; ry ^{dominique.mery@loria.fr} Author Vitae

关键词：Modeling languages ; Verification ; Refinement ; Coordination ; Algorithm

刊名：Future Generation Computer Systems

出版年：2017

6.Generative software product line development using variability-aware design patterns

作者：Christoph Seidl ; ^{c.seidl@tu-braunschweig.de} ; Sven Schuster ; Ina Schaefer

刊名：Computer Languages, Systems & Structures

出版年：2017

7.Modeling graph-based satellite design languages

作者：Johannes Gross ; ¹ ; ^{johannes@jpl.nasa.gov" class="auth_mail" title="E-mail the corresponding author} ; Stephan Rudolph

关键词：Design languages ; Rule based design ; Model-based engineering ; Knowledge representation

刊名：Aerospace Science and Technology

出版年：2016

8.Enabling PHP software engineering research in Rascal

作者：Mark Hills^a ; ^{mhills@cs.ecu.edu} ; Paul Klint^b ; ^{Paul.Klint@cwi.nl} ; Jurgen J. Vinju^b ; ^c ; ^{Jurgen.Vinju@cwi.nl}

关键词：Meta-programming ; Program analysis ; Empirical software engineering ; Dynamic languages ; PHP

刊名：Science of Computer Programming

出版年：2017

9.Geometry and simulation modeling in design languages

作者：Johannes Gross ; ^{johannes.gross@jpl.nasa.gov" class="auth_mail" title="E-mail the corresponding author} ; Stephan Rudolph

关键词：Design languages ; Model based engineering ; UML

刊名：Aerospace Science and Technology

出版年：2016

10.Combined hormonal contraceptive (CHC) use among obese women and contraceptive effectiveness: a systematic review

作者：Monica V. Dragoman^a ; ^{mvd2116@gmail.com} ; Katharine B. Simmons^b ; ^c ; Melissa E. Paulen^d ; Kathryn M. Curtis^b

关键词：Combined hormonal contraception ; Obesity ; Contraceptive effectiveness ; Oral contraception

刊名：Contraception

出版年：2017

按检索点细分(1580)

题名(24)

关键词(60)

文摘(1145)

按出版年细分(1580)

2027年及以后(62)

2017年(12)

2016年(75)

2015年(28)

2014年(18)

2013年(79)

2012年(77)

2011年(98)

2010年(82)

2009年(99)

2008年(94)

2007年(86)

2006年(79)

2005年(77)

2004年(51)

2003年(65)

2002年(68)

2001年(74)

2000年(49)

2000年及以前(307)