NeTS: Small: A Virtualized Network Resource Pool for Software-Defined Network Management
NeTS: Small: A Virtualized Network Resource Pool for Software-Defined Network Management
批准号:
1712674
负责人:
Zhong Shao
金额:
$35.07万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2016
资助国家:
美国
项目状态:
已结题
起止时间:
2016-07-01 至 2019-09-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Management of today's networks usually requires an army of operators who devote tremendous time and energy. Software-defined networking (SDN) has been shown to be a promising paradigm for simplifying network management. However, management tasks in SDNs require the use of constrained network resources: switch memory and CPU, and the switch-controller network bandwidth. Given these resource constraints, network operators may have to reason about resource usage when initiating network management tasks.This project seeks to explore the space of resource management for software-defined network management. Specifically, it will examine the design of virtualized resource pools that provide the abstraction of (nearly) infinite resources (memory, CPU and switch), while dynamically adapting to the resource needs of these network management tasks. This approach has the advantage that network operators do not have to reason about resource usage when instantiating network management tasks. The research will yield resource management algorithms, improved resource usage designs, and systems implementations for virtualized resource pools.Network operators make billion-dollar investments in network infrastructures, but put little thought into visibility and control of these infrastructures. This project can lead to better-managed, more reliable, and more resource-efficient network infrastructures in ISPs, enterprises and clouds. These efforts eventually will have broader societal impact by enabling commercial, social, and scientific advances. The proposal will give underrepresented groups and undergraduates opportunities to participate in research and will likely result in technology transfer to major cloud providers and ISPs.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Compositional Certified Concurrent Abstraction Layers
-
批准号:2313433
-
项目类别:Standard Grant
-
资助金额:$54.0万
-
财政年份:2023
-
负责人:Zhong Shao
-
依托单位:
PPoSS: Planning: High-Performance Certified Trust for Global-Scale Applications
-
批准号:2118851
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2021
-
负责人:Zhong Shao
-
依托单位:
FMitF: Track I: ADVERT: Compositional Atomic Specifications for Distributed System Verification
-
批准号:2019285
-
项目类别:Standard Grant
-
资助金额:$74.99万
-
财政年份:2020
-
负责人:Zhong Shao
-
依托单位:
SHF: Medium: DeepSEA: A Language for Programming and Synthesizing Certified Software
-
批准号:1763399
-
项目类别:Continuing Grant
-
资助金额:$80.0万
-
财政年份:2018
-
负责人:Zhong Shao
-
依托单位:
SaTC: CORE: Small: Formal End-to-End Verification of Information-Flow Security for Complex Systems
-
批准号:1715154
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2017
-
负责人:Zhong Shao
-
依托单位:
AitF: The Fuzzy Log: A Unifying Abstraction for the Theory and Practice of Distributed Systems
-
批准号:1637385
-
项目类别:Standard Grant
-
资助金额:$60.0万
-
财政年份:2016
-
负责人:Zhong Shao
-
依托单位:
Collaborative Research: Expeditions in Computing: The Science of Deep Specification
-
批准号:1521523
-
项目类别:Continuing Grant
-
资助金额:$204.64万
-
财政年份:2015
-
负责人:Zhong Shao
-
依托单位:
SHF: Small: VeriQ: Formal Quantitative Software Verification in Realistic Application Scenarios
-
批准号:1319671
-
项目类别:Standard Grant
-
资助金额:$44.97万
-
财政年份:2013
-
负责人:Zhong Shao
-
依托单位:
TC: Medium: Making OS Kernels Crash-Proof by Design and Certification
-
批准号:1065451
-
项目类别:Standard Grant
-
资助金额:$111.63万
-
财政年份:2011
-
负责人:Zhong Shao
-
依托单位:
TC:Large:Collaborative Research:Combininig Foundational and Lightweight Formal Methods to Build Certifiably Dependable Software
-
批准号:0910670
-
项目类别:Standard Grant
-
资助金额:$58.0万
-
财政年份:2009
-
负责人:Zhong Shao
-
依托单位:
TC:Small: Formal Reasoning about Concurrent Programs for Multicore and Multiprocessor Machines
-
批准号:0915888
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2009
-
负责人:Zhong Shao
-
依托单位:
CPA-SEL-T: Domain Specific Languages, Logics, and Proofs for Certified Software Design
-
批准号:0811665
-
项目类别:Continuing Grant
-
资助金额:$85.0万
-
财政年份:2008
-
负责人:Zhong Shao
-
依托单位:
CT-ISG: Certified Runtime Code Manipulation
-
批准号:0716540
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2007
-
负责人:Zhong Shao
-
依托单位:
CT-ISG: Modular Development of Certified Concurrent Code
-
批准号:0524545
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2005
-
负责人:Zhong Shao
-
依托单位:
Collaborative Research: High-Assurance Common Language Runtime
-
批准号:0208618
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2002
-
负责人:Zhong Shao
-
依托单位:
ITR: FLINT---A Mobile-Code Infrastructure for Advanced Languages
-
批准号:0081590
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:2000
-
负责人:Zhong Shao
-
依托单位:
Typed Common Intermediate Format
-
批准号:9901011
-
项目类别:Continuing Grant
-
资助金额:$32.0万
-
财政年份:1999
-
负责人:Zhong Shao
-
依托单位:
CAREER: Type-Directed Compilation
-
批准号:9501624
-
项目类别:Continuing Grant
-
资助金额:$10.5万
-
财政年份:1995
-
负责人:Zhong Shao
-
依托单位:
国内基金
海外基金
登录
查看更多内容
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:
-
依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2022
-
负责人:张祥忠
-
依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
-
批准号:32000033
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:林平
-
依托单位:
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
-
批准号:31972324
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2019
-
负责人:高学文
-
依托单位:
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
-
批准号:81900988
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2019
-
负责人:毛梦莹
-
依托单位:
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
-
批准号:31870821
-
项目类别:面上项目
-
资助金额:56.0万元
-
批准年份:2018
-
负责人:陈江宁
-
依托单位:
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
-
批准号:31802058
-
项目类别:青年科学基金项目
-
资助金额:26.0万元
-
批准年份:2018
-
负责人:麻慧
-
依托单位:
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
-
批准号:31772128
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2017
-
负责人:吴建国
-
依托单位:
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
-
批准号:81704176
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2017
-
负责人:赵继梦
-
依托单位:
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
-
批准号:91640114
-
项目类别:重大研究计划
-
资助金额:85.0万元
-
批准年份:2016
-
负责人:何祖华
-
依托单位: