Đang hiển thị 981 - 990 kết quả của 1,829 cho tìm kiếm '"Algorithm"', thời gian truy vấn: 0.02s Tinh chỉnh kết quả
  1. 981

    PR-Miner automatically extracting implicit programming rules and detecting violations in large software code. Bằng Li, Zhenmin

    Xuất bản năm Software engineering notes.
    Bài viết

    PR-Miner automatically extracting implicit programming rules and detecting violations in large software code.
  2. 982

    Inconsistency detection and resolution for context-aware middleware support. Bằng Xu, Chang

    Xuất bản năm Software engineering notes.
    Bài viết

    Inconsistency detection and resolution for context-aware middleware support.
  3. 983

    Reengineering towards components using "Reconn-exion". Bằng Le Gear, Andrew

    Xuất bản năm Software engineering notes.
    Bài viết

    Reengineering towards components using "Reconn-exion".
  4. 984

    Test prioritization for pairwise interaction coverage. Bằng Bryce, Renée C.

    Xuất bản năm Software engineering notes.
    Bài viết

    Test prioritization for pairwise interaction coverage.
  5. 985

    Generating optimal distinguishing sequences with a model checker. Bằng Robinson-Mallett, Christopher

    Xuất bản năm Software engineering notes.
    Bài viết

    Generating optimal distinguishing sequences with a model checker.
  6. 986

    Scenarios and state machines: models, algorithms, and tools a summary of the 4th workshop. Bằng Bontemps, Yves

    Xuất bản năm Software engineering notes.
    Bài viết

    Scenarios and state machines: models, algorithms, and tools a summary of the 4th workshop.
  7. 987

    Some agent theory for the semantic web. Bằng Fass, Leona F.

    Xuất bản năm Software engineering notes.
    Bài viết

    Some agent theory for the semantic web.
  8. 988

    Surfing the net for software engineering notes. Bằng Doernhoefer, Mark

    Xuất bản năm Software engineering notes.
    Bài viết

    Surfing the net for software engineering notes.
  9. 989

    Efficient incremental algorithms for dynamic detection of likely invariants. Bằng Perkins, Jeff H.

    Xuất bản năm Software engineering notes.
    Bài viết

    Efficient incremental algorithms for dynamic detection of likely invariants.
  10. 990

    PSE explaining program failures via postmortem static analysis. Bằng Manevich, Roman

    Xuất bản năm Software engineering notes.
    Bài viết

    PSE explaining program failures via postmortem static analysis.

Công cụ tìm kiếm: