Amanote Research
Register
Sign In
Abstraction Techniques for Compositional State-Based Scheduling Analysis
doi 10.1109/sbesc.2012.40
Full Text
Open PDF
Abstract
Available in
full text
Date
November 1, 2012
Authors
Tayfun Gezgin
Stefan Henkler
Achim Rettberg
Ingo Stierand
Publisher
IEEE
Related search
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
