咨询与建议

限定检索结果

文献类型

  • 38 篇 会议
  • 7 篇 期刊文献

馆藏范围

  • 45 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 44 篇 工学
    • 34 篇 计算机科学与技术...
    • 23 篇 软件工程
    • 16 篇 电气工程
    • 5 篇 控制科学与工程
    • 3 篇 电子科学与技术(可...
    • 1 篇 材料科学与工程(可...
    • 1 篇 信息与通信工程
  • 5 篇 理学
    • 3 篇 系统科学
    • 1 篇 数学
    • 1 篇 生物学
  • 4 篇 管理学
    • 4 篇 管理科学与工程(可...
    • 1 篇 工商管理

主题

  • 45 篇 program control ...
  • 8 篇 parallel process...
  • 6 篇 loops
  • 6 篇 program compiler...
  • 5 篇 runtime
  • 5 篇 parallel process...
  • 4 篇 parallelising co...
  • 4 篇 reconfigurable a...
  • 4 篇 program diagnost...
  • 4 篇 software
  • 3 篇 program debuggin...
  • 3 篇 compilers
  • 3 篇 libraries
  • 3 篇 memory managemen...
  • 3 篇 computer archite...
  • 3 篇 parallel program...
  • 3 篇 embedded systems
  • 3 篇 computational mo...
  • 3 篇 contraceptive co...
  • 3 篇 data flow analys...

机构

  • 2 篇 e china normal u...
  • 1 篇 indian inst sci ...
  • 1 篇 irst povo
  • 1 篇 catena co
  • 1 篇 department of co...
  • 1 篇 univ wisconsin m...
  • 1 篇 sichuan univ sch...
  • 1 篇 univ valladolid ...
  • 1 篇 tsinghua univ de...
  • 1 篇 chengdu institut...
  • 1 篇 center for smart...
  • 1 篇 control engineer...
  • 1 篇 rmit univ sch co...
  • 1 篇 univ strasbourg ...
  • 1 篇 unist sch ece ul...
  • 1 篇 univ minnesota m...
  • 1 篇 univ nice sophia...
  • 1 篇 univ erlangen nu...
  • 1 篇 univ copenhagen ...
  • 1 篇 information engi...

作者

  • 2 篇 teich juergen
  • 1 篇 ponsini olivier
  • 1 篇 song linhai
  • 1 篇 kenter tobias
  • 1 篇 tonella p
  • 1 篇 carayol arnaud
  • 1 篇 fujita h
  • 1 篇 gupta a
  • 1 篇 alves tiago a.o.
  • 1 篇 cardoso joao m. ...
  • 1 篇 llanos diego r.
  • 1 篇 liu leibo
  • 1 篇 merlo e
  • 1 篇 shin dongkun
  • 1 篇 wijesinghe gayan
  • 1 篇 frança felipe m....
  • 1 篇 wu bin
  • 1 篇 cimitile
  • 1 篇 wolfgang birk
  • 1 篇 stevens reinout

语言

  • 42 篇 英文
  • 1 篇 葡萄牙文
  • 1 篇 其他
  • 1 篇 中文
检索条件"主题词=Program Control Structures"
45 条 记 录,以下是21-30 订阅
排序:
CFEDR: control-Flow Error Detection and Recovery Using Encoded Signatures Monitoring
CFEDR: Control-Flow Error Detection and Recovery Using Encod...
收藏 引用
IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS)
作者: Tan, Lanfang Tan, Ying Xu, Jianjun Natl Univ Def Technol Sch Comp Changsha Peoples R China Sichuan Univ Sch Comp Chengdu Peoples R China
The incorporation of error detection and recovery mechanisms becomes mandatory as the probability of the occurrence of transient faults increases. The detection of control flow errors has been extensively investigated... 详细信息
来源: 评论
Impact on Reliability in the control-Flow of programs under Compiler Optimizations
Impact on Reliability in the Control-Flow of Programs under ...
收藏 引用
Brazilian Symposium on Computing System Engineering (SBESC)
作者: Parizi, Rafael Ferreira, Ronaldo Freitas, Alvaro Carro, Luigi Univ Fed Rio Grande do Sul Inst Informat Porto Alegre RS Brazil
This paper evaluates the impact on reliability in the control-flow of programs that compiler optimizations incur in terms of fault coverage for the Automatic Correction of control-flow Errors technique. This technique... 详细信息
来源: 评论
Termination analysis of multipath loop programs
Termination analysis of multipath loop programs
收藏 引用
4th International Conference on Computational and Information Sciences, ICCIS 2012
作者: Li, Lingna Chengdu Institute of Computer Applications School of Sciences Southwest Petroleum University Chengdu China
In this paper, we analyze termination of multipath linear loop programs by combining the trial difference method and calculation of loop complexity upper bound. Though this method is not complete, it is useful to veri... 详细信息
来源: 评论
An algorithm of program structure adjustment base on interactive disassembly
An algorithm of program structure adjustment base on interac...
收藏 引用
2011 IEEE 2nd International Conference on Software Engineering and Service Science, ICSESS 2011
作者: Tian, Feng Zhang, Youwei Ma, Dengwei Information Engineering University Zhengzhou Henan Province China
In the process of program reverse analyzing, anti-track instruction and indirect jump instruction is common to see and difficult to be automatic disassembly analyzed. This article gives a kind of algorithm to adjust p... 详细信息
来源: 评论
Empirical approach to robust gramian-based analysis of process interactions in control structure selection
Empirical approach to robust gramian-based analysis of proce...
收藏 引用
IEEE Conference on Decision and control
作者: Miguel Castano Arranz Wolfgang Birk Bjorn Halvarsson Control Engineering Group Department of Computer Science and Electrical Engineering Lulea University of Technology SE-971 87 Lulea Sweden Department of Information Technology Uppsala University P O Box 337 SE-751 05 Uppsala Sweden
This paper deals with the estimation of a gramian-based interaction measure from logged process data, and thereby removing the need of creating parametric models prior to the selection of the significant input-output ... 详细信息
来源: 评论
Recovering the Memory Behavior of Executable programs
Recovering the Memory Behavior of Executable Programs
收藏 引用
10th IEEE Working Conference on Source Code Analysis and Manipulation (SCAM)
作者: Ketterlin, Alain Clauss, Philippe INRIA CAMUS Team Rocquencourt France Univ Strasbourg Strasbourg France
This paper deals with the binary analysis of executable programs, with the goal of understanding how they access memory. It explains how to statically build a formal model of all memory accesses. Starting with a contr... 详细信息
来源: 评论
Automatic Verification of Loop Invariants
Automatic Verification of Loop Invariants
收藏 引用
International Conference on Software Maintenance
作者: Ponsini, Olivier Collavizza, Helene Fedele, Carine Michel, Claude Rueher, Michel Univ Nice Sophia Antipolis I3S CNRS F-06903 Sophia Antipolis France
Loop invariants play a major role in program verification. Though various techniques have been applied to automatic loop invariants generation, most interesting ones often generate only candidate invariants. Thus, a k... 详细信息
来源: 评论
On Using LALP to Map an Audio Encoder/Decoder on FPGAs
On Using LALP to Map an Audio Encoder/Decoder on FPGAs
收藏 引用
IEEE International Symposium on Industrial Electronics (ISIE)
作者: Menotti, Ricardo Cardoso, Joao M. P. Fernandes, Marcio M. Marques, Eduardo Univ Tecnol Fed Parana Campo Mourao Brazil Univ Porto Fac Engn Dept Informat Engn Oporto Portugal Univ Fed Sao Carlos Dept Comp Sao Carlos SP Brazil Univ Sao Paulo Inst Ciencias Matemat & Comp Sao Paulo Brazil
This paper presents the use of LALP to implement typical industrial application kernels, ADPCM Encoder and Decoder, in FPGAs. LALP is a domain specific language and its compilation framework aims to the direct mapping... 详细信息
来源: 评论
Visualization of Multithreaded Behavior to Facilitate Maintenance of Complex Software Systems
Visualization of Multithreaded Behavior to Facilitate Mainte...
收藏 引用
7th International Conference on the Quality of Information and Communications Technology (QUATIC)
作者: Truemper, Jonas Bohnet, Johannes Voigt, Stefan Doellner, Juergen Univ Potsdam Hasso Plattner Inst Potsdam Germany
Maintenance accounts for the major part of a software system's total costs. Therein, program comprehension is an important, but complex activity: Typically, up-to-date documentation is not available, so the main r... 详细信息
来源: 评论
Evolving programs with Parameters and Loops
Evolving Programs with Parameters and Loops
收藏 引用
2010 IEEE World Congress on Computational Intelligence
作者: Wijesinghe, Gayan Ciesielski, Vic RMIT Univ Sch Comp Sci & Informat Technol Melbourne Vic 3001 Australia
At the current state of the art, genetic programs do not contain two constructs that commonly occur in programs written by humans, that is, loops and functions with parameters. In this paper we describe an investigati... 详细信息
来源: 评论