Del 241 - Lecture Notes in Computer Science

Foundations of Software Technology and Theoretical Computer Science

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

Häftad, Engelska, 1986

Av Kesav V. Nori

739 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1986-11-01
Mått155 x 235 x 29 mm
Vikt803 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor518
Upplaga1986
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540171799

Tillhör följande kategorier

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

Del 287

Foundations of Software Technology and Theoretical Computer Science

739 kr

Foundations of Software Technology and Theoretical Computer Science

Del 338

Foundations of Software Technology and Theoretical Computer Science

Kesav V. Nori, Sanjeev Kumar

739 kr

Foundations of Software Technology and Theoretical Computer Science

Del 472

Foundations of Software Technology and Theoretical Computer Science

Kesav V. Nori, C.E. Veni Madhavan, C. E. Veni Madhavan

739 kr

Foundations of Software Technology and Theoretical Computer Science

Del 560

Foundations of Software Technology and Theoretical Computer Science

Somenath Biswas, Kesav V. Nori

739 kr

Du kanske också är intresserad av

Lucia är död

Nyhet

Del 3

Lucia är död

Katarina Wennstam

259 kr299 kr

Foundations of Software Technology and Theoretical Computer Science

Del 472

Foundations of Software Technology and Theoretical Computer Science

Kesav V. Nori, C.E. Veni Madhavan, C. E. Veni Madhavan

739 kr

Foundations of Software Technology and Theoretical Computer Science

Del 287

Foundations of Software Technology and Theoretical Computer Science

739 kr

Foundations of Software Technology and Theoretical Computer Science

Del 560

Foundations of Software Technology and Theoretical Computer Science

Somenath Biswas, Kesav V. Nori

739 kr

Historiens återkomst: Europa och världsordningens sammanbrott

Nyhet

Historiens återkomst: Europa och världsordningens sammanbrott

329 kr

Foundations of Software Technology and Theoretical Computer Science

Del 338

Foundations of Software Technology and Theoretical Computer Science

Kesav V. Nori, Sanjeev Kumar

739 kr

Gränsöverskridaren

Nyhet

Del 6

Gränsöverskridaren

289 kr319 kr

Inte krig och inte fred

Nyhet

Del 4

Inte krig och inte fred

269 kr299 kr

Den yttersta hemligheten

Nyhet

Del 6

Den yttersta hemligheten

329 kr

Hitster Christmas

Hitster Christmas

Jumbo

259 kr