搜索页_Linux

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

Wiley电子期刊(5)	SpringerLink电子期刊(1199)	GSW全文库(3)	ACS电子期刊(9)
Springer电子图书(69)	ProQuest学位论文(162)	Elsevier电子期刊(1301)

在“SpringerLink电子期刊”中，命中：1,199条，耗时：小于0.01 秒

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

1. Analysing the Linux kernel feature model changes using FMDiff

作者： Nicolas Dintzner ; Arie van Deursen ; Martin Pinzger

关键词：Software product line ; Feature model ; Evolution

刊名：Software & Systems Modeling

出版年：2017

2. An easy-to-build, low-budget point-of-care ultrasound simulator: from Linux to a web-based solution

作者： Domagoj Damjanovic ; Ulrich Goebel ; Benedikt Fischer…

关键词：Ultrasonography ; Point ; of ; care systems ; Simulation training

刊名：Critical Ultrasound Journal

出版年：2017

3. Effective Bug Finding in C Programs with Shape and Effect Abstractions

关键词：Bug finding ; Type and effects ; Model checkingC ; Linux ; Double lock

刊名：Lecture Notes in Computer Science

出版年：2017

4. Continuously mining distributed version control systems: an empirical study of how Linux uses Git

作者： Daniel M. German ; Bram Adams ; Ahmed E. Hassan

关键词：Mining software repositories ; Distributed version control ; Rebasing ; Empirical software engineering ; Measuring bias ; Linux ; Open source development

刊名：Empirical Software Engineering

出版年：2016

5. Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel

作者： Tegawendé F. Bissyandé ; Laurent Réveillère…

关键词：Diagnosys ; Debugging ; Linux ; Plugin ; Reliability ; Testing

刊名：Automated Software Engineering

出版年：2016

6. Fair Priority Scheduling (FPS): A Process Scheduling Algorithm Based on Skip Ring Data Structure

作者： Mustafa Aksu ; Ali Karcı

关键词：Data structures ; Skip ring ; Design of algorithms ; Process scheduling ; Operating systems ; FPS

刊名：Arabian Journal for Science and Engineering

出版年：2017

7. Octopus: a platform for the virtual high-throughput screening of a pool of compounds against a set of molecular targets

作者： Eduardo Habib Bechelane Maia ; Vinícius Alves Campos…

关键词：Structure ; based drug design ; Docking ; Virtual screening

刊名：Journal of Molecular Modeling

出版年：2017

8. A declarative framework for stateful analysis of execution traces

作者： Florian Wininger ; Naser Ezzati-Jivan ; Michel R. Dagenais

关键词：Software debugging ; Declarative debugging ; Execution trace analysis

刊名：Software Quality Journal

出版年：2017

9. QoS-Driven Frequency Scaling for Energy Efficiency and Reliability of Static Web Servers in Software-Defined Data Centers

关键词：CPU frequency scaling ; Energy saving ; QoS ; driven study ; Static web servers ; Software ; defined data center

刊名：Lecture Notes in Computer Science

出版年：2017

10. DRDDR: a lightweight method to detect data races in Linux kernel

作者： Yunyun Jiang ; Yi Yang ; Tian Xiao ; Tianwei Sheng…

关键词：Data race detection ; Linux kernel ; Synchronization ; Debug register ; Sample

刊名：The Journal of Supercomputing

出版年：2016

按检索点细分(1199)

题名(144)

关键词(121)

文摘(1140)

按出版年细分(1199)

2017年(9)

2016年(62)

2015年(73)

2014年(82)

2013年(77)

2012年(77)

2011年(38)

2010年(65)

2009年(44)

2008年(90)

2007年(175)

2006年(116)

2005年(164)

2004年(43)

2003年(27)

2002年(34)

2001年(10)

2000年(8)

2000年及以前(5)