<--- Back to Details
First PageDocument Content
Engineering / Technology / Computing / Programming paradigms / Real-time computing / Scheduling algorithms / Abstraction / Data management / Systems engineering / Object Process Methodology / Worst-case execution time / Scheduling
Date: 2012-03-23 03:32:40
Engineering
Technology
Computing
Programming paradigms
Real-time computing
Scheduling algorithms
Abstraction
Data management
Systems engineering
Object Process Methodology
Worst-case execution time
Scheduling

Extended Analysis based on the SPES Architecture Meta-Model

Add to Reading List

Source URL: spes2020.informatik.tu-muenchen.de

Download Document from Source Website

File Size: 447,55 KB

Share Document on Facebook

Similar Documents

Computing / Data management / Data / Business intelligence / Database management systems / Technology forecasting / Transaction processing / Dan Suciu / Big data / Probabilistic database / Data science / Analytics

University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ

DocID: 1xV2p - View Document

Theoretical computer science / Helmut Veith / Formal methods / TU Wien / Institute for Applied Information Processing and Communications / Software engineering / Verification / Formal verification / Computing

RESEARCH LINES Mapping SHiNE RiSE Rigorous Systems Engineering

DocID: 1xUZO - View Document

Georgios Fainekos School of Computing, Informatics and Decision Systems Engineering, Arizona State University. Office address: 660 W 6th St, STE, Tempe, AZweb: http://www.public.asu.edu/~gfaineko/, email: f

DocID: 1xUnB - View Document

Functional predicate / Model theory / Symbol / Limit of a function / Universal quantification / Mathematical logic / Mathematics / Logic

A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst,

DocID: 1xUbX - View Document