CSR-EHS: Virtual Node Abstraction Layers for Designing Embedded Systems
CSR-EHS: Virtual Node Abstraction Layers for Designing Embedded Systems
批准号:
0715397
负责人:
Nancy Lynch
金额:
$18.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2007
资助国家:
美国
项目状态:
已结题
起止时间:
2007-08-01 至 2011-07-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
This project is developing the notion of Virtual Node Layers (VNLayers) as a foundation for implementing embedded applications in dynamic networks, such as mobile wireless networks. VN Layers are programming abstraction layers consisting of abstract machines called Virtual Nodes (VNs), plus Client Nodes, which are counterparts of physical computing nodes, plus a local communication service connecting Virtual and Client Nodes. VN Layers vary in their assumptions about timing and failures. A VN Layer may be emulated over a physical network, using replicated-state-machine, leader-based, or quorum-based strategies. Such a layer can provide a simple, well-behaved platform for programming dynamic network applications, a task which is currently difficult.Virtual Node Layers appear to be especially well suited for implementing control and coordination applications, including mobile robot coordination, intelligent highway management, and air-traffic management applications. Here, VNs can collect real-world information, exchange information with other VNs, plan activities for real-world entities, and disseminate the plans. For example, a system of VNs programmed as traffic lights can be used to manage the activity of cars in a highway system.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
AF: Small: An Algorithmic Theory of Brain Behavior: Concept Representation and Learning in Spiking Neural Networks
-
批准号:2139936
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2022
-
负责人:Nancy Lynch
-
依托单位:
AF: Small: Distributed Algorithms for Dynamic, Noisy Platforms: Wireless Networks, Robot Swarms, and Insect Colonies
-
批准号:2003830
-
项目类别:Standard Grant
-
资助金额:$34.94万
-
财政年份:2020
-
负责人:Nancy Lynch
-
依托单位:
NSF-BSF: AF: Small: An Algorithmic Theory of Brain Networks
-
批准号:1810758
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2018
-
负责人:Nancy Lynch
-
依托单位:
AF: Medium: Distributed Algorithms for Resource-Constrained and Dynamic Settings
-
批准号:1461559
-
项目类别:Continuing Grant
-
资助金额:$74.14万
-
财政年份:2015
-
负责人:Nancy Lynch
-
依托单位:
AF: Small: Bounded-Contention Coding for Wireless Networks
-
批准号:1217506
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2012
-
负责人:Nancy Lynch
-
依托单位:
CCF-AF: Abstract Medium Access Control Layers
-
批准号:0937274
-
项目类别:Standard Grant
-
资助金额:$84.82万
-
财政年份:2010
-
负责人:Nancy Lynch
-
依托单位:
CPS: Medium: Collaborative Research: Geometric Distributed Algorithms for Multi-Robot Coordination and Control
-
批准号:1035199
-
项目类别:Standard Grant
-
资助金额:$34.0万
-
财政年份:2010
-
负责人:Nancy Lynch
-
依托单位:
Theoretical Foundations for Reliable Computing in Unreliable Mobile ad hoc Networks
-
批准号:0726514
-
项目类别:Standard Grant
-
资助金额:$27.5万
-
财政年份:2007
-
负责人:Nancy Lynch
-
依托单位:
Extending the Power and Applicability of the Timed Input/Output Automata Framework
-
批准号:0702670
-
项目类别:Standard Grant
-
资助金额:$46.0万
-
财政年份:2007
-
负责人:Nancy Lynch
-
依托单位:
CSR--EHS: Collaborative Research: Verification of Probabilistic Hybrid Systems: Stability and Beyond
-
批准号:0614414
-
项目类别:Continuing Grant
-
资助金额:$23.0万
-
财政年份:2006
-
负责人:Nancy Lynch
-
依托单位:
ITR/SY: Communication and Data Sharing Services for Dynamic Distributed Systems
-
批准号:0121277
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2001
-
负责人:Nancy Lynch
-
依托单位:
Building Blocks for Distributed Applications: Theory and Practice
-
批准号:9909114
-
项目类别:Standard Grant
-
资助金额:$8.0万
-
财政年份:1999
-
负责人:Nancy Lynch
-
依托单位:
The IOA Language and Toolset: Support for Designing, Analyzing, and Building Distributed Systems
-
批准号:9876931
-
项目类别:Continuing Grant
-
资助金额:$36.0万
-
财政年份:1999
-
负责人:Nancy Lynch
-
依托单位:
CISE Postdoctoral Research Associates in Experimental Computer Science: Support for Developing Highly Available Distributed Applications
-
批准号:9901592
-
项目类别:Standard Grant
-
资助金额:$6.6万
-
财政年份:1999
-
负责人:Nancy Lynch
-
依托单位:
Practical Formal Methods for the Design and Analysis of Complex Concurrent Systems
-
批准号:9804665
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:1998
-
负责人:Nancy Lynch
-
依托单位:
The Topological Approach to Asynchronous Computability
-
批准号:9520298
-
项目类别:Continuing Grant
-
资助金额:$22.81万
-
财政年份:1996
-
负责人:Nancy Lynch
-
依托单位:
A Unified Framework for Verification and Complexity Analysis of Real-Time and Distributed Systems
-
批准号:9225124
-
项目类别:Continuing Grant
-
资助金额:$32.4万
-
财政年份:1993
-
负责人:Nancy Lynch
-
依托单位:
Summer Institute in Japan for U.S. Graduate Students in Science and Engineering
-
批准号:9210596
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1992
-
负责人:Nancy Lynch
-
依托单位:
Distributed Algorithms
-
批准号:8915206
-
项目类别:Continuing Grant
-
资助金额:$41.83万
-
财政年份:1990
-
负责人:Nancy Lynch
-
依托单位:
Modularity of Distributed Algorithms
-
批准号:8611442
-
项目类别:Continuing Grant
-
资助金额:$51.66万
-
财政年份:1986
-
负责人:Nancy Lynch
-
依托单位:
国内基金
海外基金
登录
查看更多内容
不同F1小鼠影响EHS生长的研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:
-
依托单位:
靶向调控环氧二十碳三烯酸/环氧化物水解酶(EETs/EHs轴延缓IgA肾病进展的作用与机制研究
-
批准号:CSTB2022NSCQ-LZX0027
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2022
-
负责人:刘俊彦
-
依托单位:
EHS3D-MT数据的RRMC统一处理与反演解释
-
批准号:41874087
-
项目类别:面上项目
-
资助金额:63.0万元
-
批准年份:2018
-
负责人:白登海
-
依托单位:
东喜马拉雅构造结及周围地区深部三维结构与动力学(EHS3D)-第二阶段
-
批准号:41330212
-
项目类别:重点项目
-
资助金额:315.0万元
-
批准年份:2013
-
负责人:白登海
-
依托单位:
EHS3D-MT数据的静位移校正与畸变分析
-
批准号:40974043
-
项目类别:面上项目
-
资助金额:56.0万元
-
批准年份:2009
-
负责人:白登海
-
依托单位:
东喜马拉雅构造结及周围地区深部三维结构与动力学(EHS3D)-第一阶段
-
批准号:40634025
-
项目类别:重点项目
-
资助金额:160.0万元
-
批准年份:2006
-
负责人:白登海
-
依托单位: