Showing 281 - 290 results of 440 for search '"Parallelism."', זמן שאילתה: 0.02s Refine Results
  1. 281

    Software verification and validation with destiny a parallel approach to automated theorem proving. מאת Dykstra, Josiah

    Article

    Software verification and validation with destiny a parallel approach to automated theorem proving.
  2. 282

    Compositional refinement of interactive systems. מאת Broy, Manfred

    הוצא לאור ב Journal of the ACM
    Article

    Compositional refinement of interactive systems.
  3. 283

    Time-work tradeoffs for parallel algorithms. מאת Spencer, Thomas H.

    הוצא לאור ב Journal of the ACM
    Article

    Time-work tradeoffs for parallel algorithms.
  4. 284

    Fast nearest neighbor algorithms on a linear array with a reconfigurable pipelined bus system. מאת Pan, Yi

    Article

    Fast nearest neighbor algorithms on a linear array with a reconfigurable pipelined bus system.
  5. 285

    Application-specific array processors for the longest common subsequence problem of three sequences. מאת Luce, Guillaume

    Article

    Application-specific array processors for the longest common subsequence problem of three sequences.
  6. 286

    A Parallel Demand-Driven Simulation Algorithm for SIMD Computers. מאת Fouliras, P.E

    Article

    A Parallel Demand-Driven Simulation Algorithm for SIMD Computers.
  7. 287

    Parallel algorithms to compute the Eigenvalues and Eigenvectors of symmetric toeplitz matrices. מאת Badia, J.M

    Article

    Parallel algorithms to compute the Eigenvalues and Eigenvectors of symmetric toeplitz matrices.
  8. 288

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. מאת Dingel, Juergen

    הוצא לאור ב Software engineering notes.
    Article

    Automating comprehensive safety analysis of concurrent programs using verisoft and TXL.
  9. 289

    Parallel simulation techniques for large-scale networks. מאת Bhatt, S.

    הוצא לאור ב IEEE Communications magazine
    Article

    Parallel simulation techniques for large-scale networks.
  10. 290

    A survey of data multicast techniques, architectures, andalgorithms. מאת Mir, N.F

    הוצא לאור ב IEEE Communications magazine
    Article

    A survey of data multicast techniques, architectures, andalgorithms.

כלי חיפוש: