Bibliografías temáticas / Java bytecode / Artículos de revistas
Siga este enlace para ver otros tipos de publicaciones sobre el tema: Java bytecode.

Artículos de revistas sobre el tema "Java bytecode"

Autor: Grafiati
Publicado: 28 de junio de 2021
Última modificación: 11 de marzo de 2023

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "Java bytecode".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

Gal, Andreas, Christian W. Probst y Michael Franz. "Integrated Java Bytecode Verification". Electronic Notes in Theoretical Computer Science 131 (mayo de 2005): 27–38. http://dx.doi.org/10.1016/j.entcs.2005.01.020.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Kim, Ki-Tae, Je-Min Kim y Weon-Hee Yoo. "Implementation of Java Bytecode Framework". Journal of the Korea Contents Association 10, n.º 3 (28 de marzo de 2010): 122–31. http://dx.doi.org/10.5392/jkca.2010.10.3.122.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Reynolds, Mark C. "Modeling the Java Bytecode Verifier". Science of Computer Programming 78, n.º 3 (marzo de 2013): 327–42. http://dx.doi.org/10.1016/j.scico.2011.03.008.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Bertelsen, Peter. "Dynamic semantics of Java bytecode". Future Generation Computer Systems 16, n.º 7 (mayo de 2000): 841–50. http://dx.doi.org/10.1016/s0167-739x(99)00094-1.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Cook, J. J. "Reverse Execution of Java Bytecode". Computer Journal 45, n.º 6 (1 de junio de 2002): 608–19. http://dx.doi.org/10.1093/comjnl/45.6.608.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Zhao, Jian-jun. "Static analysis of Java bytecode". Wuhan University Journal of Natural Sciences 6, n.º 1-2 (marzo de 2001): 383–90. http://dx.doi.org/10.1007/bf03160273.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Dobravec, Tomaž. "JAVA BYTECODE INSTRUCTION USAGE COUNTING WITH ALGATOR". Acta Electrotechnica et Informatica 18, n.º 4 (5 de enero de 2018): 17–25. http://dx.doi.org/10.15546/aeei-2018-0028.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Wang, Tao y Abhik Roychoudhury. "Dynamic slicing on Java bytecode traces". ACM Transactions on Programming Languages and Systems 30, n.º 2 (marzo de 2008): 1–49. http://dx.doi.org/10.1145/1330017.1330021.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Chan, Jien-Tsai y Wuu Yang. "Advanced obfuscation techniques for Java bytecode". Journal of Systems and Software 71, n.º 1-2 (abril de 2004): 1–10. http://dx.doi.org/10.1016/s0164-1212(02)00066-3.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Ghosh, Sudipto y John L. Kelly. "Bytecode fault injection for Java software". Journal of Systems and Software 81, n.º 11 (noviembre de 2008): 2034–43. http://dx.doi.org/10.1016/j.jss.2008.02.047.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

Chrząszcz, Jacek, Patryk Czarnik y Aleksy Schubert. "A Dozen Instructions Make Java Bytecode". Electronic Notes in Theoretical Computer Science 264, n.º 4 (febrero de 2011): 19–34. http://dx.doi.org/10.1016/j.entcs.2011.02.003.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

Eichberg, Michael. "BAT2XML: XML-based Java Bytecode Representation". Electronic Notes in Theoretical Computer Science 141, n.º 1 (diciembre de 2005): 93–107. http://dx.doi.org/10.1016/j.entcs.2005.02.035.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

Leroy, Xavier. "Bytecode verification on Java smart cards". Software: Practice and Experience 32, n.º 4 (2002): 319–40. http://dx.doi.org/10.1002/spe.438.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

Li, Zhiming, Qing Wu y Kun Qian. "Adabot: Fault-Tolerant Java Decompiler (Student Abstract)". Proceedings of the AAAI Conference on Artificial Intelligence 34, n.º 10 (3 de abril de 2020): 13861–62. http://dx.doi.org/10.1609/aaai.v34i10.7203.

Texto completo
Resumen
Reverse Engineering has been an extremely important field in software engineering, it helps us to better understand and analyze the internal architecture and interrealtions of executables. Classical Java reverse engineering task includes disassembly and decompilation. Traditional Abstract Syntax Tree (AST) based disassemblers and decompilers are strictly rule defined and thus highly fault intolerant when bytecode obfuscation were introduced for safety concern. In this work, we view decompilation as a statistical machine translation task and propose a decompilation framework which is fully based on self-attention mechanism. Through better adaption to the linguistic uniqueness of bytecode, our model fully outperforms rule-based models and previous works based on recurrence mechanism.
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

Jiang, Long Long y Dai Ping Li. "Using Contour Marking Bytecode Verification Algorithm on the Java Card". Applied Mechanics and Materials 556-562 (mayo de 2014): 4120–23. http://dx.doi.org/10.4028/www.scientific.net/amm.556-562.4120.

Texto completo
Resumen
Java bytecode verification could not be well performed in the smart card due to the resource usage especially in the resource-constrained devices. Currently, on the card there are several bytecode verifications which exist kinds of problems, in order to be better and be better adapt to the environment, such as a smart card platform, raised using the contour subroutine labeled bytecode verification algorithm on a card. First, through the analysis of existing card byte code verification algorithm to determine the imperfections and difficulties in the judgment and the verification of subroutine, and then propose a method for marking the subroutine in the place of the jump to it. Thus not only get the program structure and enhance the effectiveness and efficiency of the validation. The feasibility of the method is demonstrated by simulating typical examples verification.
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

Ogata, Kazunori, Hideaki Komatsu y Toshio Nakatani. "Bytecode fetch optimization for a Java interpreter". ACM SIGARCH Computer Architecture News 30, n.º 5 (diciembre de 2002): 58–67. http://dx.doi.org/10.1145/635506.605404.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

Ogata, Kazunori, Hideaki Komatsu y Toshio Nakatani. "Bytecode fetch optimization for a Java interpreter". ACM SIGOPS Operating Systems Review 36, n.º 5 (diciembre de 2002): 58–67. http://dx.doi.org/10.1145/635508.605404.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

Munsil, Wes y Chia-Jiu Wang. "Reducing stack usage in Java bytecode execution". ACM SIGARCH Computer Architecture News 26, n.º 1 (marzo de 1998): 7–11. http://dx.doi.org/10.1145/1216461.1216464.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

Qian, Zhenyu. "Standard fixpoint iteration for Java bytecode verification". ACM Transactions on Programming Languages and Systems 22, n.º 4 (julio de 2000): 638–72. http://dx.doi.org/10.1145/363911.363915.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

Doyon, S. y M. Debbabi. "On object initialization in the Java bytecode". Computer Communications 23, n.º 17 (noviembre de 2000): 1594–605. http://dx.doi.org/10.1016/s0140-3664(00)00245-0.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

Ogata, Kazunori, Hideaki Komatsu y Toshio Nakatani. "Bytecode fetch optimization for a Java interpreter". ACM SIGPLAN Notices 37, n.º 10 (octubre de 2002): 58–67. http://dx.doi.org/10.1145/605432.605404.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

Avvenuti, Marco, Cinzia Bernardeschi y Nicoletta De Francesco. "Java bytecode verification for secure information flow". ACM SIGPLAN Notices 38, n.º 12 (diciembre de 2003): 20–27. http://dx.doi.org/10.1145/966051.966055.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

Stata, Raymie y Martin Abadi. "A type system for Java bytecode subroutines". ACM Transactions on Programming Languages and Systems 21, n.º 1 (enero de 1999): 90–137. http://dx.doi.org/10.1145/314602.314606.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

Albert, E., P. Arenas, S. Genaim, G. Puebla y D. Zanardini. "Experiments in Cost Analysis of Java Bytecode". Electronic Notes in Theoretical Computer Science 190, n.º 1 (julio de 2007): 67–83. http://dx.doi.org/10.1016/j.entcs.2007.02.061.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

Vincenzi, A. M. R., M. E. Delamaro, J. C. Maldonado y W. E. Wong. "Establishing structural testing criteria for Java bytecode". Software: Practice and Experience 36, n.º 14 (2006): 1513–41. http://dx.doi.org/10.1002/spe.726.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

Collberg, Christian, Ginger Myles y Michael Stepp. "An empirical study of Java bytecode programs". Software: Practice and Experience 37, n.º 6 (2007): 581–641. http://dx.doi.org/10.1002/spe.776.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

Meehan, Gary y Mike Joy. "Compiling lazy functional programs to Java bytecode". Software: Practice and Experience 29, n.º 7 (junio de 1999): 617–45. http://dx.doi.org/10.1002/(sici)1097-024x(199906)29:7<617::aid-spe250>3.0.co;2-e.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

Sherman, Elena, Yannic Noller, Cyrille Artho, Franck van Breugel, Anto Nanah Ji, John Kellerman, Parssa Khazra et al. "The Java Pathfinder Workshop 2022". ACM SIGSOFT Software Engineering Notes 48, n.º 1 (10 de enero de 2023): 19–21. http://dx.doi.org/10.1145/3573074.3573080.

Texto completo
Resumen
Java Pathfinder (JPF) was originally developed as an explicit state software model checker and subsequently evolved into an extensible Java bytecode analysis framework that has been successfully used to implement techniques such as symbolic and concolic execution, compositional verification, parallel execution, incremental program analysis, and many more. Apart from its original domain of concurrent Java programs, JPF now supports the verification of new domains such as UMLs, numeric programs, graphical user interfaces, and Android applications.
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

Bernardeschi, C., N. De Francesco, G. Lettieri y L. Martini. "Checking secure information flow in Java bytecode by code transformation and standard bytecode verification". Software: Practice and Experience 34, n.º 13 (18 de octubre de 2004): 1225–55. http://dx.doi.org/10.1002/spe.611.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
30

Haase, Oliver. "Abstract Interpretation of Java Bytecode for Immutability Analysis". Journal of Computer Science 12, n.º 7 (1 de julio de 2016): 314–22. http://dx.doi.org/10.3844/jcssp.2016.314.322.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

Clausen, Lars Ræder, Ulrik Pagh Schultz, Charles Consel y Gilles Muller. "Java bytecode compression for low-end embedded systems". ACM Transactions on Programming Languages and Systems 22, n.º 3 (mayo de 2000): 471–89. http://dx.doi.org/10.1145/353926.353933.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

Jipping, Michael J., Cameron Calka, Brian O'Neill y Christopher R. Padilla. "Teaching students java bytecode using lego mindstorms robots". ACM SIGCSE Bulletin 39, n.º 1 (7 de marzo de 2007): 170–74. http://dx.doi.org/10.1145/1227504.1227371.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
33

Gal, Andreas, Christian W. Probst y Michael Franz. "Java bytecode verification via static single assignment form". ACM Transactions on Programming Languages and Systems 30, n.º 4 (julio de 2008): 1–21. http://dx.doi.org/10.1145/1377492.1377496.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

BARTHE, GILLES, DAVID PICHARDIE y TAMARA REZK. "A certified lightweight non-interference Java bytecode verifier". Mathematical Structures in Computer Science 23, n.º 5 (17 de mayo de 2013): 1032–81. http://dx.doi.org/10.1017/s0960129512000850.

Texto completo
Resumen
Non-interference guarantees the absence of illicit information flow throughout program execution. It can be enforced by appropriate information flow type systems. Much of the previous work on type systems for non-interference has focused on calculi or high-level programming languages, and existing type systems for low-level languages typically omit objects, exceptions and method calls. We define an information flow type system for a sequential JVM-like language that includes all these programming features, and we prove, in the Coq proof assistant, that it guarantees non-interference. An additional benefit of the formalisation is that we have extracted from our proof a certified lightweight bytecode verifier for information flow. Our work provides, to the best of our knowledge, the first sound and certified information flow type system for such an expressive fragment of the JVM.
Los estilos APA, Harvard, Vancouver, ISO, etc.
35

Payet, Étienne y Fausto Spoto. "Experiments with Non-Termination Analysis for Java Bytecode". Electronic Notes in Theoretical Computer Science 253, n.º 5 (diciembre de 2009): 83–96. http://dx.doi.org/10.1016/j.entcs.2009.11.016.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
36

Spoto, Fausto y Étienne Payet. "Magic-sets for localised analysis of Java bytecode". Higher-Order and Symbolic Computation 23, n.º 1 (marzo de 2010): 29–86. http://dx.doi.org/10.1007/s10990-010-9063-7.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
37

McGhan, H. y M. O'Connor. "PicoJava: a direct execution engine for Java bytecode". Computer 31, n.º 10 (1998): 22–30. http://dx.doi.org/10.1109/2.722273.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
38

Knoblock, Todd B. y Jakob Rehof. "Type elaboration and subtype completion for Java bytecode". ACM Transactions on Programming Languages and Systems 23, n.º 2 (marzo de 2001): 243–72. http://dx.doi.org/10.1145/383043.383045.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
39

Clausen, Lars R. "A Java bytecode optimizer using side-effect analysis". Concurrency: Practice and Experience 9, n.º 11 (noviembre de 1997): 1031–45. http://dx.doi.org/10.1002/(sici)1096-9128(199711)9:11<1031::aid-cpe354>3.0.co;2-o.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
40

Bernardeschi, Cinzia, Giuseppe Lettieri, Luca Martini y Paolo Masci. "A Space-Aware Bytecode Verifier for Java Cards". Electronic Notes in Theoretical Computer Science 141, n.º 1 (diciembre de 2005): 237–54. http://dx.doi.org/10.1016/j.entcs.2005.02.027.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
41

Binder, Walter y Jarle Hulaas. "Java Bytecode Transformations for Efficient, Portable CPU Accounting". Electronic Notes in Theoretical Computer Science 141, n.º 1 (diciembre de 2005): 53–73. http://dx.doi.org/10.1016/j.entcs.2005.02.037.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
42

Coglio, Alessandro. "Improving the official specification of Java bytecode verification". Concurrency and Computation: Practice and Experience 15, n.º 2 (2003): 155–79. http://dx.doi.org/10.1002/cpe.714.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
43

Coglio, Alessandro. "Simple verification technique for complex Java bytecode subroutines". Concurrency and Computation: Practice and Experience 16, n.º 7 (27 de abril de 2004): 647–70. http://dx.doi.org/10.1002/cpe.798.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
44

Lambert, Jonathan, Rosemary Monahan y Kevin Casey. "Accidental Choices—How JVM Choice and Associated Build Tools Affect Interpreter Performance". Computers 11, n.º 6 (14 de junio de 2022): 96. http://dx.doi.org/10.3390/computers11060096.

Texto completo
Resumen
Considering the large number of optimisation techniques that have been integrated into the design of the Java Virtual Machine (JVM) over the last three decades, the Java interpreter continues to persist as a significant bottleneck in the performance of bytecode execution. This paper examines the relationship between Java Runtime Environment (JRE) performance concerning the interpreted execution of Java bytecode and the effect modern compiler selection and integration within the JRE build toolchain has on that performance. We undertook this evaluation relative to a contemporary benchmark suite of application workloads, the Renaissance Benchmark Suite. Our results show that the choice of GNU GCC compiler version used within the JRE build toolchain statistically significantly affects runtime performance. More importantly, not all OpenJDK releases and JRE JVM interpreters are equal. Our results show that OpenJDK JVM interpreter performance is associated with benchmark workload. In addition, in some cases, rolling back to an earlier OpenJDK version and using a more recent GNU GCC compiler within the build toolchain of the JRE can significantly positively impact JRE performance.
Los estilos APA, Harvard, Vancouver, ISO, etc.
45

Vartanov, S. P. y M. K. Ermakov. "Applying Java bytecode static instrumentation for software dynamic analysis". Proceedings of the Institute for System Programming of the RAS 27, n.º 1 (2015): 25–38. http://dx.doi.org/10.15514/ispras-2015-27(1)-2.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
46

GAMESS, ERIC. "EXECUTION OF SEQUENTIAL AND PARALLEL JAVA BYTECODE IN A METACOMPUTING SYSTEM". Parallel Processing Letters 13, n.º 01 (marzo de 2003): 53–64. http://dx.doi.org/10.1142/s0129626403001148.

Texto completo
Resumen
In this paper, we address the goal of executing Java parallel applications in a group of nodes of a Beowulf cluster transparently chosen by a metacomputing system oriented to efficient execution of Java bytecode, with support for scientific computing. To this end, we extend the Java virtual machine by providing a message passing interface and quick access to distributed high performance resources. Also, we introduce the execution of parallel linear algebra methods for large objects from sequential Java applications by invoking SPLAM, our parallel linear algebra package.
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

Papadimitriou, Stergios, Seferina Mavroudi, Kostas Theofilatos y Spiridon Likothanasis. "MATLAB-Like Scripting of Java Scientific Libraries in ScalaLab". Scientific Programming 22, n.º 3 (2014): 187–99. http://dx.doi.org/10.1155/2014/570902.

Texto completo
Resumen
Although there are a lot of robust and effective scientific libraries in Java, the utilization of these libraries in pure Java is difficult and cumbersome, especially for the average scientist that does not expertise in software development. We illustrate that ScalaLab presents an easier and productive MATLAB like front end. Also, the main strengths and weaknesses of the core Java libraries of ScalaLab are elaborated. Since performance is of paramount importance for scientific computation, the article discusses extensively performance aspects of the ScalaLab environment. Also, Java bytecode performance is compared to native code.
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

Bockisch, Christoph, Gabriele Taentzer, Nebras Nassar y Lukas Wydra. "Java Bytecode Verification with OCL Why, How and Whenc." Journal of Object Technology 19, n.º 3 (2020): 3:1. http://dx.doi.org/10.5381/jot.2020.19.3.a13.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
49

Achour, Safaa, Ali Chouenyib y Mohammed Benattou. "A Constraint-Based Verification Approach for Java Bytecode Programs". International Journal of Software Engineering and Its Applications 12, n.º 2 (30 de junio de 2018): 1–17. http://dx.doi.org/10.14257/ijseia.2018.12.2.01.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
50

Kumar, Krishan, Viney Kehar y Prabhpreet Kaur. "An Evaluation of Dynamic Java Bytecode Software Watermarking Algorithms". International Journal of Security and Its Applications 10, n.º 7 (31 de julio de 2016): 147–56. http://dx.doi.org/10.14257/ijsia.2016.10.7.13.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías sobre el tema "Java bytecode" para otros tipos de fuentes:
Tesis
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía