Suchergebnisse - "Nondeterministic algorithm"

  • Treffer 1 - 13 von 13
Treffer weiter einschränken
  1. 1

    Effective Nondeterministic Positive Definiteness Test for Unidiagonal Integral Matrices von Mroz, Andrzej

    ISSN: 2470-881X
    Veröffentlicht: IEEE 01.09.2016
    “… For standard algorithms verifying positive definiteness of a matrix A ∈ Mn(R) based on Sylvester's criterion, the computationally pessimistic case is this when …”
    Volltext
    Tagungsbericht
  2. 2

    Minimization of AND-EXOR expressions using rewrite rules von Brand, D., Sasao, T.

    ISSN: 0018-9340
    Veröffentlicht: New York, NY IEEE 01.05.1993
    Veröffentlicht in IEEE Trans. Comput (01.05.1993)
    “… Conditions for generating optimal two-level AND-EXOR representations using rewrite rules are considered. Four results are presented. First, it is shown that a …”
    Volltext
    Journal Article
  3. 3

    Hierarchies of recursive computations von Stimson, Michael J., Savitch, Walter J.

    ISSN: 0020-7160, 1029-0265
    Veröffentlicht: Gordon and Breach Science Publishers 01.01.1979
    Veröffentlicht in International journal of computer mathematics (01.01.1979)
    “… A recursive version of the Turing machine model is used to analyze the time and storage complexity of recursive algorithms. Hierarchy theorems are proven for …”
    Volltext
    Journal Article
  4. 4

    Recursive turing machines von Savitch, Walter J.

    ISSN: 0020-7160, 1029-0265
    Veröffentlicht: Gordon and Breach Science Publishers 01.01.1977
    Veröffentlicht in International journal of computer mathematics (01.01.1977)
    “… The Turing machine model is extended to allow for recursive calls and the basic theory of these machines is developed. The model is also used to study the …”
    Volltext
    Journal Article
  5. 5

    Maximizing Communication Concurrency via Link-Layer Packet Salvaging in Mobile Ad Hoc Networks von Yu, C., Shin, K.G., Song, L.

    ISSN: 1536-1233, 1558-0660
    Veröffentlicht: New York, NY IEEE 01.04.2007
    Veröffentlicht in IEEE transactions on mobile computing (01.04.2007)
    “… Carrier-sense medium access control (MAC) protocols such as the IEEE 802.11 distributed coordination function (DCF) avoid collisions by holding up pending …”
    Volltext
    Magazine Article
  6. 6

    Holistic Review of UAV-Centric Situational Awareness: Applications, Limitations, and Algorithmic Challenges von MahmoudZadeh, Somaiyeh, Yazdani, Amirmehdi, Kalantari, Yashar, Ciftler, Bekir, Aidarus, Fathi, Al Kadri, Mhd Omar

    ISSN: 2218-6581, 2218-6581
    Veröffentlicht: Basel MDPI AG 01.08.2024
    Veröffentlicht in Robotics (Basel) (01.08.2024)
    “… This paper presents a comprehensive survey of UAV-centric situational awareness (SA), delineating its applications, limitations, and underlying algorithmic …”
    Volltext
    Journal Article
  7. 7

    Optimal multi-dimensional vector bin packing using simulated evolution von Sait, Sadiq M., Shahid, Kh. Shahzada

    ISSN: 0920-8542, 1573-0484
    Veröffentlicht: New York Springer US 01.12.2017
    Veröffentlicht in The Journal of supercomputing (01.12.2017)
    “… The use of the evolutionary heuristic simulated evolution for the optimization of the multi-dimensional vector bin packing problem, which is encountered in …”
    Volltext
    Journal Article
  8. 8

    Engineering Simulated Evolution for Virtual Machine Assignment Problem von Sait, Sadiq M., Shahid, Kh. Shahzada

    ISSN: 0924-669X, 1573-7497
    Veröffentlicht: New York Springer US 01.09.2015
    Veröffentlicht in Applied intelligence (Dordrecht, Netherlands) (01.09.2015)
    “… Cloud computing is a rapidly growing services business in today’s IT market. Its sharp growth is producing many challenges for cloud managers. One primary …”
    Volltext
    Journal Article
  9. 9

    Using Nondeterminism to Design Efficient Deterministic Algorithms von Chen, Jianer, Firesen, Donald K., Jia, Weijia, Kanj, Iyad A.

    ISSN: 0178-4617, 1432-0541
    Veröffentlicht: New York, NY Springer 01.10.2004
    Veröffentlicht in Algorithmica (01.10.2004)
    Volltext
    Journal Article
  10. 10

    Dynamic programming on a functional memory computer von Lew, A., Halverson, R.

    ISSN: 0898-1221, 1873-7668
    Veröffentlicht: Elsevier Ltd 01.06.1999
    Veröffentlicht in Computers & mathematics with applications (1987) (01.06.1999)
    “… In a previous paper [1], we described the solution of dynamic programming problems on a new class of parallel processing systems, the Hawaii Parallel Computer …”
    Volltext
    Journal Article
  11. 11

    Nondeterministic dynamic programming on a parallel coprocessing system von Lew, Art

    ISSN: 0096-3003, 1873-5649
    Veröffentlicht: New York, NY Elsevier Inc 10.05.2001
    Veröffentlicht in Applied mathematics and computation (10.05.2001)
    “… We describe how nondeterministic dynamic programming (DP) algorithms can be designed for a new class of parallel coprocessing systems using “functional …”
    Volltext
    Journal Article Tagungsbericht
  12. 12

    Control Network Programming Illustrated: Solving Problems with Inherent Graph-Like Representation von Kratchanov, K., Golemanova, E., Golemanov, T.

    ISBN: 9780769531311, 0769531318
    Veröffentlicht: IEEE 01.05.2008
    “… Control network programming (CNP) is a style of high-level programming created to be especially convenient for solving problems with natural graph-like …”
    Volltext
    Tagungsbericht
  13. 13

    Importance sampling for Ising computers using one-dimensional cellular automata von Hortensius, P.D., Card, H.C., McLeod, R.D., Pries, W.

    ISSN: 0018-9340
    Veröffentlicht: New York, NY IEEE 01.06.1989
    Veröffentlicht in IEEE transactions on computers (01.06.1989)
    “… The authors demonstrate that one-dimensional (1-D) cellular automata (CA) form the basis of efficient VLSI architectures for computations involved in the Monte …”
    Volltext
    Journal Article