CISE Research Instrumentation
CISE Research Instrumentation
批准号:
8920080
负责人:
Gail Kaiser
金额:
$4.41万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1990
资助国家:
美国
项目状态:
已结题
起止时间:
1990-03-15 至 1990-08-31
中文摘要
将为哥伦比亚大学计算机科学系的研究人员提供一个文件服务器。该设备是在计算机和信息科学与工程项目研究仪器补助金下提供的。该设备将用于系统构建领域的研究,特别是软件开发环境和编程语言。
英文摘要
A file server will be provided for researchers at Columbia University for research in the Department of Computer Science. This equipment is provided under the Instrumentation Grants for Research in Computer and Information Science and Engineering program. The research for which the equipment is to be used will be in the areas of system building, especially software development environments and programming languages.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SaTC: CORE: Medium: Cannot Trust Anything: A Tiny TCB Architecture for Secure Containers
-
批准号:2247370
-
项目类别:Continuing Grant
-
资助金额:$120.0万
-
财政年份:2023
-
负责人:Gail Kaiser
-
依托单位:
SHF: Small: Preponderance of the Evidence for Behavioral Code Similarities
-
批准号:1815494
-
项目类别:Standard Grant
-
资助金额:$49.66万
-
财政年份:2018
-
负责人:Gail Kaiser
-
依托单位:
TWC: Medium: Toward Trustworthy Mutable Replay for Security Patches
-
批准号:1563555
-
项目类别:Standard Grant
-
资助金额:$120.0万
-
财政年份:2016
-
负责人:Gail Kaiser
-
依托单位:
SHF: MEDIUM: Achieving Software Reliability without True Test Oracles
-
批准号:1161079
-
项目类别:Continuing Grant
-
资助金额:$89.46万
-
财政年份:2012
-
负责人:Gail Kaiser
-
依托单位:
CSR---VCM: Autonomic Mechanisms for Reducing System Downtime due to Maintenance and Upgrades
-
批准号:0717544
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Gail Kaiser
-
依托单位:
Smart Event Models and Architectures
-
批准号:0203876
-
项目类别:Continuing Grant
-
资助金额:$27.0万
-
财政年份:2002
-
负责人:Gail Kaiser
-
依托单位:
Component Technologies for Next-Generation Software Development Environments
-
批准号:9970790
-
项目类别:Continuing Grant
-
资助金额:$22.5万
-
财政年份:1999
-
负责人:Gail Kaiser
-
依托单位:
CISE Research Instrumentation: Semantics-based Prefetching for Mobile Computing
-
批准号:9529304
-
项目类别:Standard Grant
-
资助金额:$4.67万
-
财政年份:1996
-
负责人:Gail Kaiser
-
依托单位:
Components for Decentralized Process-Centered Environments
-
批准号:9301092
-
项目类别:Continuing Grant
-
资助金额:$21.7万
-
财政年份:1993
-
负责人:Gail Kaiser
-
依托单位:
Multi-Agent Rule-Based Development Environments
-
批准号:9106368
-
项目类别:Continuing Grant
-
资助金额:$23.63万
-
财政年份:1991
-
负责人:Gail Kaiser
-
依托单位:
Distributed Language-based Environments
-
批准号:9000930
-
项目类别:Continuing Grant
-
资助金额:$10.0万
-
财政年份:1990
-
负责人:Gail Kaiser
-
依托单位:
Presidential Young Investigator Award: Computer Science (Software)
-
批准号:8858029
-
项目类别:Continuing Grant
-
资助金额:$31.2万
-
财政年份:1988
-
负责人:Gail Kaiser
-
依托单位:
Distributed Language-based Environments
-
批准号:8802741
-
项目类别:Standard Grant
-
资助金额:$14.63万
-
财政年份:1988
-
负责人:Gail Kaiser
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Research on Quantum Field Theory without a Lagrangian Description
-
批准号:24ZR1403900
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:SATOSHI NAWATA
-
依托单位:
Cell Research
-
批准号:31224802
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:程磊
-
依托单位:
Cell Research
-
批准号:31024804
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:程磊
-
依托单位:
Cell Research (细胞研究)
-
批准号:30824808
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2008
-
负责人:张爱兰
-
依托单位:
Research on the Rapid Growth Mechanism of KDP Crystal
-
批准号:10774081
-
项目类别:面上项目
-
资助金额:45.0万元
-
批准年份:2007
-
负责人:滕冰
-
依托单位: