Towards a Theory of Hierarchical Modeling
Towards a Theory of Hierarchical Modeling
批准号:
9108114
负责人:
Kishor Trivedi
金额:
$15.72万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1991
资助国家:
美国
项目状态:
已结题
起止时间:
1991-09-15 至 1994-08-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Current performance and reliability modeling techniques and tools are seen to be, by themselves, largely inadequate for obtaining realistic predictions of the behavior of very large scale electronics systems. Numerous authors have experienced difficulties with tractability of large scale models, and have resorted to a variety of specialized, ad hoc techniques. The focus of this project is the development of a high-level formalism (language) for the specification, composition, decomposition, and solution of large scale performance and reliability models. It is expected that this formalism for model composition will aid the modeler in assembling models of these large scale systems and in understanding the errors as well as the gain in efficiency achieved by alternative model composition structures. An automated model pipefitting system is expected to emerge.
期刊论文(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
-
依托单位:
I/UCRC for Computer Engineering System Center, A Planning Grant Proposal
-
批准号:9312908
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:1993
-
负责人:Kishor Trivedi
-
依托单位:
CS&E Research Associate: High Performance Computing in Stochastic Modeling
-
批准号:9310243
-
项目类别:Standard Grant
-
资助金额:$4.62万
-
财政年份:1993
-
负责人: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
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Research on Quantum Field Theory without a Lagrangian Description
-
批准号:24ZR1403900
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:SATOSHI NAWATA
-
依托单位:
基于isomorph theory研究尘埃等离子体物理量的微观动力学机制
-
批准号:12247163
-
项目类别:专项项目
-
资助金额:18.00万元
-
批准年份:2022
-
负责人:黄栋
-
依托单位:
Toward a general theory of intermittent aeolian and fluvial nonsuspended sediment transport
-
批准号:--
-
项目类别:--
-
资助金额:55万元
-
批准年份:2022
-
负责人:Thomas Pahtz
-
依托单位:
英文专著《FRACTIONAL INTEGRALS AND DERIVATIVES: Theory and Applications》的翻译
-
批准号:12126512
-
项目类别:数学天元基金项目
-
资助金额:12.0万元
-
批准年份:2021
-
负责人:李常品
-
依托单位:
基于Restriction-Centered Theory的自然语言模糊语义理论研究及应用
-
批准号:61671064
-
项目类别:面上项目
-
资助金额:65.0万元
-
批准年份:2016
-
负责人:史树敏
-
依托单位: