咨询与建议

限定检索结果

文献类型

  • 2,417 篇 会议
  • 986 篇 期刊文献
  • 72 册 图书

馆藏范围

  • 3,475 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2,005 篇 工学
    • 1,564 篇 计算机科学与技术...
    • 1,285 篇 软件工程
    • 398 篇 信息与通信工程
    • 337 篇 控制科学与工程
    • 182 篇 生物工程
    • 179 篇 电气工程
    • 142 篇 电子科学与技术(可...
    • 129 篇 生物医学工程(可授...
    • 128 篇 机械工程
    • 89 篇 安全科学与工程
    • 86 篇 动力工程及工程热...
    • 84 篇 光学工程
    • 73 篇 化学工程与技术
    • 71 篇 仪器科学与技术
    • 71 篇 建筑学
    • 67 篇 土木工程
  • 880 篇 理学
    • 481 篇 数学
    • 207 篇 生物学
    • 165 篇 系统科学
    • 161 篇 物理学
    • 141 篇 统计学(可授理学、...
    • 73 篇 化学
  • 591 篇 管理学
    • 409 篇 管理科学与工程(可...
    • 234 篇 图书情报与档案管...
    • 230 篇 工商管理
  • 132 篇 医学
    • 121 篇 临床医学
    • 102 篇 基础医学(可授医学...
  • 92 篇 法学
    • 68 篇 社会学
  • 69 篇 经济学
    • 69 篇 应用经济学
  • 66 篇 教育学
    • 66 篇 教育学
  • 27 篇 农学
  • 12 篇 文学
  • 7 篇 军事学
  • 4 篇 艺术学

主题

  • 193 篇 software enginee...
  • 166 篇 computer science
  • 97 篇 application soft...
  • 93 篇 computational mo...
  • 87 篇 laboratories
  • 75 篇 computer archite...
  • 75 篇 machine learning
  • 74 篇 software systems
  • 74 篇 software
  • 71 篇 artificial intel...
  • 70 篇 deep learning
  • 69 篇 distributed comp...
  • 68 篇 accuracy
  • 66 篇 wireless sensor ...
  • 63 篇 quality of servi...
  • 61 篇 resource managem...
  • 59 篇 training
  • 57 篇 grid computing
  • 56 篇 cloud computing
  • 54 篇 systems engineer...

机构

  • 31 篇 beijing key labo...
  • 26 篇 grid computing a...
  • 22 篇 department of co...
  • 22 篇 school of electr...
  • 22 篇 seventh research...
  • 21 篇 software enginee...
  • 20 篇 college of compu...
  • 18 篇 department of sy...
  • 18 篇 state key labora...
  • 17 篇 software enginee...
  • 12 篇 department of el...
  • 12 篇 department of so...
  • 12 篇 max planck insti...
  • 12 篇 department of co...
  • 12 篇 school of inform...
  • 11 篇 institute for so...
  • 11 篇 sri lanka instit...
  • 10 篇 school of softwa...
  • 10 篇 department of so...
  • 10 篇 school of intell...

作者

  • 66 篇 rajkumar buyya
  • 37 篇 buyya rajkumar
  • 36 篇 junping du
  • 31 篇 yingmin jia
  • 24 篇 ismail leila
  • 21 篇 fashan yu
  • 18 篇 xenofon koutsouk...
  • 16 篇 m. parashar
  • 15 篇 song houbing
  • 15 篇 zamli kamal z.
  • 15 篇 gautam biswas
  • 14 篇 biswas gautam
  • 13 篇 choo kim-kwang r...
  • 13 篇 materwala huned
  • 12 篇 jafer shafagh
  • 12 篇 veera boonjing
  • 11 篇 philippe charlan...
  • 11 篇 dustdar schahram
  • 11 篇 ahmed bestoun s.
  • 11 篇 zander carol

语言

  • 3,358 篇 英文
  • 90 篇 其他
  • 22 篇 中文
  • 3 篇 日文
  • 2 篇 德文
  • 2 篇 俄文
  • 1 篇 法文
  • 1 篇 斯洛文尼亚文
  • 1 篇 土耳其文
检索条件"机构=Department of Software Engineering for Distributed Computer Systems"
3475 条 记 录,以下是3311-3320 订阅
排序:
A Comment on “An Analytical Model for Designing Memory Hierarchies”
收藏 引用
IEEE Transactions on computers 1997年 第10期46卷 1151-1151页
作者: Jacob, Bruce L. Chen, Peter M. Mudge, Trevor N. Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI 48109-2122 United States Chelmsford Systems Software Hewlett-Packard Chelmsford MA 01824 United States
In our paper, "An analytical model for designing memory hierarchies" (see ibid., vol. 45, no. 10, p. 180-1, 194 (1996)), we made the following statement: "Failing to apply a specific model of workload l... 详细信息
来源: 评论
Model-Checking of Real-Time systems: A Telecommunications Application Experience Report
Model-Checking of Real-Time Systems: A Telecommunications Ap...
收藏 引用
International Conference on software engineering (ICSE)
作者: R. Alur L. Jategaonkar Jagadeesan J.J. Kott J.E. von Olnhausen Computing Science Research Center Bell Laboratories and Department of Electrical Engineering & Computer Science University of California Berkeley CA USA Software Production Research Department Bell Laboratories Naperville IL USA Network Systems Platform Development Lucent Technologies Inc. Naperville IL USA
来源: 评论
A spectral approach to compute the mean performance measures of the queue with low-order BMAP input
收藏 引用
Journal of Applied Mathematics and Stochastic Analysis 1997年 第4期16卷 349-360页
作者: Lee, Ho Woo Moon, Jong Min Park, Jong Keun Kim, Byung Kyu Sung Kyun Kwan University Dept. of Systems Management Engineering Su Won 440-746 South Korea SE Application Prog. Info Tech. Group Division LG CNS Good Morning Bldg. Seoul 150-712 Yeo Eui Do South Korea I/O System Team Computer System Department Computer and Software Research Laboratory Dae Jon 305-350 South Korea Itsweb CRM Team R and D Center 789-4 Young Bldg. Seoul 135-080 Yok Sam Dong Kang Nam South Korea
This paper targets engineers and practitioners who want a simple procedure to compute the mean performance measures of the Batch Markovian Arrival process (BMAP/G/1) queueing system when the parameter matrices order i... 详细信息
来源: 评论
Prefetching and caching for query scheduling in a special class of distributed applications  25
Prefetching and caching for query scheduling in a special cl...
收藏 引用
25th International Conference on Parallel Processing, ICPP 1996
作者: Sinha, A. Chase, C. Parallel and Distributed Systems Laboratory Department of Electrical and Computer Engineering University of Texas AustinTX78712 United States
We analyze the scheduling aspects of database queries submitted to an abstract model of a very large distributed system. The essential elements of this model are: (a) a finite number of identical processing nodes with... 详细信息
来源: 评论
Decomposition and lossless join in constraint databases  2nd
Decomposition and lossless join in constraint databases
收藏 引用
2nd International Workshop on Constraint Database systems, CDB 1997 and held with Workshop on Constraints and Databases, CP 1996
作者: Wang, Yujun Shi, Baile Qu, Yunyao Department of Computer Science Fudan University Shanghai200433 China Department of Information and Software Systems Engineering George Mason University United States
As a very promising new data model, constraint database is attracting a growing interest recently. For better applications, we need to study its design theory. But to the best of our knowledge, no papers about the des...
来源: 评论
Corona: a communication service for scalable, reliable group collaboration systems  96
Corona: a communication service for scalable, reliable group...
收藏 引用
Proceedings of the 1996 ACM conference on computer supported cooperative work
作者: Robert W. Hall Amit Mathur Farnam Jahanian Atul Prakash Craig Rassmussen Software Systems Research Laboratory Department of Electrical Engineering and Computer Science The University of Michigan Ann Arbor MI
来源: 评论
ERTL: An extension to RTL for the specification, analysis and verification of hybrid systems
ERTL: An extension to RTL for the specification, analysis an...
收藏 引用
8th Euromicro Workshop on Real-Time systems, ECRTS 1996
作者: Hall, J.G. De Lemos, R. High Integrity Systems Engineering Group Department of Computer Science University of York YO1 5DD United Kingdom Centre for Software Reliability Department of Computing Science University of Newcastle Upon Tyne NE1 7RU United Kingdom
Real time logic (RTL) was introduced as a formalism for reasoning about the relative and absolute timing properties of computational tasks of discrete real-time systems. Extended real time logic (ERTL) is a formalism ... 详细信息
来源: 评论
Extended RTL in the specification and verification of an industrial press  5th
Extended RTL in the specification and verification of an ind...
收藏 引用
5th DIMACS/SYCON Workshop on Verification and Control of Hybrid systems, 1995
作者: de Lemos, Rogério Hall, Jon G. Centre for Software Reliability Department of Computing Science University of Newcastle upon Tyne NE1 7RU United Kingdom High Integrity Systems Engineering Group Department of Computer Science University of York YO1 5DD United Kingdom
Extended Real Time Logic (ERTL) is proposed for the modelling and analysis of hybrid systems, taking as a basis Real Time Logic (RTL). RTL is a first order logic with uninterpreted predicates which relate events of a ... 详细信息
来源: 评论
Transferring artificial intelligence technology through a research center of excellence
Transferring artificial intelligence technology through a re...
收藏 引用
Proceedings of ISAI/IFIS Mexico-USA Collaboration in Intelligent systems Technologies
作者: C. Tsatsoulis J. Holtzman The University of Kansas Department of Electrical Engineering and Computer Science Center of Excellence for Software and Systems Engineering (CECASE) University of Kansas Lawrence KS USA
The Center of Excellence for software and systems engineering (CECASE) at the University of Kansas was established by the State of Kansas as a vehicle for developing and transferring advanced technology to Kansas busi... 详细信息
来源: 评论
Using object-oriented principles to optimize update propagation to materialized views
Using object-oriented principles to optimize update propagat...
收藏 引用
International Conference on Data engineering
作者: H.A. Kuno E.A. Rundensteiner Department of Elect. Engineering and Computer Science Software Systems Research Laboratory University of Michigan Ann Arbor MI USA
View materialization is known to be a valuable technique for performance optimization in relational databases, and much work has been done addressing the problem of consistently maintaining relational views under upda... 详细信息
来源: 评论