Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Achim Rettberg
Abstraction Techniques for Compositional State-Based Scheduling Analysis
Integration of Energy Reduction Into High-Level Synthesis by Partitioning
Model and Methodology for the Synthesis of Heterogeneous and Partially Reconfigurable Systems
Related publications
Compositional Mining of Multiple Object API Protocols Through State Abstraction
The Scientific World Journal
Biochemistry
Medicine
Genetics
Molecular Biology
Environmental Science
Service-Based Processing and Provisioning of Image-Abstraction Techniques
Compositional Multiprocessor Scheduling: The GMPR Interface
Real-Time Systems
Control
Systems Engineering
Optimization
Electronic Engineering
Computer Networks
Simulation
Communications
Computer Science Applications
Electrical
Modeling
Priority-Based Scheduling Techniques for a Multitenant Stream Processing Platform
Simplifying Process Model Abstraction: Techniques for Generating Model Names
Information Systems
Hardware
Information Systems
Architecture
Software
Generation Scheduling Using Genetic Algorithm Based Hybrid Techniques
Compositional Analysis for Clausal Exceptives
Semantics and Linguistic Theory
A Taxonomy of Model Abstraction Techniques
Validating the Utility of Abstraction Techniques
