On-line Avoidance of Monitoring Intrusion in Distributed Systems
On-line Avoidance of Monitoring Intrusion in Distributed Systems
批准号:
9704350
负责人:
Rajiv Gupta
金额:
$15.6万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1997
资助国家:
美国
项目状态:
已结题
起止时间:
1997-09-01 至 1999-08-05
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Run-time monitoring provides an effective means for aiding in the difficult tasks of developing, testing and maintaining distributed computations. However, monitoring activities introduce intrusion, which can potentially alter the behavior of the computation being monitored. This project is investigating techniques to accommodate the effects of monitoring intrusion such that a computation will exhibit the same behavior while being monitored as it would have exhibited in the absence of monitoring. This project focuses on a variety of approaches, which encompass processor scheduling, communication protocols, time maintenance and process synchronization. The techniques developed will be incorporated into a system for the on- line monitoring of distributed computations, for experimentation and evaluation. This project is conducted jointly by Rajiv Gupta of University of Pittsburgh and Madalene Spezialetti of Trinity College, CT under grant CCR 9704332.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: CT-DDS -- Scalable Concolic Testing of Parallel Applications With Shared Dynamic Data Structures
-
批准号:2226448
-
项目类别:Standard Grant
-
资助金额:$60.0万
-
财政年份:2022
-
负责人:Rajiv Gupta
-
依托单位:
SHF: Small: MIGS -- Efficiently Evaluating Multiple Iterative Graph Queries
-
批准号:2002554
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2020
-
负责人:Rajiv Gupta
-
依托单位:
PPoSS: Planning: Dynamic Big Graph Store for High-Throughput and Secure Distributed Query Processing
-
批准号:2028714
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2020
-
负责人:Rajiv Gupta
-
依托单位:
TWC: Small: Collaborative: Improving Android Security with Dynamic Slicing
-
批准号:1617424
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2016
-
负责人:Rajiv Gupta
-
依托单位:
SHF: Small: Transformations for Synergistic Analysis of Large Evolving Graphs
-
批准号:1524852
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2015
-
负责人:Rajiv Gupta
-
依托单位:
SHF: Small: Memory Consistency -- Hardware, Compiler, and Programming Support
-
批准号:1318103
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2013
-
负责人:Rajiv Gupta
-
依托单位:
SHF: Medium: Programmable Monitoring Framework for Multicore Systems
-
批准号:0963996
-
项目类别:Continuing Grant
-
资助金额:$57.68万
-
财政年份:2010
-
负责人:Rajiv Gupta
-
依托单位:
ExPert: dynamic analysis based fault location via Execution Perturbations
-
批准号:0810906
-
项目类别:Continuing Grant
-
资助金额:$19.61万
-
财政年份:2008
-
负责人:Rajiv Gupta
-
依托单位:
CSR-AES-RCS: Scalable and Efficient Dynamic Information Flow Tracking in Multithreaded Programs
-
批准号:0719791
-
项目类别:Standard Grant
-
资助金额:$18.0万
-
财政年份:2007
-
负责人:Rajiv Gupta
-
依托单位:
CRI: IAD An Advanced Infrastructure for Generation, Storage, and Analysis of Program Execution Traces
-
批准号:0708199
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2007
-
负责人:Rajiv Gupta
-
依托单位:
CSR-AES-RCS: Scalable and Efficient Dynamic Information Flow Tracking in Multithreaded Programs
-
批准号:0751961
-
项目类别:Standard Grant
-
资助金额:$18.0万
-
财政年份:2007
-
负责人:Rajiv Gupta
-
依托单位:
CRI: IAD An Advanced Infrastructure for Generation, Storage, and Analysis of Program Execution Traces
-
批准号:0751949
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2007
-
负责人:Rajiv Gupta
-
依托单位:
ST-CRTS: Dynamic Unmasking of Compiler Optimizations and Obfuscations
-
批准号:0753470
-
项目类别:Standard Grant
-
资助金额:$24.6万
-
财政年份:2007
-
负责人:Rajiv Gupta
-
依托单位:
ST-CRTS: Dynamic Unmasking of Compiler Optimizations and Obfuscations
-
批准号:0541382
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2006
-
负责人:Rajiv Gupta
-
依托单位:
ExPert: dynamic analysis based fault location via Execution Perturbations
-
批准号:0614707
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Rajiv Gupta
-
依托单位:
ITR: Collaborative Research: Morphable Software Sevices: Self-Modifying Programs for Distributed Embedded Systems
-
批准号:0324969
-
项目类别:Continuing Grant
-
资助金额:$16.62万
-
财政年份:2003
-
负责人:Rajiv Gupta
-
依托单位:
Information Encoding for Energy Efficient Processor Design
-
批准号:0208756
-
项目类别:Continuing Grant
-
资助金额:$28.0万
-
财政年份:2002
-
负责人:Rajiv Gupta
-
依托单位:
ITR: Code and Data Segment Optimizations for Mixed Width Instruction Set Embedded Processor
-
批准号:0220334
-
项目类别:Continuing Grant
-
资助金额:$14.91万
-
财政年份:2002
-
负责人:Rajiv Gupta
-
依托单位:
Data Compression Techniques for Improving Memory Hierarchy Performance
-
批准号:0105355
-
项目类别:Continuing Grant
-
资助金额:$27.0万
-
财政年份:2001
-
负责人:Rajiv Gupta
-
依托单位:
On-line Avoidance of Monitoring Intrusion in Distributed Systems
-
批准号:9996362
-
项目类别:Standard Grant
-
资助金额:$7.35万
-
财政年份:1999
-
负责人:Rajiv Gupta
-
依托单位:
海外基金