• Suche: Analysis, Architectures and Modelling of Embedded Systems

Treffer 1 - 20 von 359.679

1

Tools and Algorithms for the Construction and Analysis of Systems
Biere, Armin ; Parker, David

Software Engineering/Pro... Special Purpose and Appl... Computer System Implemen... Control Structures and M... Mathematics of Computing open access …
E-Book
Merkliste
2

Computer Aided Verification
Lahiri, Shuvendu K. ; Wang, Chao

Software Engineering Theory of Computation Artificial Intelligence Computer Systems Organiz... Computer Hardware Simulation and Modeling …
E-Book
Merkliste
3

Dieses Ergebnis kann Gästen nicht angezeigt werden.

5

Choreography modelling in embedded systems domain: Requirements and implementation technologies
Tausan, Nebojsa ; Markkula, Jouni ; Kuvaja, Pasi ; et al.
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD) Model-Driven Engineering and Software Development (MODELSWARD), 2016 4th International Conference on. :75-86 Feb, 2016

Konferenz
Merkliste
6

Dieses Ergebnis kann Gästen nicht angezeigt werden.

7

Research on Safety Analysis and Verification for AADL Model
Huo, Hong ; Zhou, Xingshe ; Song, Deming ; et al.
Energy Procedia. Dec2011, Vol. 13, p5495-5502. 8p.

Architecture Analysis &... Embedded computer system... Computer architecture Systems design Modeling languages (Comp... Application software
Fachzeitschrift
Merkliste
9

Digital Intelligent Design of Interior Solutions: Exploring Embedded Systems for SketchUp Modeling.
Bolin Li ; Haijian Pang ; Huanhuan Tian
Computer-Aided Design & Applications. 2024 Special Issue, Vol. 21, p146-165. 20p.

Fachzeitschrift
Merkliste
12

SEVERAL OUTLINES ON MODEL-DRIVEN APPROACH FOR TESTING OF EMBEDDED SYSTEMS.
Grigorjevs, Jurijs ; Nikiforova, Oksana
Computer Science (1407-7493). 2009, Vol. 38, p108-118. 11p.

Embedded computer system... Model-driven software ar... Computer simulation Synchronization Unified modeling languag... Computers
Fachzeitschrift
Merkliste
13

International Symposium on Systems, Architectures, Modeling, and Simulation, 2009. SAMOS '09
Manycore performance analysis using timed configuration graphs
Bengtsson Jerker, Högskolan Halmstad, Centrum för forskning om inbyggda system (CERES) ; Svensson Bertil, Högskolan Halmstad, Centrum för forskning om inbyggda system (CERES) ; Bengtsson Jerker, Halmstad University, CERES ; et al.

Merkliste
16

Dieses Ergebnis kann Gästen nicht angezeigt werden.

18

Component Modeling and Energy Consumption Analysis of Embedded System Based on Time Petri Net
ZHANG Jing,WANG Liang,FAN Hongbo,XIAO Zhibin
Jisuanji gongcheng, Vol 43, Iss 6, Pp 30-34,39 (2017)

embedded system software energy consumpt... petri net energy consumption model state reachability graph Computer engineering. Co... …
Fachzeitschrift
Merkliste
19

Modeling Cache Effects at the Transaction Level
IFIP TC10 Working Conference: International Embedded Systems Symposium; Analysis, architectures and modelling of embedded systems
Pedram, A. ; Craven, D. ; Gerstlauer, A.
INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING -PUBLICATIONS-. (310):89-101

Konferenz
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter