Effiziente Codegenerierung für mobilen Code

被引：0

作者：

W. Amme

M. Franz

机构：

[1] Friedrich-Schiller-Universität,Institut für Informatik

[2] University of California,Department of Computer Science

来源：

Informatik-Spektrum | 2003年 / 26卷 / 4期

关键词：

D O I：

10.1007/s00287-003-0317-1

中图分类号：

学科分类号：

摘要：

Bestehende Lösungen zum Transport von mobilem Code lassen sich in drei Kategorien aufteilen: virtuelle Maschinen, baumorientierte Techniken und beweisübertragende Ansätze. Wir beschreiben einen neuen, vierten Ansatz, inhärent sichere Übertragungsformate und stellen unser SafeTSA-Projekt vor, welches diesen Ansatz validiert.

引用

页码：237 / 246

页数：9

共 50 条

[21] Input nonlinearity compensation and chattering reduction in a mobile hydraulic forestry crane; [Kompensation der Eingangsnichtlinearität und Chattering-Reduktion für einen mobilen Forstkran]
Vázquez C.
Aranovskiy S.
Freidovich L.B.
e & i Elektrotechnik und Informationstechnik, 2016, 133 (6) : 248 - 252
[22] Der neue Code F45.41The new code F45.41
H. Lucius
R.-D. Treede
Der Schmerz, 2010, 24 (4) : 383 - 384
[23] F-code: An optimized MDS array code
Fan, Jianbo
Shou, Lidan
Dong, Jinxiang
ADVANCED INTELLIGENT COMPUTING THEORIES AND APPLICATIONS: WITH ASPECTS OF THEORETICAL AND METHODOLOGICAL ISSUES, 2007, 4681 : 1325 - +
[24] A NOTE ON R(R, M, S) CODE
WASAN, SK
INTERNATIONAL JOURNAL OF ELECTRONICS, 1988, 64 (06) : 913 - 915
[25] highFly – Entwicklung eines Flywheels als elektrischer Energiespeicher für den mobilen EinsatzhighFly—development of an energy-storage-system for mobile applications based on flywheel-technology
Florian Müllner
Harald Neudorfer
Manes Recheis
e & i Elektrotechnik und Informationstechnik, 2015, 132 (1) : 87 - 94
[26] Diagnostik und Therapie der OsteoporoseStrategie für eine effiziente Prävention von FolgefrakturenDiagnosis and therapy of osteoporosis. Strategy for effective treatment after fragility fractures
R. Bartl
C. Bartl
W. Mutschler
Der Unfallchirurg, 2003, 106 (7): : 526 - 541
[27] (r,k)-catching code
Li, AP
CHINESE SCIENCE BULLETIN, 1998, 43 (10): : 812 - 815
[28] (r,k)-catching code
LI Anping Institute of Applied Mathematics
ChineseScienceBulletin, 1998, (10) : 812 - 815
[29] Neue Entscheidungshilfen für RückenoperationenNeue Entscheidungshilfen für Rückenoperationen
Lea Stief
MMW - Fortschritte der Medizin, 2025, 167 (1) : 10 - 10
[30] Efficiency modelling and analysis for a novel double-arc bevel gear nutation transmission system for pure electric vehicles; [Effiziente Modellierung und Analyse für ein neuartiges Doppel-Arc-Bevel-Zahnradgetriebe-System für reine Elektrofahrzeuge]
Wan N.
Yao L.
Forschung im Ingenieurwesen, 2019, 83 (3) : 393 - 399

← 1 2 3 4 5 →