Dangos 22,441 - 22,450 canlyniadau o 22,871 ar gyfer chwilio '"Systems."', amser ymholiad: 0.07e Mireinio'r Canlyniadau
  1. 22441

    Bounding cache-related preemption delay for real-time systems. gan Chang-Gun Lee

    Erthygl

    Bounding cache-related preemption delay for real-time systems.
  2. 22442

    The JEDI event-based infrastructure and its application to the development of the OPSS WFMS. gan Cugola, G.

    Erthygl

    The JEDI event-based infrastructure and its application to the development of the OPSS WFMS.
  3. 22443

    Techniques to tackle state explosion in global predicate detection. gan Alagar, S.

    Erthygl

    Techniques to tackle state explosion in global predicate detection.
  4. 22444

    Static analysis and dynamic steering of time-dependent systems. gan Vicario, E.

    Erthygl

    Static analysis and dynamic steering of time-dependent systems.
  5. 22445

    Formal analysis of a space-craft controller using SPIN. gan Havelund, K.

    Erthygl

    Formal analysis of a space-craft controller using SPIN.
  6. 22446

    Does code decay? Assessing the evidence from change management data. gan Eick, S.G

    Erthygl

    Does code decay? Assessing the evidence from change management data.
  7. 22447

    An introduction to access security in UMTS. gan Koien, G.M

    Erthygl

    An introduction to access security in UMTS.
  8. 22448

    Access security in CDMA2000, including a comparison with UMTS access security. gan Rose, G.

    Erthygl

    Access security in CDMA2000, including a comparison with UMTS access security.
  9. 22449

    Intrusion detection in wireless ad hoc networks. gan Mishra, A.

    Erthygl

    Intrusion detection in wireless ad hoc networks.
  10. 22450

    An electromigration and thermal model of power wires for a priori high-level reliability prediction. gan Casu, M.R

    Erthygl

    An electromigration and thermal model of power wires for a priori high-level reliability prediction.

Offerynnau Chwilio: