Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Robert Strandh
Optimizing Equational Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Equational Reasoning About Programs With General Recursion and Call-By-Value Semantics
Estimating and Optimizing Performance for Parallel Programs
Computer
Computer Science
Optimizing Computation-Communication Overlap in Asynchronous Task-Based Programs
A Unified Framework for Optimizing Communication in Data-Parallel Programs
IEEE Transactions on Parallel and Distributed Systems
Hardware
Computational Theory
Signal Processing
Architecture
Mathematics
Equational Binary Decision Diagrams
Optimizing and Implementing Repair Programs for Consistent Query Answering in Databases
Equational Approach to Argumentation Networks
Argument and Computation
Linguistics
Computer Science Applications
Artificial Intelligence
Language
Computational Mathematics
Equational Theories and Database Constraints
Type Introduction for Equational Rewriting
Acta Informatica
Computer Networks
Software
Information Systems
Communications
