Mostra 981 - 990 risultati di 1.829 ricerca '"Algorithm."', tempo di risposta: 0,02s Raffina i risultati
  1. 981

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

    Articolo

    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. di Xu, Chang

    Articolo

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

    Reengineering towards components using "Reconn-exion". di Le Gear, Andrew

    Articolo

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

    Test prioritization for pairwise interaction coverage. di Bryce, Renée C.

    Articolo

    Test prioritization for pairwise interaction coverage.
  5. 985

    Generating optimal distinguishing sequences with a model checker. di Robinson-Mallett, Christopher

    Articolo

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

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

    Articolo

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

    Some agent theory for the semantic web. di Fass, Leona F.

    Articolo

    Some agent theory for the semantic web.
  8. 988

    Surfing the net for software engineering notes. di Doernhoefer, Mark

    Articolo

    Surfing the net for software engineering notes.
  9. 989

    Efficient incremental algorithms for dynamic detection of likely invariants. di Perkins, Jeff H.

    Articolo

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

    PSE explaining program failures via postmortem static analysis. di Manevich, Roman

    Articolo

    PSE explaining program failures via postmortem static analysis.

Strumenti per la ricerca: