咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 70 篇 工学
    • 67 篇 计算机科学与技术...
    • 53 篇 软件工程
    • 7 篇 电气工程
    • 4 篇 控制科学与工程
    • 3 篇 仪器科学与技术
    • 2 篇 电子科学与技术(可...
    • 2 篇 信息与通信工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 建筑学
    • 1 篇 生物医学工程(可授...
  • 24 篇 理学
    • 24 篇 数学
    • 1 篇 统计学(可授理学、...
  • 4 篇 管理学
    • 3 篇 图书情报与档案管...
    • 2 篇 管理科学与工程(可...
    • 1 篇 工商管理
  • 2 篇 法学
    • 2 篇 法学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 公共卫生与预防医...

主题

  • 25 篇 logic gates
  • 20 篇 logic programmin...
  • 9 篇 silicon
  • 5 篇 capacitance
  • 5 篇 answer set progr...
  • 4 篇 delays
  • 4 篇 algorithm design...
  • 4 篇 hardware
  • 3 篇 registers
  • 3 篇 stream reasoning
  • 3 篇 films
  • 3 篇 vectors
  • 3 篇 linear programmi...
  • 3 篇 overgrounding
  • 3 篇 probabilistic lo...
  • 3 篇 electric fields
  • 3 篇 grounding
  • 3 篇 uncertainty
  • 3 篇 instantiation of...
  • 3 篇 pipeline process...

机构

  • 3 篇 univ calabria de...
  • 2 篇 department of ph...
  • 2 篇 abb research lad...
  • 2 篇 dipartimento di ...
  • 2 篇 univ new s wales...
  • 2 篇 department of mi...
  • 2 篇 institute of sol...
  • 1 篇 univ paris cnrs ...
  • 1 篇 wesleyan univers...
  • 1 篇 science and tech...
  • 1 篇 tyndall national...
  • 1 篇 department of co...
  • 1 篇 univ porto dep c...
  • 1 篇 univ calabria de...
  • 1 篇 vienna universit...
  • 1 篇 katholieke univ ...
  • 1 篇 univ wisconsin d...
  • 1 篇 univ nova lisboa...
  • 1 篇 univ rennes inri...
  • 1 篇 university of te...

作者

  • 4 篇 zangari jessica
  • 3 篇 ianni giovambatt...
  • 3 篇 pacenza francesc...
  • 2 篇 i. pappas
  • 2 篇 maher michael j.
  • 2 篇 dovier agostino
  • 2 篇 gennady i. zebre...
  • 2 篇 calimeri frances...
  • 2 篇 n. novkovski
  • 2 篇 perri simona
  • 1 篇 sun yanchun
  • 1 篇 ali khayri a. m.
  • 1 篇 karlsson roland
  • 1 篇 mileo alessandra
  • 1 篇 bhattacharya sam...
  • 1 篇 sileno giovanni
  • 1 篇 kaminski r.
  • 1 篇 chun-hung chen
  • 1 篇 polleres axel
  • 1 篇 p.k. hurley

语言

  • 100 篇 英文
  • 2 篇 其他
检索条件"任意字段=28th International Conference on Logic Programming, ICLP 2012"
102 条 记 录,以下是31-40 订阅
排序:
Mutation-Based Test Generation for PLC Embedded Software Using Model Checking  28th
Mutation-Based Test Generation for PLC Embedded Software Usi...
收藏 引用
28th IFIP WG 6.1 international conference on Testing Software and Systems (ICTSS)
作者: Enoiu, Eduard P. Sundmark, Daniel Causevic, Adnan Feldt, Robert Pettersson, Paul Malardalen Univ Software Testing Lab Vasteras Sweden Blekinge Inst Technol Karlskrona Sweden
Testing is an important activity in engineering of industrial embedded software. In certain application domains (e.g., railway industry) engineering software is certified according to safety standards that require ext... 详细信息
来源: 评论
Geometric programming Formulation for Gate Sizing with Pipelining Constraints  28
Geometric Programming Formulation for Gate Sizing with Pipel...
收藏 引用
28th international conference on VLSI Design (VLSID) / 14th international conference on Embedded Systems
作者: Naidu, Srinath R. Int Inst Informat Technol Bangalore 560100 Karnataka India
We propose a novel framework to solve the combined retiming/gate sizing problem in the context of optimization of acyclic pipelines. the adjustment of sizes to gates in a combinational circuit is a continuous problem,... 详细信息
来源: 评论
Bridging Representations of Laws, of Implementations and of Behaviours  28
Bridging Representations of Laws, of Implementations and of ...
收藏 引用
28th Annual international conference on Legal Knowledge and Information Systems (JURIX)
作者: Sileno, Giovanni Boer, Alexander Van Engers, Tom Univ Amsterdam Leibniz Ctr Law Amsterdam Netherlands
To align representations of law, of implementations of law and of concrete behaviours, we designed a common ground representational model for the three domains, based on the notion of position, building upon Petri net... 详细信息
来源: 评论
Design of a Compact Reversible Carry Look-Ahead Adder Using Dynamic programming  28
Design of a Compact Reversible Carry Look-Ahead Adder Using ...
收藏 引用
28th international conference on VLSI Design (VLSID) / 14th international conference on Embedded Systems
作者: Lisa, Nusrat Jahan Babu, Hafiz Md. Hasan Ahasnaullah Univ Sci & Technol Dept Comp Sci & Engn Dhaka Bangladesh Univ Dhaka Dept Comp Sci & Engn Dhaka 1000 Bangladesh
this paper presents a new method for designing a reversible carry look-ahead adder (RCLA) based on dynamic programming. In this method, we propose a faster technique for generating carry output, which also outperforms... 详细信息
来源: 评论
A case based approach to concrete deterioration assessment  28
A case based approach to concrete deterioration assessment
收藏 引用
28th international conference on Computer Applications in Industry and Engineering, CAINE 2015
作者: Neves, Jose Gomes, Guida Machado, Jose Vicente, Henrique Centro Algoritmi Universidade Do Minho Braga Portugal Departamento de Química Centro de Química de Évora Escola de Ciências e Tecnologia Universidade de Évora Évora Portugal
the deterioration of concrete infrastructures is of concern since maintenance and repair require large amounts of resources. It is a multifaceted and complex phenomenon, with multiple causes, namely age, use, maintena... 详细信息
来源: 评论
2SAT based Infeasibility Resolution during Design Rule Correction on Layouts with Multiple Grids  28
2SAT based Infeasibility Resolution during Design Rule Corre...
收藏 引用
28th international conference on VLSI Design (VLSID) / 14th international conference on Embedded Systems
作者: Salodkar, Nitin Rajagopalan, Subramanian Bhattacharya, Sambuddha Batterywala, Shabbir Samsung Res Inst Bangalore Karnataka India Synopsys India Pvt Ltd Bangalore Karnataka India
Traditionally, automatic design rule correction (DRC) problem is modeled as a linear program with technology rules and design intents modeled as difference constraints under a minimum perturbation objective. However, ... 详细信息
来源: 评论
Conditional Permissions in Contracts  28
Conditional Permissions in Contracts
收藏 引用
28th Annual international conference on Legal Knowledge and Information Systems (JURIX)
作者: Pace, Gordon J. Schapachnik, Fernando Schneider, Gerardo Univ Malta Msida Malta Univ Buenos Aires Buenos Aires DF Argentina Univ Gothenburg Gothenburg Sweden
Defining and characterising conditional permissions has never been easy. Part of the problem, we believe, comes from the fact that there is not one but a whole family of possible deontic operators, all of them distinc... 详细信息
来源: 评论
Reasoning about the state change of authorization policie  28th
Reasoning about the state change of authorization policie
收藏 引用
28th international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2015
作者: Bai, Yun Caprin, Edward Zhang, Yan Artificial Intelligence Research Group School of Computing Engineering and Mathematics University of Western Sydney South Penrith Australia
Reasoning about authorization policies has been a prominent issue in information security research. In a complex information sharing and exchange environment, a user’s request may initiate a sequence of executions of... 详细信息
来源: 评论
Geometric programming Formulation for Gate Sizing with Pipelining Constraints
Geometric Programming Formulation for Gate Sizing with Pipel...
收藏 引用
international conference on VLSI Design
作者: Srinath R. Naidu International Institute of Information Technology Bangalore
We propose a novel framework to solve the combined retiming/gate sizing problem in the context of optimization of acyclic pipelines. the adjustment of sizes to gates in a combinational circuit is a continuous problem,... 详细信息
来源: 评论
Design of a Compact Reversible Carry Look-Ahead Adder Using Dynamic programming
Design of a Compact Reversible Carry Look-Ahead Adder Using ...
收藏 引用
international conference on VLSI Design
作者: Nusrat Jahan Lisa Hafiz Md. Hasan Babu Department of Computer Science and Engineering Ahasnaullah University of Science and Technology Dhaka Bangladesh Dhaka University Dhaka Dhaka District BD
this paper presents a new method for designing a reversible carry look-ahead adder (RCLA) based on dynamic programming. In this method, we propose a faster technique for generating carry output, which also outperforms... 详细信息
来源: 评论