I/UCRC for Computer Engineering System Center, A Planning Grant Proposal
I/UCRC for Computer Engineering System Center, A Planning Grant Proposal
批准号:
9312908
负责人:
Kishor Trivedi
金额:
$5.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1993
资助国家:
美国
项目状态:
已结题
起止时间:
1993-07-01 至 1994-12-31
中文摘要
小行星9312908 美国计算机工业受到软件设计的不同阶段之间缺乏协同作用的影响,如规范,可制造性,性能,可靠性和成本评估。 杜克大学的计算机工程系统研究的工业/大学合作研究中心可以提供一个更好的机制,以促进高性能、可靠的硬件和软件系统领域的基础研究的发展和应用,这些系统用于实时系统、局域网和广域网、制造系统、飞行控制系统和指挥控制系统。 一个规划会议将研究工业界是否支持杜克大学计算机工程系统研究的工业/大学合作研究中心。 会议将讨论行业利益,并确定该中心是否有足够的支持和优点,以满足行业/大学合作研究中心计划的标准。 拟议的研究项目将涉及:1)系统工程的形式化方法; 2)可靠和高性能分布式系统和网络的设计原则; 3)使用人工神经网络解决复杂的设计和调度问题;以及4)软件质量,可靠性和安全性的统计方法。 首席研究员是公认的杰出研究员,并拥有本次规划会议的资源。 该项目与国家科学基金会计算机和计算研究部副主任布鲁斯巴恩斯博士进行了协调和费用分摊。 项目经理建议为杜克大学提供为期6个月的50,000美元的计划会议。 ***
英文摘要
9312908 Trivedi The American computer industry is affected by a lack of synergism between the different phases of software design such as specification, manufacturability, performance, reliability, and cost assessment. An Industry/University Cooperative Research Center on Computer Engineering System Research at Duke University could provide a better mechanism to advance the development and application of basic research in the area of high performance, dependable hardware, and software system for applications such as real-time system, local and wide area networks, manufacturing systems, flight-control systems, and command and control systems. A planning meeting will study if industry will support an Industry/University Cooperative Research Center on Computer Engineering System Research at Duke University. The meeting will address industry interest and determine if the Center has sufficient support and merit to meet the Industry/University Cooperative Research Centers Program criteria. The proposed research projects will address: 1) Formal methods in system engineering; 2) design principle of dependable and high performance distributed systems and networks; 3) use of artificial neural networks to solve complex design and scheduling problems; and 4) statistical methodologies in software quality, reliability, and safety. The Principle Investigator is recognized as an eminent researcher and has the resource for this planning meeting. This project has been coordinated and cost-shared with Dr. Bruce Barnes, Deputy Director of the Division of Computer and Computation Research at the National Science Foundation. The Program Manager recommends Duke University be awarded $50,000 for 6 months for this planning meeting. ***
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Fast Sign-Off of Machine Learning Systems: From Circuit-Level Modeling to Statistical System Validation
-
批准号:1813567
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2018
-
负责人:Kishor Trivedi
-
依托单位:
TWC: TTP Option: Small: Collaborative: SRN: On Establishing Secure and Resilient Networking Services
-
批准号:1523994
-
项目类别:Standard Grant
-
资助金额:$23.7万
-
财政年份:2015
-
负责人:Kishor Trivedi
-
依托单位:
NeTS: Small: Collaborative Research: Analytic Modeling and Enhancement of Vehicular Ad Hoc Networks for Safety Related Applications
-
批准号:1017722
-
项目类别:Standard Grant
-
资助金额:$14.75万
-
财政年份:2010
-
负责人:Kishor Trivedi
-
依托单位:
Collaborative Research: CT-ER MiMANSaS: Metrics, Models and Analysis of Network Security and Survivability
-
批准号:0831325
-
项目类别:Standard Grant
-
资助金额:$14.64万
-
财政年份:2008
-
负责人:Kishor Trivedi
-
依托单位:
Collaborative Project: NSF Partnership in the Center for Advanced Computing and Communication
-
批准号:9980591
-
项目类别:Continuing Grant
-
资助金额:$19.9万
-
财政年份:1999
-
负责人:Kishor Trivedi
-
依托单位:
US-Italy Cooperative Research: Dependability Modeling and Analysis of Phased-Mission Systems
-
批准号:9972009
-
项目类别:Standard Grant
-
资助金额:$2.2万
-
财政年份:1999
-
负责人:Kishor Trivedi
-
依托单位:
U.S.-Korea Cooperative Research on Performance Analysis Methodology for the Future Wireless Communicatin Systems
-
批准号:9727221
-
项目类别:Standard Grant
-
资助金额:$5.08万
-
财政年份:1998
-
负责人:Kishor Trivedi
-
依托单位:
Challenges in CISE: TUNE: System Support for Memory-Friendly Programming
-
批准号:9726370
-
项目类别:Continuing Grant
-
资助金额:$154.79万
-
财政年份:1997
-
负责人:Kishor Trivedi
-
依托单位:
I/UCRC for Advanced Computing and Communication: Architecture-Based Estimation of Software Reliability
-
批准号:9714965
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:1997
-
负责人:Kishor Trivedi
-
依托单位:
Industry/University Cooperative Research Center for Advanced Computing and Communication
-
批准号:9418765
-
项目类别:Continuing Grant
-
资助金额:$114.81万
-
财政年份:1994
-
负责人:Kishor Trivedi
-
依托单位:
CS&E Research Associate: High Performance Computing in Stochastic Modeling
-
批准号:9310243
-
项目类别:Standard Grant
-
资助金额:$4.62万
-
财政年份:1993
-
负责人:Kishor Trivedi
-
依托单位:
Towards a Theory of Hierarchical Modeling
-
批准号:9108114
-
项目类别:Continuing Grant
-
资助金额:$15.72万
-
财政年份:1991
-
负责人:Kishor Trivedi
-
依托单位:
Analysis of Parallel and Distributed Systems (Computer Science)
-
批准号:8302000
-
项目类别:Standard Grant
-
资助金额:$9.69万
-
财政年份:1983
-
负责人:Kishor Trivedi
-
依托单位:
Sfc Travel Support (In Indian Currency) to Collaborate on Computer Systems at Indian Institute of Science, Bangalore, India, January 1, 1982
-
批准号:8120702
-
项目类别:Standard Grant
-
资助金额:$0.26万
-
财政年份:1982
-
负责人:Kishor Trivedi
-
依托单位:
Problems in Computer Configuration Design
-
批准号:7822327
-
项目类别:Standard Grant
-
资助金额:$14.51万
-
财政年份:1979
-
负责人:Kishor Trivedi
-
依托单位:
Travel to Attend Parallel Computers - Parallel Mathematics Imacs (Aica) - Gi Symposium, Munich, Germany, 03/14-16/1977
-
批准号:7709515
-
项目类别:Standard Grant
-
资助金额:$0.08万
-
财政年份:1977
-
负责人:Kishor Trivedi
-
依托单位:
国内基金
海外基金
基于多重计算全息片(Computer-generated Hologram,CGH)的光学非球面干涉绝对检验方法研究
-
批准号:62375132
-
项目类别:面上项目
-
资助金额:54.00万元
-
批准年份:2023
-
负责人:马骏
-
依托单位:
Journal of Computer Science and Technology
-
批准号:61224001
-
项目类别:专项基金项目
-
资助金额:20.0万元
-
批准年份:2012
-
负责人:万晓霰
-
依托单位:
Journal of Computer Science and Technology
-
批准号:61040017
-
项目类别:专项基金项目
-
资助金额:4.0万元
-
批准年份:2010
-
负责人:万晓霰
-
依托单位: