<--- Back to Details
First PageDocument Content
Engineering / Facility management / Emergency management / Infrastructure / Simulation / Maintenance /  repair /  and operations / Preventive maintenance / Civil engineering / Maintenance / Knowledge / Management
Date: 2014-03-01 07:46:25
Engineering
Facility management
Emergency management
Infrastructure
Simulation
Maintenance
repair
and operations
Preventive maintenance
Civil engineering
Maintenance
Knowledge
Management

Add to Reading List

Source URL: www.jma.or.jp

Download Document from Source Website

File Size: 947,03 KB

Share Document on Facebook

Similar Documents

Software engineering / Computing / Computer programming / Procedural programming languages / Programming languages / High-level programming languages / Functional languages / Initialization / Variable / ALGOL 68 / Pure / Term

Search, Align, and Repair: Data-Driven Feedback

DocID: 1xVRZ - View Document

Boolean algebra / Forcing / Theoretical computer science / Mathematics / Complete Boolean algebra / Order theory / Assertion / Mathematical logic

Cost-Aware Automatic Program Repair Roopsha Samanta1? , Oswaldo Olivo2 , and E. Allen Emerson2 1 The University of Texas at Austin and IST Austria

DocID: 1xVPw - View Document

Mathematics / Computer programming / Software engineering / Source code / Syntax / Dependency grammar / NC / Term / For loop / Kazhdan's property

Qlose: Program Repair with Quantitative Objectives? Loris D’Antoni1 , Roopsha Samanta2 , and Rishabh Singh3 1 University of Wisconsin-Madison

DocID: 1xVFR - View Document

Computing / Computer programming / Software engineering / Source code / Syntax / Dependency grammar / Expr / NC / For loop / Term

Qlose: Program Repair with Quantitative Objectives⋆ Loris D’Antoni1 , Roopsha Samanta2 , and Rishabh Singh3 1 University of Wisconsin-Madison

DocID: 1xUbk - View Document

Computing / Network architecture / Internet architecture / Routing protocols / Internet / Internet protocols / Internet Standards / Routing / Border Gateway Protocol / Router / Forwarding plane / Control plane

Integrating Verification and Repair into the Control Plane Aaron Gember-Jacobson Costin Raiciu

DocID: 1xTnh - View Document