Foundations of Software Technology and Theoretical Computer Science

17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings

AvS. Ramesh,G. Sivakumar

Häftad, Engelska, 1997

Del i serien Lecture Notes in Computer Science

572 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

572 kr

572 kr

572 kr

572 kr

572 kr

571 kr

572 kr

572 kr

572 kr

572 kr

Beskrivning

This book constitutes the refereed proceedings of the 17th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'97. The 18 revised full papers presented were selected from a total of 68 submissions. Also included are five invited papers by Ed Clarke, Deepak Kapur, Madhu Sudan, Vijaya Ramachandran, and Moshe Vardi. Among the topics addressed are concurrency, Petri nets, graph computations, program verification, model checking, recursion theory, rewriting, and error-correcting codes.

Produktinformation

Utgivningsdatum:1997-11-28
Mått:155 x 235 x 20 mm
Vikt:552 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:351
Upplaga:1997
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540638766

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT

Innehållsförteckning

QSM: A general purpose shared-memory model for parallel computation.- Approximating geometric domains through topological triangulations.- Solving some discrepancy problems in NC.- Graph editing to bipartite interval graphs: Exact and asymptotic bounds.- Model checking.- Recursion versus iteration at higher-orders.- Compilation and equivalence of imperative objects.- On the expressive power of rewriting.- Mechanizing verification of arithmetic circuits: SRT division.- On the complexity of parallel implementation of logic programs.- An abductive semantics for disjunctive logic programs and its proof procedure.- Assumption-commitment in automata.- Compositional design of multitolerant repetitive byzantine agreement.- Algorithmic issues in coding theory.- Sharper results on the expressive power of generalized quantifiers.- Improved lowness results for solvable black-box group problems.- On resource-bounded measure and pseudorandomness.- Verification of open systems.- Hoare-Style compositional proof systems for reactive shared variable concurrency.- A simple characterization of stuttering bisimulation.- General refinement for high level petri nets.- Polynomial-Time Many-One reductions for Petri nets.- Computing reachability properties hidden in finite net unfoldings.

Mer från samma författare

Machine Intelligence in Mechanical Engineering

K. Palanikumar, Elango Natarajan, S. Ramesh, J. Paulo Davim

Häftad, 2024

2 079 kr

Machine Intelligence in Mechanical Engineering

J. Paulo Davim, S. Ramesh, Elango Natarajan, K. Palanikumar

E-bok

2024

2 960 kr

Emerging Trends and Applications of Deep Learning for Biomedical Data Analysis

Smita Sharma, Balamurugan Balusamy, S. Ramesh, Ali Kashif Bashir

Häftad, 2025

1 895 kr

Emerging Trends and Applications of Deep Learning for Biomedical Data Analysis

Ali Kashif Bashir, S. Ramesh, Balamurugan Balusamy, Smita Sharma

E-bok

2025

2 328 kr

Quantum-Inspired Approaches for Intelligent Data Processing

Balamurugan Balusamy, Suman Avdhesh Yadav, S. Ramesh, M. Vinoth Kumar

Inbunden, 2026

2 112 kr

Quantum-Inspired Approaches for Intelligent Data Processing

M. Vinoth Kumar, S. Ramesh, Suman Avdhesh Yadav, Balamurugan Balusamy

E-bok

2026

2 462 kr

Quantum-Inspired Approaches for Intelligent Data Processing

M. Vinoth Kumar, S. Ramesh, Suman Avdhesh Yadav, Balamurugan Balusamy

E-bok

2025

2 462 kr

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems

S. Ramesh, P. Sampath

Inbunden, 2007

1 653 kr

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems

P. Sampath, S. Ramesh

E-bok

2007

2 065 kr

Safe, Autonomous and Intelligent Vehicles

Huafeng Yu, Xin Li, Richard M. Murray, S. Ramesh, Claire J. Tomlin

Inbunden, 2018

1 430 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

555 kr

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 - Knowledge Graphs, Häftad

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, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

933 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Du kanske också är intresserad av

10% rabatt på allt

Exit Adventskalender - Julens magi (SE)

Exit

499 kr