咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 15 篇 会议
  • 6 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 16 篇 工学
    • 13 篇 计算机科学与技术...
    • 9 篇 软件工程
    • 3 篇 电子科学与技术（可...
    • 2 篇 机械工程
    • 2 篇 电气工程
    • 1 篇 力学（可授工学、理...
    • 1 篇 控制科学与工程
  • 7 篇 理学
    • 7 篇 数学
    • 2 篇 物理学
  • 2 篇 管理学
    • 1 篇 管理科学与工程(可...
    • 1 篇 图书情报与档案管...
  • 1 篇 法学
    • 1 篇 社会学

主题

  • 4 篇 logic design
  • 3 篇 computer science
  • 3 篇 boolean function...
  • 3 篇 costs
  • 3 篇 algorithm design...
  • 3 篇 data structures
  • 3 篇 testing
  • 3 篇 formal verificat...
  • 2 篇 sequential circu...
  • 2 篇 logic circuits
  • 2 篇 iterative algori...
  • 2 篇 hardware
  • 1 篇 program debuggin...
  • 1 篇 conferences
  • 1 篇 reachability ana...
  • 1 篇 reliability
  • 1 篇 circuit simulati...
  • 1 篇 productivity
  • 1 篇 computational co...
  • 1 篇 editorials

机构

  • 9 篇 logic and valida...
  • 3 篇 logic and valida...
  • 2 篇 microprocessor g...
  • 2 篇 design technolog...
  • 2 篇 logic and valida...
  • 2 篇 logic and valida...
  • 1 篇 school of comput...
  • 1 篇 ieee computer so...
  • 1 篇 intel's ser tech...
  • 1 篇 mmdc intel corpo...
  • 1 篇 iacr
  • 1 篇 school of comput...
  • 1 篇 see working grou...
  • 1 篇 ieee test techno...
  • 1 篇 logic vision inc...
  • 1 篇 rice universiy h...
  • 1 篇 logic validation...
  • 1 篇 rice university ...
  • 1 篇 laas cnrs
  • 1 篇 dept. of compute...

作者

  • 5 篇 kamhi gila
  • 4 篇 fix limor
  • 3 篇 vardi moshe y.
  • 3 篇 irron amitai
  • 3 篇 khasidashvili zu...
  • 3 篇 g. kamhi
  • 2 篇 z. hanna
  • 2 篇 dasgupta pallab
  • 2 篇 fraer ranan
  • 2 篇 copty fady
  • 2 篇 limor fix
  • 2 篇 ranan fraer
  • 2 篇 basu prasenjit
  • 2 篇 chakrabarti p.p.
  • 2 篇 banerjee ansuman
  • 2 篇 zurab khasidashv...
  • 2 篇 weissberg osnat
  • 2 篇 kropp nathan
  • 2 篇 das sayantan
  • 2 篇 l. fix

语言

  • 20 篇 英文
  • 1 篇 德文
检索条件"机构=Logic and Validation Technology"
共 21 条 记 录，以下是21-30 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
Editorial: Dependability and security
收藏
分享
引用
IEEE Transactions on Dependable and Secure Computing 2008年 第1期5卷 1-3页
作者： Iyer, Ravishankar K. Gligor, Virgil D. Kalbarczyk, Zbigniew T. Kanoun, Karama Katzenbeisser, Stefan Mukherjee, Shubu Shieh, Shiuhpyng Zorian, Yervant Department of Electrical and Computer Engineering Carnegie Mellon University Microsoft's Trusted Computing Academic Advisory Board Center for Reliable and High-Performance Computing Coordinated Science Laboratory University of Illinois Urbana-Champaign United States IEEE IEEE Computer Society LAAS CNRS IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance Special Interest Group on Dependability Benchmarking IFIP Working Group 10.4 French SEE Technical Committee on Trustworthy Computer Systems SEE Working Group Design and Validation for Dependability Technical University Munich Germany Darmstadt University of Technology ACM IACR Intel's SER Tech Council Intel's Architecture Patent Committee Taiwan Information Security Center NCTU IEEE Reliability Society Taipei and Tainan IACR United States Virage Logic Corp. AT and T Bell Laboratories Logic Vision Inc. University of British Columbia IEEE Test Technology Technical Council
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共3页 <<  < 1 2 3 >  >>
回到顶部
执行限定条件