Foundations of Software Technology and Theoretical Computer Science

Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings

AvKesav V. Nori

Häftad, Engelska, 1986

Del i serien Lecture Notes in Computer Science

549 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

Programmeringsböcker inom Data och IT

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

Häftad

549 kr

Foundations of Software Technology and Theoretical Computer Science

Kesav V. Nori, Sanjeev Kumar

Häftad

549 kr

Foundations of Software Technology and Theoretical Computer Science

Kesav V. Nori, C.E. Veni Madhavan

Häftad

549 kr

Foundations of Software Technology and Theoretical Computer Science

Somenath Biswas, Kesav V. Nori

Häftad

549 kr

Mer från samma serie

Nyhet

Del 16297

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

Häftad

896 kr

Empirical Software Engineering Issues. Critical Assessment and Future Directions

Victor Basili, Dieter Rombach, Kurt Schneider, Barbara Kitchenham, Dietmar Pfahl, Richard Selby

Häftad

549 kr

Wired/Wireless Internet Communications

Hans van den Berg, Geert Heijenk, Evgeny Osipov, Dirk Staehle

Häftad

549 kr

Del 13000

Engineering Artificially Intelligent Systems

William F. Lawless, James Llinas, Donald A. Sofge, Ranjeev Mittu

Häftad

713 kr

Del 11525

Cellular Automata and Discrete Complex Systems

Alonso Castillo-Ramirez, Pedro P. B. de Oliveira

Häftad

534 kr

Del 14841

Electronic Government

Marijn Janssen, Joep Crompvoets, J. Ramon Gil-Garcia, Habin Lee, Ida Lindgren, Anastasija Nikiforova, Gabriela Viale Pereira

Häftad

1 483 kr

Del 9820

Electronic Government

Hans Jochen Scholl, Olivier Glassey, Marijn Janssen, Bram Klievink, Ida Lindgren, Peter Parycek, Efthimios Tambouris, Universität Koblenz-Landau, Tomasz Janowski, Delfina Sá Soares

Häftad

534 kr