SHF:Small:Language Support for Ad Hoc Data Processing

SHF:Small:对即席数据处理的语言支持

基本信息

  • 批准号:
    1016937
  • 负责人:
  • 金额:
    $ 50万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2010
  • 资助国家:
    美国
  • 起止时间:
    2010-08-15 至 2014-07-31
  • 项目状态:
    已结题

项目摘要

In every business, engineering endeavour and scientific discipline, workers are digitizing their knowledge with the hope of using computational methods to categorize, query, filter, search, diagnose, and visualize their data. While this effort is leading to remarkable industrial and scientific advances, it is also generating enormous amounts of ad hoc data (i.e., that data for which standard data processing tools such as query engines, statistical packages, graphing tools, or other software is not readily available). Ad hoc data poses tremendous challenges to its users because it is often highly varied, poorly documented, filled with errors, and continuously evolving --- yet ad hoc data also contains much valuable information. The goal of this research is to develop general-purpose software tools and techniques capable of managing ad hoc data efficiently. This research has the potential for a broad impact on society by dramatically improving the productivity of industrial data analysts, computer systems administrators and academics who must deal with ad hoc data on a day-to-day basis.The central technical challenge of the research involves designing, implementing and evaluating a new domain-specific programming language that facilitates the management of ad hoc data sets. This new programming language will allow data analysts to specify the structure of ad hoc data files, how those files are arranged in a file system and what meta-data is associated with them. Once a specification is complete, it will be possible to use it as documentation for the data set or for generating data-processing tools. The research will also involve developing new methods for enabling users to generate specifications quickly and accurately, without actually having to write down all of the details by hand. Finally, the research will develop new algorithms for implementing the generated data-processing tools efficiently.
在每个业务,工程努力和科学纪律中,工人都在数字化知识,希望使用计算方法对其数据进行分类,查询,过滤,搜索,诊断和可视化数据。尽管这项努力导致了显着的工业和科学进步,但它还产生了大量的临时数据(即,不随时可用的标准数据处理工具,例如查询引擎,统计包,绘制工具或其他软件的数据)。临时数据对其用户构成了巨大的挑战,因为它通常多样化,文献不佳,充满错误并不断发展,但临时数据也包含很多有价值的信息。 这项研究的目的是开发能够有效管理临时数据的通用软件工具和技术。 这项研究通过极大地提高工业数据分析师,计算机系统管理人员和学者的生产率来对社会产生广泛的影响,他们必须每天处理临时数据。该研究的核心技术挑战涉及设计,实施和评估新的领域特异性编程语言,以促进Ad Hoc数据集管理的管理。 这种新的编程语言将允许数据分析师指定临时数据文件的结构,这些文件在文件系统中的排列方式以及与它们相关的元数据。 规范完成后,就可以将其用作数据集或生成数据处理工具的文档。 该研究还将涉及开发新方法,以使用户能够快速,准确地生成规格,而无需实际手工写下所有细节。 最后,该研究将开发新算法,以有效地实施生成的数据处理工具。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

David Walker其他文献

The Unanticipated Challenges Associated With Implementing an Observational Study Protocol in a Large-Scale Physical Activity and Global Positioning System Data Collection
在大规模体育活动和全球定位系统数据收集中实施观测研究协议所带来的意外挑战
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    1.7
  • 作者:
    P. McCrorie;David Walker;A. Ellaway
  • 通讯作者:
    A. Ellaway
Impact of quenched random fields on the ferroelectric-to-relaxor crossover in the solid solution (1-x)BaTiO3−xDyFeO3
淬火随机场对固溶体 (1-x)BaTiO3−xDyFeO3 中铁电体到弛豫交叉的影响
  • DOI:
    10.1103/physrevb.98.174104
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    3.7
  • 作者:
    Jian Zhuang;Alexei A. Bokov;Nan Zhang;David Walker;Siqi Huo;Jie Zhang;Wei Ren;Zuo-Guang Ye
  • 通讯作者:
    Zuo-Guang Ye
The Effect of Repetition Rate on Air-Conducted Ocular Vestibular Evoked Myogenic Potentials (oVEMPs).
重复率对气导眼前庭诱发肌源电位 (oVEMP) 的影响。
  • DOI:
    10.1044/2015_aja-15-0011
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    1.8
  • 作者:
    Jamie M. Bogle;D. Zapala;Brittany Burkhardt;Kurt Walker;L. Lundy;Janet Shelfer;Terri L. Pratt;Millicent Garry;David Walker
  • 通讯作者:
    David Walker
Benign prostate hyperplasia as a potential protective factor against prostate cancer: Insights from a magnetic resonance imaging study of compositional characteristics
良性前列腺增生作为前列腺癌的潜在保护因素:成分特征磁共振成像研究的见解
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    K. Nandalur;Robert Colvin;David Walker;S. Nandalur;B. Seifman;David Gangwish;J. Hafron
  • 通讯作者:
    J. Hafron
THE IMPLICATIONS OF FREE AND COMMERCIAL DISTRIBUTION FOR CONDOM USE: EVIDENCE FROM CAMEROON
免费和商业分发对安全套使用的影响:来自喀麦隆的证据
  • DOI:
  • 发表时间:
    2005
  • 期刊:
  • 影响因子:
    0
  • 作者:
    D. Meekers;J. Tchupo;M. Abbo;S. Agha;P. Harvey;G. Stallworthy;David Walker;Julia Miele
  • 通讯作者:
    Julia Miele

David Walker的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('David Walker', 18)}}的其他基金

NeTS: Medium: Foundations and Applications of Modular Verification of Networks
NeTS:媒介:网络模块化验证的基础和应用
  • 批准号:
    2312539
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
A National Electron Diffraction Facility for Nanomaterial Structural Studies
用于纳米材料结构研究的国家电子衍射装置
  • 批准号:
    EP/X014606/1
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Research Grant
IMR: MT: Tools for Programming Distributed Data-plane Measurements
IMR:MT:分布式数据平面测量编程工具
  • 批准号:
    2223515
  • 财政年份:
    2022
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Collaborative Research: FMitF: Track I: Specifying and Verifying Network-wide Properties of Dynamic Data Planes
合作研究:FMitF:第一轨:指定和验证动态数据平面的网络范围属性
  • 批准号:
    2219862
  • 财政年份:
    2022
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
Under the skin of polishing - from nano to macro
皮肤下的抛光——从纳米到宏观
  • 批准号:
    EP/V029304/1
  • 财政年份:
    2021
  • 资助金额:
    $ 50万
  • 项目类别:
    Research Grant
NeTS: Medium: Collaborative Research: Network Configuration Synthesis: A Path to Practical Deployment
NeTS:媒介:协作研究:网络配置综合:实际部署之路
  • 批准号:
    1703493
  • 财政年份:
    2017
  • 资助金额:
    $ 50万
  • 项目类别:
    Continuing Grant
Optimised polishing media - a new approach
优化的抛光介质 - 一种新方法
  • 批准号:
    ST/P003648/1
  • 财政年份:
    2017
  • 资助金额:
    $ 50万
  • 项目类别:
    Research Grant
Novel Mathematical Techniques for Advanced Tool-paths to Transform High-value Optical Fabrication
用于先进刀具路径的新颖数学技术,以改变高价值光学制造
  • 批准号:
    ST/L001950/2
  • 财政年份:
    2016
  • 资助金额:
    $ 50万
  • 项目类别:
    Research Grant
Novel Mathematical Techniques for Advanced Tool-paths to Transform High-value Optical Fabrication
用于先进刀具路径的新颖数学技术,以改变高价值光学制造
  • 批准号:
    ST/L001950/1
  • 财政年份:
    2014
  • 资助金额:
    $ 50万
  • 项目类别:
    Research Grant
TC: Large: Collaborative Research: High-Level Language Support for Trustworthy Networks
TC:大型:协作研究:对可信赖网络的高级语言支持
  • 批准号:
    1111520
  • 财政年份:
    2011
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant

相似国自然基金

靶向Treg-FOXP3小分子抑制剂的筛选及其在肺癌免疫治疗中的作用和机制研究
  • 批准号:
    32370966
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目
化学小分子激活YAP诱导染色质可塑性促进心脏祖细胞重编程的表观遗传机制研究
  • 批准号:
    82304478
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
靶向小胶质细胞的仿生甘草酸纳米颗粒构建及作用机制研究:脓毒症相关性脑病的治疗新策略
  • 批准号:
    82302422
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
HMGB1/TLR4/Cathepsin B途径介导的小胶质细胞焦亡在新生大鼠缺氧缺血脑病中的作用与机制
  • 批准号:
    82371712
  • 批准年份:
    2023
  • 资助金额:
    49 万元
  • 项目类别:
    面上项目
小分子无半胱氨酸蛋白调控生防真菌杀虫活性的作用与机理
  • 批准号:
    32372613
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目

相似海外基金

SHF: Small: A Hybrid Synchronous Language for Verifiable Execution of Cyber-Physical Systems
SHF:Small:一种用于网络物理系统可验证执行的混合同步语言
  • 批准号:
    2348706
  • 财政年份:
    2024
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF: SMALL: Language-agnostic Proofs
SHF:SMALL:与语言无关的证明
  • 批准号:
    2317257
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF: Small: Automated Unit Test Generation using Large Language Models
SHF:小型:使用大型语言模型自动生成单元测试
  • 批准号:
    2307742
  • 财政年份:
    2023
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF: Small: Practical Dynamic Program Reasoning Across Language Boundaries
SHF:小:跨语言边界的实用动态程序推理
  • 批准号:
    2146233
  • 财政年份:
    2022
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
SHF:Small: Collaborative research: Language-Integrated Verification for Deterministic Parallelism
SHF:Small:协作研究:确定性并行性的语言集成验证
  • 批准号:
    2127277
  • 财政年份:
    2021
  • 资助金额:
    $ 50万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了