咨询与建议

限定检索结果

文献类型

  • 12 篇 期刊文献
  • 2 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 11 篇 工学
    • 9 篇 电气工程
    • 7 篇 计算机科学与技术...
    • 3 篇 信息与通信工程
    • 2 篇 电子科学与技术(可...
    • 1 篇 软件工程
  • 1 篇 理学
    • 1 篇 物理学

主题

  • 14 篇 synthesis algori...
  • 1 篇 reflector antenn...
  • 1 篇 performance
  • 1 篇 computer circuit...
  • 1 篇 adjustable chara...
  • 1 篇 supervisory pers...
  • 1 篇 array processor ...
  • 1 篇 circuit timing i...
  • 1 篇 antenna-mismatch...
  • 1 篇 proof of correct...
  • 1 篇 number of iterat...
  • 1 篇 cad for architec...
  • 1 篇 antenna arrays
  • 1 篇 deregulation
  • 1 篇 clock tree topol...
  • 1 篇 circuit cad
  • 1 篇 libraries
  • 1 篇 clock skews
  • 1 篇 accident prevent...
  • 1 篇 hybrid systems

机构

  • 2 篇 colorado state u...
  • 1 篇 department of ma...
  • 1 篇 univ naples fede...
  • 1 篇 basics lab shang...
  • 1 篇 control systems ...
  • 1 篇 ucla department ...
  • 1 篇 john hopcroft ce...
  • 1 篇 klosterneuburg a...
  • 1 篇 natl taipei univ...
  • 1 篇 univ karlsruhe i...
  • 1 篇 univ engn & tech...
  • 1 篇 interconex elect...
  • 1 篇 laboratorium für...
  • 1 篇 shanghai key lab...
  • 1 篇 center for quant...
  • 1 篇 ge dept simulat ...
  • 1 篇 micron technol n...
  • 1 篇 univ pontificia ...
  • 1 篇 rice university ...
  • 1 篇 univ rochester d...

作者

  • 2 篇 pasricha sudeep
  • 1 篇 hwang ks
  • 1 篇 duff da
  • 1 篇 cruz rd
  • 1 篇 sharif atif
  • 1 篇 chen yen-sheng
  • 1 篇 bahirat shirish
  • 1 篇 hartman mj
  • 1 篇 rashidinejad aid...
  • 1 篇 reniers michel
  • 1 篇 white ea
  • 1 篇 dragomirecky m
  • 1 篇 fu hongfei
  • 1 篇 smith wd
  • 1 篇 feng lei
  • 1 篇 dabreu ma
  • 1 篇 liseno a.
  • 1 篇 tabuada paulo
  • 1 篇 latorre g
  • 1 篇 kapadia nishit

语言

  • 10 篇 英文
  • 4 篇 其他
检索条件"主题词=Synthesis Algorithms"
14 条 记 录,以下是1-10 订阅
排序:
Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time
Proving expected sensitivity of probabilistic programs with ...
收藏 引用
Proceedings of the ACM on Programming Languages
作者: Wang, Peixin Fu, Hongfei Chatterjee, Krishnendu Deng, Yuxin Xu, Ming Basics Lab Shanghai Jiao Tong University Shanghai China John Hopcroft Center for Computer Science Shanghai Jiao Tong University Shanghai China Klosterneuburg Austria Shanghai Key Laboratory of Trustworthy Computing East China Normal University China Center for Quantum Computing Pengcheng Laboratory Shenzhen China
The notion of program sensitivity (aka Lipschitz continuity) specifies that changes in the program input result in proportional changes to the program output. For probabilistic programs the notion is naturally extende... 详细信息
来源: 评论
Supervisory Control of Timed Discrete-Event Systems Subject to Communication Delays and Non-FIFO Observations
收藏 引用
IFAC-PapersOnLine 2018年 第7期51卷 456-463页
作者: Rashidinejad, Aida Reniers, Michel Feng, Lei Control Systems Technology Group Department of Mechanical Engineering Eindhoven University of Technology P.O.Box 513 EindhovenMB5600 Netherlands Department of Machine Design KTH Royal Institute of Technology Stockholm100 44 Sweden
Conventional supervisory control synthesis techniques are not adequate anymore when a network between the plant and the supervisor introduces communication delays. This paper presents a method to synthesize a networke... 详细信息
来源: 评论
Broadband reconfigurable matching network using a non-uniform transmission line
收藏 引用
IET CIRCUITS DEVICES & SYSTEMS 2018年 第5期12卷 615-619页
作者: Chen, Yen-Sheng Liu, Po-An Natl Taipei Univ Technol Dept Elect Engn Taipei 10608 Taiwan
In this study, the authors propose the use of distributed elements interconnected with switches to construct a reconfigurable matching network (RMN). Several RMNs are constructed using tunable lumped elements. However... 详细信息
来源: 评论
A Software Framework for Rapid Application-Specific Hybrid Photonic Network-on-Chip synthesis
收藏 引用
ELECTRONICS 2016年 第2期5卷 21-21页
作者: Bahirat, Shirish Pasricha, Sudeep Micron Technol Nonvolatile Engn Longmont CO 80501 USA Colorado State Univ Dept Elect & Comp Engn Ft Collins CO 80523 USA
Network on Chip (NoC) architectures have emerged in recent years as scalable communication fabrics to enable high bandwidth data transfers in chip multiprocessors (CMPs). These interconnection architectures still need... 详细信息
来源: 评论
Controller synthesis for Mode-Target Games
收藏 引用
IFAC-PapersOnLine 2015年 第27期48卷 343-350页
作者: Balkan, Ayca Vardi, Moshe Tabuada, Paulo UCLA Department of Electrical Engineering Los AngelesCA90095 United States Rice University Department of Computer Science HoustonTX77005 United States
Cyber-Physical Systems (CPS) are notoriously difficult to verify due to the intricate interactions between the cyber and the physical components. To address this difficulty, several researchers have argued that the sy... 详细信息
来源: 评论
A framework for low power synthesis of interconnection networks-on-chip with multiple voltage islands
收藏 引用
INTEGRATION-THE VLSI JOURNAL 2012年 第3期45卷 271-281页
作者: Kapadia, Nishit Pasricha, Sudeep Colorado State Univ Dept Elect & Comp Engn Ft Collins CO 80523 USA
The problem of VI-aware Network-on-Chip (NoC) design is extremely challenging, especially with the increasing core counts in today's power-hungry Chip Multiprocessors (CMPs). In this paper, we propose a novel fram... 详细信息
来源: 评论
Fast phase-only synthesis of conformal reflectarrays
收藏 引用
IET MICROWAVES ANTENNAS & PROPAGATION 2010年 第12期4卷 1989-2000页
作者: Capozzoli, A. Curcio, C. D'Elia, G. Liseno, A. Univ Naples Federico II DIBET I-80125 Naples Italy
Phase-only synthesis (POS) techniques represent an important tool for reflectarray design. Indeed, although based on approximate scattering models, for planar antennas, they are numerically effective thanks to the use... 详细信息
来源: 评论
Designing on FPGA for improved performance
Designing on FPGA for improved performance
收藏 引用
9th International Multitopic Conference of Pakistan
作者: Baig, Muhammad Iram Sharif, Atif Sheikh, Inamul Hassan Univ Engn & Technol Taxila Pakistan
The area of Field Programmable Gate array (FPGA) design is evolving at a rapid pace. Advancements in the complexity of the FPGA's architecture mean that now it can be used in far more applications than before. Thi... 详细信息
来源: 评论
Classification of publications and models on transmission expansion planning
收藏 引用
IEEE TRANSACTIONS ON POWER SYSTEMS 2003年 第2期18卷 938-946页
作者: Latorre, G Cruz, RD Areiza, JM Villegas, A Univ Ind Santander Grupo Invest & Sistemas Energia Elect Bucaramanga Colombia Univ Pontificia Bolivariana Inst Energia & Termodinam Medellin Colombia Interconex Elect SA Medellin Colombia
In this paper, the transmission planning state-of-the-art, which was obtained from the review of the most interesting models found in the international technical literature, is presented. The classification of publica... 详细信息
来源: 评论
synthesis of clock tree topologies to implement nonzero clock skew schedule
收藏 引用
IEE PROCEEDINGS-CIRCUITS DEVICES AND SYSTEMS 1999年 第6期146卷 321-326页
作者: Kourtev, IS Friedman, EG Univ Rochester Dept Elect & Comp Engn Rochester NY 14627 USA
Designing the topology of a clock distribution network is considered for a synchronous digital integrated circuit so as to satisfy a nonzero clock skew schedule. A methodology and related algorithms for synthesising t... 详细信息
来源: 评论