咨询与建议

限定检索结果

文献类型

  • 723 篇 会议
  • 359 篇 期刊文献
  • 15 册 图书

馆藏范围

  • 1,097 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 639 篇 工学
    • 460 篇 计算机科学与技术...
    • 385 篇 软件工程
    • 122 篇 信息与通信工程
    • 115 篇 控制科学与工程
    • 57 篇 电气工程
    • 43 篇 机械工程
    • 43 篇 电子科学与技术(可...
    • 38 篇 生物工程
    • 29 篇 仪器科学与技术
    • 27 篇 生物医学工程(可授...
    • 25 篇 光学工程
    • 21 篇 安全科学与工程
    • 20 篇 动力工程及工程热...
    • 18 篇 土木工程
    • 17 篇 化学工程与技术
    • 15 篇 航空宇航科学与技...
  • 283 篇 理学
    • 159 篇 数学
    • 57 篇 系统科学
    • 50 篇 统计学(可授理学、...
    • 49 篇 物理学
    • 48 篇 生物学
    • 21 篇 化学
  • 182 篇 管理学
    • 114 篇 管理科学与工程(可...
    • 77 篇 图书情报与档案管...
    • 57 篇 工商管理
  • 33 篇 医学
    • 29 篇 临床医学
    • 26 篇 基础医学(可授医学...
    • 15 篇 药学(可授医学、理...
  • 22 篇 经济学
    • 22 篇 应用经济学
  • 18 篇 教育学
    • 18 篇 教育学
  • 17 篇 法学
  • 8 篇 农学
  • 3 篇 艺术学
  • 2 篇 文学
  • 1 篇 军事学

主题

  • 83 篇 laboratories
  • 72 篇 computer science
  • 64 篇 software enginee...
  • 45 篇 application soft...
  • 42 篇 grid computing
  • 33 篇 software systems
  • 33 篇 quality of servi...
  • 32 篇 resource managem...
  • 32 篇 computational mo...
  • 29 篇 systems engineer...
  • 29 篇 software quality
  • 26 篇 costs
  • 26 篇 distributed comp...
  • 25 篇 cloud computing
  • 25 篇 unified modeling...
  • 24 篇 software testing
  • 21 篇 computer archite...
  • 20 篇 processor schedu...
  • 20 篇 semantics
  • 19 篇 data mining

机构

  • 31 篇 beijing key labo...
  • 28 篇 state key labora...
  • 26 篇 grid computing a...
  • 22 篇 school of electr...
  • 22 篇 seventh research...
  • 21 篇 software enginee...
  • 20 篇 state key labora...
  • 19 篇 college of compu...
  • 17 篇 key laboratory o...
  • 16 篇 software enginee...
  • 15 篇 college of compu...
  • 14 篇 jiangsu institut...
  • 14 篇 zhongguancun lab...
  • 12 篇 school of comput...
  • 11 篇 state key labora...
  • 11 篇 state key labora...
  • 9 篇 cloud computing ...
  • 9 篇 zhengzhou univer...
  • 9 篇 decision systems...
  • 9 篇 university of ch...

作者

  • 47 篇 rajkumar buyya
  • 35 篇 junping du
  • 34 篇 yingmin jia
  • 24 篇 fashan yu
  • 20 篇 buyya rajkumar
  • 18 篇 ismail leila
  • 13 篇 m. parashar
  • 13 篇 materwala huned
  • 13 篇 labiche yvan
  • 12 篇 l.c. briand
  • 12 篇 veera boonjing
  • 11 篇 y. labiche
  • 10 篇 cheng betty h. c...
  • 10 篇 p.k. mckinley
  • 10 篇 parashar manish
  • 10 篇 jianwei niu
  • 9 篇 baowen xu
  • 9 篇 sarun intakosum
  • 9 篇 xinjun mao
  • 9 篇 selamat ali

语言

  • 1,055 篇 英文
  • 28 篇 其他
  • 12 篇 中文
  • 2 篇 日文
检索条件"机构=Software Quality Engineering Laboratory Systems and Computer Engineering"
1097 条 记 录,以下是921-930 订阅
排序:
Facilitating the construction of specification pattern-based properties
Facilitating the construction of specification pattern-based...
收藏 引用
IEEE International Conference on Requirements engineering
作者: S. Konrad B.H.C. Cheng Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI USA
Formal specification languages are often perceived as difficult to use by practitioners, and are therefore rarely-used in industrial software development practices. Numerous researchers have developed specification pa... 详细信息
来源: 评论
MNP: Multihop Network Reprogramming Service for Sensor Networks
MNP: Multihop Network Reprogramming Service for Sensor Netwo...
收藏 引用
International Conference on Distributed Computing systems
作者: S.S. Kulkarni Limin Wang Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI USA
Reprogramming of sensor networks is an important and challenging problem as it is often necessary to reprogram the sensors in place. In this paper, we propose a multihop reprogramming service designed for Mica-2/XSM m... 详细信息
来源: 评论
Is mutation an appropriate tool for testing experiments? [software testing]
Is mutation an appropriate tool for testing experiments? [so...
收藏 引用
International Conference on software engineering (ICSE)
作者: J.H. Andrews L.C. Briand Y. Labiche Computer Science Department University of Western Ontario London Canada Software Quality Engineering Laboratory Carleton University Ottawa Canada
The empirical assessment of test techniques plays an important role in software testing research. One common practice is to instrument faults, either manually or by using mutation operators. The latter allows the syst... 详细信息
来源: 评论
A Framework for Rule-Based Management of Parallel Scientific Applications
A Framework for Rule-Based Management of Parallel Scientific...
收藏 引用
International Conference on Autonomic Computing (ICAC)
作者: Hua Liu M. Parashar The Applied Software Systems Laboratory Department of Electrical and Computer Engineering Rutgers University Piscataway NJ USA
In this paper we present the design of the rule-based framework for the runtime management of high-performance parallel scientific applications. The framework addresses the formulation of application management behavi... 详细信息
来源: 评论
A slice monad transformer and its applications in program slicing
A slice monad transformer and its applications in program sl...
收藏 引用
IEEE International Conference on engineering of Complex computer systems
作者: Yingzhou Zhang Baowen Xu Department of Computer Science and Engineering South-East University Nanjing China Jiangsu Institute of Software Quality Nanjing China National Key Laboratory of Software Engineering Wuhan University of China Wuhan China
Monad transformers, each representing a single notion of computation, can be designed once and for all. In this paper we abstract the computation of program slicing as slice monad transformer, which allows program sli... 详细信息
来源: 评论
Service Level Agreement based Allocation of Cluster Resources: Handling Penalty to Enhance Utility
Service Level Agreement based Allocation of Cluster Resource...
收藏 引用
IEEE International Conference on Cluster Computing
作者: Chee Shin Yeo Rajkumar Buyya Grid Computing and Distributed Systems Laboratory Department of Computer Science and Software Engineering University of Melbourne VIC Australia
Jobs submitted into a cluster have varying requirements depending on user-specific needs and expectations. Therefore, in utility-driven cluster computing, cluster resource management systems (RMSs) need to be aware of... 详细信息
来源: 评论
Cost-based scheduling for data-intensive applications on global grids  05
Cost-based scheduling for data-intensive applications on glo...
收藏 引用
International Symposium on High Performance Distributed Computing
作者: S. Venugopal R. Buyya Grid Computing and Distributed Systems (GRIDS) Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia
We present an algorithm for scheduling distributed data intensive bag-of-task applications on data grids that have costs associated with requesting, transferring and processing datasets. We evaluate the algorithm on a... 详细信息
来源: 评论
Critical-path and priority based algorithms for scheduling workflows with parameter sweep tasks on global grids
Critical-path and priority based algorithms for scheduling w...
收藏 引用
International Symposium on computer Architecture and High Performance Computing (SBAC-PAD)
作者: Tianchi Ma R. Buyya Grid Computing and Distributed Systems (GRIDS) Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia
Parameter-sweep has been widely adopted in large numbers of scientific applications. Parameter-sweep features need to be incorporated into grid workflows so as to increase the scale and scope of such applications. New... 详细信息
来源: 评论
Cost-based scheduling of scientific workflow applications on utility grids
Cost-based scheduling of scientific workflow applications on...
收藏 引用
IEEE International Conference on e-Science and Grid Computing
作者: Jia Yu R. Buyya Chen Khong Tham Grid Computing and Distributed Systems Laboratory Department of Computer Science and Software Engineering University of Melbourne VIC Australia Department of Electrical and Computer Engineering National University of Singapore Singapore
Over the last few years, grid technologies have progressed towards a service-oriented paradigm that enables a new way of service provisioning based on utility computing models. Users consume these services based on th... 详细信息
来源: 评论
A time optimization algorithm for scheduling bag-of-task applications in auction-based proportional share systems
A time optimization algorithm for scheduling bag-of-task app...
收藏 引用
International Symposium on computer Architecture and High Performance Computing (SBAC-PAD)
作者: A. Sulistio R. Buyya Grid Computing and Distributed Systems (GRIDS) Laboratory Department of Computer Science and Software Engineering University of Melbourne Carlton VIC Australia
Grid and peer-to-peer (P2P) network technologies enable aggregation of distributed resources for solving large-scale and computationally-intensive applications. These technologies are well-suited for bag-of-tasks (BoT... 详细信息
来源: 评论