Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 241 - 260 von 2.971

241

Constraint-Based Test Input Generation for Java Bytecode
Charreteur, Florence ; Gotlieb, Arnaud ; Software certification with semantic analysis (CELTIQUE) ; et al.
Proc. of the 21st IEEE Int. Symp. on Softw. Reliability Engineering (ISSRE'10) ; https://inria.hal.science/hal-00699236 ; Proc. of the 21st IEEE Int. Symp. on Softw. Reliability Engineering (ISSRE'10), Nov 2010, San Jose, CA, USA, United States

San Jose CA USA United States [INFO.INFO-SE]Computer S...
Konferenz
242

Dieses Ergebnis kann Gästen nicht angezeigt werden.

243

Dieses Ergebnis kann Gästen nicht angezeigt werden.

244

Dieses Ergebnis kann Gästen nicht angezeigt werden.

245

Dieses Ergebnis kann Gästen nicht angezeigt werden.

246

Revisiting Java Bytecode Compression for Embedded and Mobile Computing Environments.
Saougkos, Dimitris ; Manis, George ; Blekas, Konstantinos ; et al.
IEEE Transactions on Software Engineering. Jul2007, Vol. 33 Issue 7, p478-496. 19p. 2 Diagrams, 3 Charts, 13 Graphs.

OBJECT-oriented programm... PROGRAMMING languages WIRELESS communications ELECTRONIC data processi... JAVA programming languag... MOBILE computing softwar...
Fachzeitschrift
247

Java Bytecode Compression for Low-End Embedded Systems.
Clausen, Lars Raeder ; Schultz, Ulrik Pagh
ACM Transactions on Programming Languages & Systems. May2000, Vol. 22 Issue 3, p471. 19p. 4 Diagrams, 4 Charts, 1 Graph.

EMBEDDED computer system... JAVA programming languag... MEMORY maps (Computer sc...
Fachzeitschrift
248

EXECUTION OF SEQUENTIAL AND PARALLEL JAVA BYTECODE IN A METACOMPUTING SYSTEM.
Gamess, Eric
Parallel Processing Letters. Mar2003, Vol. 13 Issue 1, p53. 12p.

PARALLEL programming JAVA programming languag... LINEAR algebra
Fachzeitschrift
249

Dieses Ergebnis kann Gästen nicht angezeigt werden.

250

Dieses Ergebnis kann Gästen nicht angezeigt werden.

251

Dieses Ergebnis kann Gästen nicht angezeigt werden.

252

Javassist: Java bytecode engineering made simple: for source-level abstraction
Chiba, Shigeru
Java Developer's Journal. January, 2004, Vol. 9 Issue 1, p28, 3 p.

Zeitschrift
253

A Termination Analyzer for Java Bytecode Based on Path-Length.
SPOTO, FAUSTO ; MESNARD, FRED ; PAYET, ÉTIENNE
ACM Transactions on Programming Languages & Systems. Mar2010, Vol. 32 Issue 3, p8-8.70. 70p. 9 Diagrams, 8 Charts.

JAVA programming languag... COMPUTER software termin... PROGRAMMING language sem... SOFTWARE verification COMPUTER logic CONSTRAINT programming
Fachzeitschrift
254

Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs
de Carvalho Gomes, Pedro ; Picoco, Attilio ; Gurov, Dilian
Fundamental Approaches to Software Engineering ; Lecture Notes in Computer Science ; page 215-229 ; ISSN 0302-9743 1611-3349 ; ISBN 9783642548031 9783642548048

Buch
255

JavaPDG: A New Platform for Program Dependence Analysis
Shu, Gang ; Sun, Boya ; Henderson, Tim A.D. ; et al.
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Software Testing, Verification and Validation (ICST), 2013 IEEE Sixth International Conference on. :408-415 Mar, 2013

Konferenz
256

Dieses Ergebnis kann Gästen nicht angezeigt werden.

257

Dieses Ergebnis kann Gästen nicht angezeigt werden.

258

Dieses Ergebnis kann Gästen nicht angezeigt werden.

259

Dieses Ergebnis kann Gästen nicht angezeigt werden.

260

WebAssembly Code Generation from Java Bytecode
Ziegler, Patrick ; Su, Zhendong ; Theodoridis, Theodoros ; et al.


Filter