Confluence Analysis for Distributed Programs: A Model-Theoretic Approach

Lecture Notes in Computer Science- Germany

doi 10.1007/978-3-642-32925-8_14

Full Text

Abstract

Available in

Categories

Computer Science

Theoretical Computer Science

Date

January 1, 2012

Authors

William R. Marczak

Joseph M. Hellerstein

Publisher

Springer Berlin Heidelberg

Related search

A Game-Theoretic Approach for Run-Time Distributed Optimization on MP-SoC

International Journal of Reconfigurable Computing

English

Hierarchical Pointer Analysis for Distributed Programs

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Fair Bandwidth Sharing in Distributed Systems: A Game-Theoretic Approach

IEEE Transactions on Computers

Computational Theory

Theoretical Computer Science

English

Spatially Distributed Differential Game Theoretic Model of Fisheries

English

Adaptive Quantization for Distributed Estimation in Energy-Harvesting Wireless Sensor Networks: A Game-Theoretic Approach

International Journal of Distributed Sensor Networks

Computer Networks

English

A Distributed API for Coordinating AbC Programs

International Journal on Software Tools for Technology Transfer

Information Systems

English

A Practical Approach for Performance Analysis of Shared-Memory Programs

English

A Model-Theoretic Framework for Grammaticality Judgements

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Instructional Development Programs for International TAs: A Systems Analysis Approach

To Improve the Academy

English