Showing 391 - 400 results of 428 for search '"Formalism."', query time: 0.02s Refine Results
  1. 391

    Heuristic-guided counterexample search in FLAVERS. by Tan, Jianbin

    Article

    Heuristic-guided counterexample search in FLAVERS.
  2. 392

    Fluid stochastic Petri nets augmented with flush-out arcs a transient analysis technique. by Gribaudo, M.

    Article

    Fluid stochastic Petri nets augmented with flush-out arcs a transient analysis technique.
  3. 393

    The Mobius framework and its implementation. by Deavours, D.D

    Article

    The Mobius framework and its implementation.
  4. 394

    Testing homogeneous spreadsheet grids with the "what you see is what you test" methodology. by Burnett, M.

    Article

    Testing homogeneous spreadsheet grids with the "what you see is what you test" methodology.
  5. 395

    Apportioning a technique for efficient reachability analysis of concurrent object-oriented programs. by Iyer, S.

    Article

    Apportioning a technique for efficient reachability analysis of concurrent object-oriented programs.
  6. 396

    Performance evaluation of mobile processes via abstract machines. by Nottegar, C.

    Article

    Performance evaluation of mobile processes via abstract machines.
  7. 397

    Applying the harmonic plus noise model in concatenative speech synthesis. by Stylianou, Y.

    Article

    Applying the harmonic plus noise model in concatenative speech synthesis.
  8. 398

    Statistical prosodic modeling from corpus design to parameter estimation. by Bellegarda, J.R

    Article

    Statistical prosodic modeling from corpus design to parameter estimation.
  9. 399

    Variable tapered pareto buffer design and implementation allowing run-time configuration for low-power embedded SRAMs. by Hua Wang

    Article

    Variable tapered pareto buffer design and implementation allowing run-time configuration for low-power embedded SRAMs.
  10. 400

    Quadratic forms in complex Gaussian matrices and performance analysis of MIMO systems with cochannel interference. by Ming Kang

    Article

    Quadratic forms in complex Gaussian matrices and performance analysis of MIMO systems with cochannel interference.

Search Tools: