Suchergebnisse - "Nondeterministic algorithm"
-
1
Effective Nondeterministic Positive Definiteness Test for Unidiagonal Integral Matrices
ISSN: 2470-881XVeröffentlicht: IEEE 01.09.2016Veröffentlicht in Proceedings (International Symposium on Symbolic and Numeric Algorithms for Scientific Computing) (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
Minimization of AND-EXOR expressions using rewrite rules
ISSN: 0018-9340Veröffentlicht: New York, NY IEEE 01.05.1993Verö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
Hierarchies of recursive computations
ISSN: 0020-7160, 1029-0265Veröffentlicht: Gordon and Breach Science Publishers 01.01.1979Verö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
Recursive turing machines
ISSN: 0020-7160, 1029-0265Veröffentlicht: Gordon and Breach Science Publishers 01.01.1977Verö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
Maximizing Communication Concurrency via Link-Layer Packet Salvaging in Mobile Ad Hoc Networks
ISSN: 1536-1233, 1558-0660Veröffentlicht: New York, NY IEEE 01.04.2007Verö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
Holistic Review of UAV-Centric Situational Awareness: Applications, Limitations, and Algorithmic Challenges
ISSN: 2218-6581, 2218-6581Veröffentlicht: Basel MDPI AG 01.08.2024Verö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
Optimal multi-dimensional vector bin packing using simulated evolution
ISSN: 0920-8542, 1573-0484Veröffentlicht: New York Springer US 01.12.2017Verö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
Engineering Simulated Evolution for Virtual Machine Assignment Problem
ISSN: 0924-669X, 1573-7497Veröffentlicht: New York Springer US 01.09.2015Verö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
Using Nondeterminism to Design Efficient Deterministic Algorithms
ISSN: 0178-4617, 1432-0541Veröffentlicht: New York, NY Springer 01.10.2004Veröffentlicht in Algorithmica (01.10.2004)Volltext
Journal Article -
10
Dynamic programming on a functional memory computer
ISSN: 0898-1221, 1873-7668Veröffentlicht: Elsevier Ltd 01.06.1999Verö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
Nondeterministic dynamic programming on a parallel coprocessing system
ISSN: 0096-3003, 1873-5649Veröffentlicht: New York, NY Elsevier Inc 10.05.2001Verö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
Control Network Programming Illustrated: Solving Problems with Inherent Graph-Like Representation
ISBN: 9780769531311, 0769531318Veröffentlicht: IEEE 01.05.2008Veröffentlicht in 7th IEEE/ACIS International Conference on Computer and Information Science] : (IEEE/ACIS ICIS 2008), in conjunction with 2nd IEEE/ACIS International Workshop on e-Activity : (IEEE/ACIS IWEA 2008) : proceedings, 14-16 May 2008, Portland, Oregon (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
Importance sampling for Ising computers using one-dimensional cellular automata
ISSN: 0018-9340Veröffentlicht: New York, NY IEEE 01.06.1989Verö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

