Foundations of Software Technology and Theoretical Computer Science
Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings
Del i serien Lecture Notes in Computer Science
550 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Produktinformation
- Utgivningsdatum:1986-11-01
- Mått:155 x 235 x 29 mm
- Vikt:803 g
- Format:Häftad
- Språk:Engelska
- Serie:Lecture Notes in Computer Science
- Antal sidor:518
- Upplaga:1986
- Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN:9783540171799
Utforska kategorier
Innehållsförteckning
- Software Development Graphs a unifying concept for software development?.- Concurrent runtime checking of annotated Ada programs.- Recovery of noncurrent variables in source-level debugging of optimized code.- Automatic retargetable code generation: A new technique.- An implementation of OBJ2: An object-oriented language for abstract program specification.- Explicit representation of terms defined by counter examples.- A framework for intelligent backtracking in logic programs.- A generalization of Backus' FP.- Shortest-path motion.- Via assignment in single row routing.- Average-case analysis of the Modified Harmonic algorithm.- Covering minima and lattice point free convex bodies.- Binary decompositions and acyclic schemes.- Thin homogeneous sets of factors.- Irreducible polynomials over finite fields.- Basis reduction and evidence for transcendence of certain numbers.- A characterization of asynchronous message-passing.- Modular synthesis of deadlock-free control structures.- Distributed resource sharing in computer networks.- On proving communication closedness of distributed layers.- A distributed algorithm for edge-disjoint path problem.- Scheduling of hard real-time systems.- A polynomial approximation scheme for machine scheduling on uniform processors: Using the dual approximation approach.- Connectivity algorithms using rubber bands.- On simple and creative sets in NP.- Complexity of sufficient-completeness.- Sampling a population with a semi-random source.- An optimal parallel algorithm for dynamic expression evaluation and its applications.- Extension of the parallel nested dissection algorithm to path algebra problems.- On synthesizing systolic arrays from Recurrence Equations with Linear Dependencies.- An efficient parallel algorithm for term matching.
Mer från samma författare
Foundations of Software Technology and Theoretical Computer Science
Kesav V. Nori, Sanjeev Kumar
550 kr
Foundations of Software Technology and Theoretical Computer Science
Kesav V. Nori, C.E. Veni Madhavan
550 kr
Foundations of Software Technology and Theoretical Computer Science
Somenath Biswas, Kesav V. Nori
550 kr
Mer från samma serie
Multiobjective Optimization
Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński
534 kr
Knowledge Graphs
Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang
897 kr
Ambient Intelligence
Emile Aarts, Boris de Ruyter, Panos Markopoulos, Evert van Loenen, Reiner Wichert, Ben Schouten, Jacques Terken, Rob Van Kranenburg, Elke Den Ouden, Gregory O'Hare
550 kr
Advances in Visual Computing
George Bebis, Richard Boyle, Bahram Parvin, Darko Koracin, Daniela Ushizima, Sek Chai, Shinjiro Sueda, Xin Lin, Aidong Lu, Daniel Thalmann, Chaoli Wang, Panpan Xu
897 kr
Relational and Kleene-Algebraic Methods in Computer Science
R. Berghammer, Bernhard Möller, Georg Struth
534 kr
Towards Mechanized Mathematical Assistants
Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger
534 kr
Du kanske också är intresserad av
Foundations of Software Technology and Theoretical Computer Science
Kesav V. Nori, C.E. Veni Madhavan
550 kr
Foundations of Software Technology and Theoretical Computer Science
Somenath Biswas, Kesav V. Nori
550 kr
Foundations of Software Technology and Theoretical Computer Science
Kesav V. Nori, Sanjeev Kumar
550 kr
- Signerad!
- Nyhet
Tsaren i egen hög person : hur Vladimir Putin lurade oss alla
Roman Badanin, Michail Rubin
349 kr
- -22%
- -22%
- -22%
- 4 för 3