Using Coq in specification and program extraction of Hadoop MapReduce applications

被引：0
|
作者：
Ono, Kosuke [1 ]
Hirai, Yoichi [1 ]
Tanabe, Yoshinori [2 ]
Noda, Natsuko [3 ]
Hagiya, Masami [1 ]
机构：
[1] University of Tokyo, Japan
[2] National Institute of Informatics, Japan
[3] NEC Corporation, Japan
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2011年 / 7041 LNCS卷
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Theorem proving - Computer software - Specifications
引用
收藏
页码：350 / 365
相关论文
共 50 条
  • [1] Using Coq in Specification and Program Extraction of Hadoop Map Reduce Applications
    Ono, Kosuke
    Hirai, Yoichi
    Tanabe, Yoshinori
    Noda, Natsuko
    Hagiya, Masami
    [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, 2011, 7041 : 350 - +
  • [2] MapReduce Based Analysis of Sample Applications Using Hadoop
    Ghazi, Mohd Rehan
    Raghava, N. S.
    [J]. APPLICATIONS OF COMPUTING AND COMMUNICATION TECHNOLOGIES, ICACCT 2018, 2018, 899 : 34 - 44
  • [3] Analysis of Resource Usage Profile for MapReduce Applications Using Hadoop on Cloud
    Liu, Zheyuan
    Mu, Dejun
    [J]. 2012 INTERNATIONAL CONFERENCE ON QUALITY, RELIABILITY, RISK, MAINTENANCE, AND SAFETY ENGINEERING (ICQR2MSE), 2012, : 1500 - 1504
  • [4] SmartGrids: MapReduce Framework using Hadoop
    Fanibhare, Vaibhav
    Dahake, Vijay
    [J]. 2016 3RD INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING AND INTEGRATED NETWORKS (SPIN), 2016, : 406 - 411
  • [5] Using Hadoop MapReduce in a Multicluster Environment
    Tomasic, I.
    Rashkovska, A.
    Depolli, M.
    [J]. 2013 36TH INTERNATIONAL CONVENTION ON INFORMATION AND COMMUNICATION TECHNOLOGY, ELECTRONICS AND MICROELECTRONICS (MIPRO), 2013, : 345 - 350
  • [6] Conductor Temperature Estimation Using the Hadoop MapReduce Framework for Smart Grid Applications
    Pan, Sheng-Kai
    Jiang, Joe-Air
    Chen, Chia-Pang
    [J]. 2014 IEEE INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS, 2014 IEEE 6TH INTL SYMP ON CYBERSPACE SAFETY AND SECURITY, 2014 IEEE 11TH INTL CONF ON EMBEDDED SOFTWARE AND SYST (HPCC,CSS,ICESS), 2014, : 1243 - 1247
  • [7] Architecture of Efficient Word Processing using Hadoop MapReduce for Big Data Applications
    Mandal, Bichitra
    Sahoo, Ramesh Kumar
    Sethi, Srinivas
    [J]. PROCEEDINGS 2015 INTERNATIONAL CONFERENCE ON MAN AND MACHINE INTERFACING (MAMI), 2015,
  • [8] Data Analysis using Hadoop MapReduce Environment
    Merla, PrathyushaRani
    Liang, Yiheng
    [J]. 2017 IEEE INTERNATIONAL CONFERENCE ON BIG DATA (BIG DATA), 2017, : 4783 - 4785
  • [9] Clustering on Big Data Using Hadoop MapReduce
    Akthar, Nadeem
    Ahamad, Mohd Vasim
    Khan, Shahbaz
    [J]. 2015 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND COMMUNICATION NETWORKS (CICN), 2015, : 789 - 795
  • [10] Analysis of Virtualized Congestion Control in Applications Based on Hadoop MapReduce
    Moro, Vilson
    Pillon, Mauricio Aronne
    Miers, Charles Christian
    Koslovski, Guilherme Piegas
    [J]. HIGH PERFORMANCE COMPUTING SYSTEMS, WSCAD 2018, 2020, 1171 : 37 - 52
12345