检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

693 篇 会议
181 篇 期刊文献
2 册 图书
1 篇 学位论文

馆藏范围

877 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

270 篇 工学
- 160 篇 电气工程
- 131 篇 计算机科学与技术...
- 70 篇 软件工程
- 30 篇 电子科学与技术（可...
- 24 篇 控制科学与工程
- 19 篇 信息与通信工程
- 14 篇 仪器科学与技术
- 13 篇 核科学与技术
- 7 篇 机械工程
- 6 篇 动力工程及工程热...
- 5 篇 力学（可授工学、理...
- 3 篇 测绘科学与技术
- 3 篇 石油与天然气工程
- 3 篇 生物医学工程（可授...
- 2 篇 航空宇航科学与技...
49 篇 理学
- 23 篇 物理学
- 17 篇 数学
- 7 篇 系统科学
- 5 篇 化学
- 2 篇 地球物理学
- 2 篇 生物学
- 2 篇 统计学（可授理学、...
21 篇 管理学
- 18 篇 管理科学与工程(可...
- 2 篇 工商管理
7 篇 医学
- 5 篇 临床医学
4 篇 经济学
- 3 篇 理论经济学
- 2 篇 应用经济学
4 篇 文学
- 4 篇 新闻传播学
3 篇 法学
- 2 篇 社会学
- 1 篇 法学
1 篇 教育学
1 篇 军事学
1 篇 艺术学

主题

877 篇 data flow comput...
174 篇 computer archite...
152 篇 concurrent compu...
152 篇 flow graphs
118 篇 hardware
113 篇 computer network...
110 篇 computational mo...
109 篇 computer science
108 篇 application soft...
107 篇 parallel process...
73 篇 processor schedu...
66 篇 algorithm design...
62 篇 distributed comp...
60 篇 control systems
56 篇 costs
56 篇 delay
53 篇 data analysis
47 篇 digital signal p...
46 篇 signal processin...
40 篇 programming prof...

机构

5 篇 department of el...
5 篇 department of co...
4 篇 computer science...
4 篇 polish japanese ...
3 篇 mitre corporatio...
3 篇 department of el...
3 篇 purdue universit...
3 篇 imec leuven
3 篇 institute of com...
3 篇 department of el...
3 篇 department of el...
3 篇 department of co...
3 篇 faculty of techn...
3 篇 department of co...
3 篇 stanford univ st...
3 篇 dipartimento di ...
2 篇 eecs department ...
2 篇 univ london impe...
2 篇 dipartimento di ...
2 篇 school of comput...

作者

5 篇 r.a. ammar
5 篇 e.a. lee
5 篇 g.r. gao
5 篇 j.w. stoughton
4 篇 m. tudruj
4 篇 b. zavidovique
4 篇 r.r. mielke
4 篇 s. som
4 篇 m.l. soffa
4 篇 m.j. harrold
3 篇 m. sami
3 篇 r.a. walker
3 篇 j. krinke
3 篇 raulet mickael
3 篇 palumbo francesc...
3 篇 a. smyk
3 篇 m.n.s. swamy
3 篇 sau carlo
3 篇 b. qin
3 篇 j. teich

语言

844 篇 英文
30 篇 其他
2 篇 中文
1 篇 俄文

检索条件"主题词=Data Flow Computing"

共 877 条记录，以下是221-230 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

An interface compositional framework for data flow-oriented analysis and design

An interface compositional framework for data flow-oriented ...

引用

Frontiers in Education (FIE) Conference

作者： M. Ghriga P. Kabore Department of Computer Science Long Island University Brooklyn NY USA National Institute for Standards and Technology Gaithersburg MD USA

Efforts have been expanded to formulate guidelines for application of analysis and design principles, draw on the many successes in specifying large-scale projects, and provide many "cures" to the commonly encountered problems. Educators and professionals have recognized viewpoint-based analysis as a powerful means to support the requirements analysis process. This paper reports on an initiative to draw closer viewpoint analysis and data flow based methods. This has been a topic of significant interest to us in that a viewpoint approach is by far superior than its data flow counterpart to requirements discovery and gathering for medium or large size student projects. This paper describes a framework in an attempt to: (1) bridge the gap between viewpoint-based requirements analysis and the computational aspects of data flow oriented models; and (2) provide a systematic approach for effective structuring and managing complexity in the system under consideration. These goals have been achieved by introducing a more generalized notion of viewpoints, called interfaces, and their compositions. The adequacy of the framework and its implementation are presented.

关键词： data analysis Concrete Context-aware services Computer science Guidelines NIST Application software Large-scale systems Bridges data flow computing

来源：评论

学校读者我要写书评

暂无评论

Profiling Macro data flow Graphs for Parallel Implementation of FDTD Computations

Profiling Macro Data Flow Graphs for Parallel Implementation...

引用

International Symposium on Parallel and Distributed computing

作者： A. Smyk M. Tudruj Polish Japanese Institute of Information Technology Warsaw Poland Institute of Computer Science Polish Academy of Sciences Warsaw Poland

In this paper, we present methodology, which enables designing and profiling macro data flow graphs that represent computation and communication patterns for the FDTD (finite difference time domain) problem in irregular computational areas. Optimized macro dataflow graphs (MDFG) for FDTD computations are generated in three main phases: generation of initial MDFG based on wave propagation area partitioning, MDFG nodes merging with load balancing to obtain given number of macro nodes and communication optimization to minimize and balance internode data transmissions. The computation efficiency for several communication systems (MPI, RDMA RB, SHMEM) is discussed. Relations between communication optimization algorithms and overall FDTD computation efficiency are shown. Experimental results obtained by simulation are presented

关键词： data flow computing flow graphs Finite difference methods Time domain analysis Concurrent computing Design methodology Merging Load management data communication Partitioning algorithms

来源：评论

学校读者我要写书评

暂无评论

Finite state machine optimization algorithms for pipelined data path controllers

Finite state machine optimization algorithms for pipelined d...

引用

Annual IEEE International Conference and Exhibit ASIC

作者： J.J. Kim F.J. Kurdahi Department of Electrical & Computer Engineering University of California Irvine CA USA

Algorithms for generating an optimal finite state machine (FSM) implementation of pipelined data path controllers are presented. The groups of states are partitioned into two, states are encoded, and each partition is mapped onto one PLA to form a two-PLA based Moore-style FSM state sequencer. The experimental results show that substantial savings in layout area can be achieved compared to published traditional FSM optimization approaches.< >

关键词： Automata flow graphs Circuit synthesis Optimal control Programmable logic arrays Pipeline processing Resource management Combinational circuits data flow computing data engineering

来源：评论

学校读者我要写书评

暂无评论

Abductive approach to prototyping data flow diagrams

Abductive approach to prototyping data flow diagrams

引用

Asia-Pacific Conference on Quality Software

作者： E.T.H. Fung City Univ. of Hong Kong China

In this paper, we propose to develop prototypes of data flow diagrams using a logical framework, which is based on an extension of logic programming to perform abductive reasoning (abductive logic programming). Based on the framework, we discuss how to represent a data flow diagram in a declarative manner as a set of logical sentences and outline a proof procedure. Given the declarative representation of a data flow diagram, the proof procedure can be applied, which combines forward and backward chaining in a structured manner. Unlike the conventional logic programming, the computed answers are abducible atoms directly representing the outputs. When restricting to the use of pure Prolog, we provide the semantics of the outputs under the abductive logical framework and show the soundness and completeness of the proof procedure. We compare our approach with conventional backward chaining and finally discuss some further enhancements.

关键词： Prototypes Logic programming Design for disassembly data flow computing

来源：评论

学校读者我要写书评

暂无评论

data flow analysis and testing of Java Server Pages

Data flow analysis and testing of Java Server Pages

引用

IEEE Annual International Computer Software and Applications Conference (COMPSAC)

作者： Chien-Hung Liu Department of Computer Science and Information Engineering National Taipei University of Technology Taiwan

ISBN: (纸本)0769522092

Web applications often rely on server-side scripts to handle HTTP requests, to generate dynamic contents, and to interact with other components. The server-side scripts usually mix with HTML statements and are difficult to understand and test. In particular, these scripts do not have any compiling check and could be error-prone. Thus, it becomes critical to test the server-side scripts for ensuring the quality and reliability of Web applications. We adapt traditional dataflow testing techniques into the context of Java Server Pages (JSP), a very popular server-side script for developing Web applications with Java technology. We point out that the JSP implicit objects and action tags can introduce several unique dataflow test artifacts which need to be addressed. A test model is presented to capture the dataflow information of JSP pages with considerations of various implicit objects and action tags. Based on the test model, we describe an approach to compute the intraprocedural and interprocedural data flow test paths for uncovering the data anomalies of JSP pages.

关键词： data analysis Java Software testing Computer applications data flow computing Application software

来源：评论

学校读者我要写书评

暂无评论

Analysis of TCP flow data for traffic anomaly and scan detection

Analysis of TCP flow data for traffic anomaly and scan detec...

引用

IEEE International Conference on Networks

作者： N. Muraleedharan Centre for Development of Advanced Computing 68 Electronics City Bangalore India

Scanning tools are commonly used by intruders for identifying vulnerable hosts and applications in a network. So from security perspective, to identify the attack in its initial stage and to minimize the impact of attack, it is important to detect scanning activities in a network. We have mainly considered TCP flow because most of the Internet application uses it as a transport protocol. Traditionally, TCP scan traffic detection uses either flag values in the TCP packet header or statistical properties of the connection parameter like number of failed connection attempts. In this paper, we present a novel behaviour analysis of TCP traffic, where by using the flow characteristics, we identify anomalies and scan activities in a network or host. The proposed method provides a generic solution to SYN scan (half open), connect scan, FIN scan, Xmas scan and null scan. Results obtained from our method prove the detection capabilities and accuracy.

关键词： Telecommunication traffic TCPIP data security Level measurement Computer networks data flow computing Cities and towns Internet Transport protocols

来源：评论

学校读者我要写书评

暂无评论

An Empirical Study of the Use of Frankl-Weyuker data flow Testing Criteria to Test BPEL Web Services

An Empirical Study of the Use of Frankl-Weyuker Data Flow Te...

引用

IEEE Annual International Computer Software and Applications Conference (COMPSAC)

作者： Lijun Mei W. K. Chan T. H. Tse Fei-Ching Kuo University of Hong Kong Hong Kong China City University of Hong Kong Hong Kong China Swinburne University of Technology Melbourne Australia

ISBN: (纸本)9781424445257

Programs using service-oriented architecture (SOA) often feature ultra-late binding among components. These components have well-defined interfaces and are known as Web services. Messages between every pair of Web services dually conform to the output interface of a sender and the input interface of a receiver. Unit testing of Web services should not only test the logic of Web services, but also assure the correctness of the Web services during input, manipulation, and output of messages. There is, however, little software testing research in this area. In this paper, we study the unit testing problem to assure components written in orchestration languages, WS-BPEL in particular. We report an empirical study of the effectiveness of the Frankl-Weyuker data flow testing criteria (particularly the all-uses criterion) on WS-BPEL subject programs. Our study shows that conventional data flow testing criteria can be much less effective in revealing faults in interface artifacts (WSDL documents) and message manipulations (XPath queries) than revealing faults in BPEL artifacts.

关键词： Web services Logic testing XML Software testing Application software Service oriented architecture Councils Information retrieval Computer applications data flow computing

来源：评论

学校读者我要写书评

暂无评论

Interprocedural dynamic slicing applied to interprocedural data flow testing

Interprocedural dynamic slicing applied to interprocedural d...

引用

International Conference on Software Maintenance (ICSM)

作者： M. Kramkar P. Fritzson N. Shahmehri Dept. of Comput. & Inf. Sci. Linkoping Univ. Sweden Department of Computer and Information Science Linköping University Linkoping Sweden

During the past ten years several variants of an analysis technique called program slicing have been developed. Program slicing has applications in maintenance tasks such as debugging, testing, program integration, program verification, etc. and can be characterized as a type of dependence analysis. A program slice can loosely be defined as the subset of a program needed to compute a certain variable value at a certain program position. A novel method for interprocedural dynamic slicing which is more precise than interprocedural static slicing methods and is useful for dependence analysis at the procedural abstraction level was given by M. Kamkar et al. (1992, 1993). It is demonstrated here how interprocedural dynamic slicing can be used to increase the reliability and precision of interprocedural data flow testing. The work on data flow testing reported by E. Duesterwald et al. (1992), which is a novel method for data flow testing through output influences, is generalized.< >

关键词： Testing data flow computing Debugging Information science Information analysis Application software Maintenance Performance evaluation data analysis

来源：评论

学校读者我要写书评

暂无评论

DaTeC: Contextual data flow testing of java classes

DaTeC: Contextual data flow testing of java classes

引用

International Conference on Software Engineering - Companion, ICSE, Companion

作者： Giovanni Denaro Alessandra Gorla Mauro Pezze University of Milano Bicocca Milan Italy University of Lugano Lugano Switzerland

Many mature development processes use structural coverage metrics to monitor the quality of testing. Studies suggest that commonly used control flow testing criteria poorly address state-based behavior of object oriented software. This paper presents DaTeC, a tool that provides useful coverage information of Java object states by implementing a novel contextual data flow testing approach.

关键词： Java data analysis Instruments Software testing data flow computing Information analysis Monitoring Runtime Software tools Aggregates

来源：评论

学校读者我要写书评

暂无评论

SCHEDULING OF CAL ACTOR NETWORKS BASED ON DYNAMIC CODE ANALYSIS

SCHEDULING OF CAL ACTOR NETWORKS BASED ON DYNAMIC CODE ANALY...

引用

IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP)

作者： Boutellier, Jani Silven, Olli Raulet, Mickael Univ Oulu Dept Comp Sci & Engn FI-90014 Oulu Finland

ISBN: (纸本)9781457705397

CAL is a dataflow oriented language for writing high-level specifications of signal processing applications. The language has recently been standardized and selected for the new MPEG Reconfigurable Video Coding standard. Application specifications written in CAL can be transformed into executable implementations through development tools. Unfortunately, the present tools provide no way to schedule the CAL entities efficiently at run-time. This paper proposes an automated approach to analyze specifications written in CAL, and produce run-time schedules that perform on average 1.45x faster than implementations relying on default scheduling. The approach is based on quasi-static scheduling, which reduces conditional execution in the run-time system.

关键词： Processor scheduling video coding data flow computing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共88页 << < 19 20 21 22 23 24 25 26 27 28 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：