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 full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

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

International Journal of Reconfigurable Computing
HardwareArchitecture
2008English

Hierarchical Pointer Analysis for Distributed Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

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

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
2005English

Spatially Distributed Differential Game Theoretic Model of Fisheries

Mathematics
Mathematics
2019English

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

International Journal of Distributed Sensor Networks
Computer NetworksEngineeringCommunications
2014English

A Distributed API for Coordinating AbC Programs

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2020English

A Practical Approach for Performance Analysis of Shared-Memory Programs

2011English

Comparative Organizational Analysis Across Multiple Levels: A Set-Theoretic Approach

Research in the Sociology of Organizations
Human Resource ManagementSociologySocial SciencesPolitical ScienceOrganizational Behavior
2009English

Instructional Development Programs for International TAs: A Systems Analysis Approach

To Improve the Academy
1991English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy