Partial Computation of Programs

Lecture Notes in Computer Science- Germany

doi 10.1007/3-540-11980-9_13

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Berlin Heidelberg

Related search

Bottom-Up Computation of Recursive Programs

Revue française d'automatique informatique recherche opérationnelle. Informatique théorique
1976English

Meshless Computation for Partial Differential Equations of Fractional Order

2011English

Span Programs and General Secure Multi-Party Computation

BRICS Report Series
1997English

Optimizing Computation-Communication Overlap in Asynchronous Task-Based Programs

2019English

A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Comparison of Various Static Rc Structural Computation Programs for Seismic Performance Evaluation

Journal of Structural and Construction Engineering
BuildingConstructionArchitecture
2001English

A Checkpoint/Restart Scheme for CUDA Programs With Complex Computation States

International Journal of Networked and Distributed Computing
Computer NetworksComputer Science ApplicationsCommunications
2013English

Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-The-Fly Transactions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Morphological Computation: Nothing but Physical Computation

Entropy
Electronic EngineeringInformation SystemsMathematical PhysicsElectricalAstronomyPhysics
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy