Relevant bibliographies by topics / Java

Academic literature on the topic 'Java'

Author: Grafiati
Published: 4 June 2021
Last updated: 25 May 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Contents

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Java.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Java"

1

Sabharwal, C. L. "Java, Java, Java." IEEE Potentials 17, no. 3 (1998): 33–37. http://dx.doi.org/10.1109/45.714612.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Bik, Aart J. C., Juan E. Villacis, and Dennis B. Gannon. "javar: A prototype Java restructuring compiler." Concurrency: Practice and Experience 9, no. 11 (November 1997): 1181–91. http://dx.doi.org/10.1002/(sici)1096-9128(199711)9:11<1181::aid-cpe335>3.0.co;2-f.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Kurniawan, Nia, Ahmad Muammar Kadafi, Muhammad Fathoni, Richo Firmansyah, Kartika Prabasari, and Muhammad Alif Fauzi. "A New Distribution Record of <i>Polypedates pseudotilophus</i> (Anura: Rhachoporidae) from East Java, Based on Morphology and Molecular Evidence." Russian Journal of Herpetology 30, no. 3 (June 27, 2023): 167–74. http://dx.doi.org/10.30906/1026-2296-2023-30-3-167-174.

Full text
Abstract:
Polypedates pseudotilophus Matsui, Hamidy et Kuraishi, 2014 was priorly reported from Sumatra, West Java, and Central Java. Only a few specimens and genetic data were available and reports on its distributional range in Java are lacking. We reported a new distributional record of P. pseudotilophus from the lowland forest in Malang Regency, East Java Province, Indonesia, and provide morphological and genetic data. The East Java specimens were morphologically similar to Sumatra specimens also supported by genetic distance ranging between 2.2 – 2.4%. Although considered as conspecific, East Javan population formed a separate clade to Sumatran population.
APA, Harvard, Vancouver, ISO, and other styles
4

Flanagan, David, Patrick Niemeyer, Joshua Peck, Roger Sipson, Susan McKay, and Wolfgang Christian. "Java in a Nutshell; Exploring JAVA." Computers in Physics 11, no. 1 (1997): 46. http://dx.doi.org/10.1063/1.4822513.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Havelund, Klaus, and Grigore Roşu. "Monitoring Java Programs with Java PathExplorer." Electronic Notes in Theoretical Computer Science 55, no. 2 (October 2001): 200–217. http://dx.doi.org/10.1016/s1571-0661(04)00253-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Drysdale, Scot, Judith Hromcik, Mark Allen Weiss, and Reg Hahne. "Java in the morning...Java in the evening...Java in 2004." ACM SIGCSE Bulletin 35, no. 1 (January 11, 2003): 271–72. http://dx.doi.org/10.1145/792548.611909.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Reinaldy H, Revel Aldwin, Essy Malays Sari Sakti, and Marnis Marnis. "RANCANG BANGUN APLIKASI JASA TITIP BERBASIS ANDROID." Tekinfo: Jurnal Bidang Teknik Industri dan Teknik Informatika 22, no. 1 (June 13, 2021): 81–87. http://dx.doi.org/10.37817/tekinfo.v22i1.1187.

Full text
Abstract:
Perkembangan teknologi yang sangat cepat sudah dipakai dalam berbagai macam aspek kehidupan khususnya di bidang e-commerce. Kemudahan yang diberikan sebuah teknologi membuat masyarakat dapat melakukan banyak hal hanya melalui smartphone dalam satu genggaman tangan. Kegiatan travelling tidak hanya lagi menjadi hiburan namun membuka peluang orang untuk melakukan kegiatan transaksi bisnis, salah satunya dengan melakukan kegiatan jasa titip beli barang. Perancangan aplikasi Jasa Titip berbasis Android ini menggunakan bahasa pemrograman Java dan dengan basis data Firebase yang terintegrasi dengan Google Cloud, serta menggunakan Android Studio sebagai editor tampilan XML dan Java. Pengguna aplikasi ini dibagi menjadi 2, yaitu sebagai penyedia jasa titip dan konsumen sebagai pengguna jasa. Diharapkan aplikasi ini dapat menjadi wadah para penyedia dan pengguna jasa titip barang untuk melakukan kegiatan jual beli menjadi lebih mudah. Kata Kunci : Jasa Titip, e-commerce, Android, Java
APA, Harvard, Vancouver, ISO, and other styles
8

Hartel, Pieter H., and Luc Moreau. "Formalizing the safety of Java, the Java virtual machine, and Java card." ACM Computing Surveys 33, no. 4 (December 2001): 517–58. http://dx.doi.org/10.1145/503112.503115.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Havelund, Klaus, and Thomas Pressburger. "Model checking JAVA programs using JAVA PathFinder." International Journal on Software Tools for Technology Transfer (STTT) 2, no. 4 (March 1, 2000): 366–81. http://dx.doi.org/10.1007/s100090050043.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Rahayu, Imelia, Alusyanti Primawati, and Aulia Ar Rakhman Awaludin. "Perancangan Aplikasi Pemesanan Jasa Salon Tyas Kampung Gedong Berbasis Java." Jurnal Riset dan Aplikasi Mahasiswa Informatika (JRAMI) 4, no. 01 (January 15, 2023): 181–86. http://dx.doi.org/10.30998/jrami.v4i01.7155.

Full text
Abstract:
Pada saat ini di Salon Tyas masih menggunakan cara manual untuk melakukan proses pendataan pelanggan, hal ini membuat pegawai kesulitan untuk mengolah data pelanggan yang memesan di Salon Tyas tersebut. Rumusan masalah dari latar belakang tersebut akan merancang aplikasi pemesanan jasa salon Tyas berbasis Java, aplikasi pemesanan perawatan, aplikasi pendataan pelanggan, aplikasi stok barang, aplikasi pendataan pegawai, aplikasi pembatalan, aplikasi supplier, aplikasi untuk membuat laporan. Tujuan penelitian adalah untuk merancang aplikasi pemesanan jasa Salon Tyas berbasis Java. Metode penelitian yang digunakan adalah metode Study Case yaitu metode ini berbentuk penjelasan tentang masalah, kejadian atau situasi tertentu. Setelah peneliti membuat rancangan aplikasi pemesanan jasa Salon Tyas berbasis Java, akhirnya peneliti dapat menarik kesimpulan bahwa dengan adanya aplikasi ini pegawai dapat mengefisien waktu karena proses pengerjaan sudah lebih mudah. Data yang diinput akan lebih aman karena semua sudah masuk ke dalam sistem aplikasi.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Java"

1

Francisco, Pedro Filipe do Amaral Goucha. "Contract-Java - design by contract in Java - Contract-Java." Master's thesis, Universidade de Aveiro, 2012. http://hdl.handle.net/10773/11035.

Full text
Abstract:
Mestrado em Engenharia de Computadores e Telemática
A programação por contrato é uma metodologia de programação que implementa mecanismos de correcção de forma bem adaptada à programação orientada por objectos, facilitando a construção de software correto e robusto, permitindo também a sua documentação e especificação e a construção de programas tolerantes a falhas. No entanto, ao contrário da programação orientada por objectos, a programação por contrato tem uma difusão bastante reduzida. Uma das razões para tal facto é a quase completa ausência de suporte para a metodologia na grande maioria das linguagens de programação usadas actualmente, nas quais se inclui a linguagem Java. Apesar de existirem algumas ferramentas para tentar suprir essa omissão da linguagem Java, são aproximações incompletas que não permitem usufruir de todas as vantagens e capacidades da programação por contrato. Neste trabalho pretende-se definir quais as características necessárias numa linguagem de modo a permitir a implementação completa da metodologia, avaliando as falhas que as ferramentas existentes possuem e, de seguida, definir e construir uma nova linguagem, “Contract-Java”, definida como uma extensão da linguagem Java, que permita usar a programação por contrato na sua totalidade.
Design by Contract is a programming methodology which implements correction mechanisms well adapted to object-oriented programming, easing the construction of correct and robust software, as well as allowing its documentation and specification and the construction of fault-tolerance programs. However, unlike object-oriented programming, Design by Contract has a very low distribution. One of the reasons for such is the lack of support for it on most programming languages currently in use, in which Java is included. Although a few tools attempt to workaround such lack of support, they all present incomplete approaches which do not support all the advantages and capabilities of Design by Contract. In this work, we intend to define which characteristics are necessary in order to fully implement the methodology, evaluating the faults of existing tools and, afterwards, defining and constructing a new language, “Contract-Java”, defined as an extension of the Java language, which allows to use Design by Contract in its entirety.
APA, Harvard, Vancouver, ISO, and other styles
2

Drejhammar, Frej. "Flow Java : declarative concurrency for Java." Licentiate thesis, KTH, Microelectronics and Information Technology, IMIT, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-287.

Full text
Abstract:

This thesis presents the design, implementation, and evaluation of Flow Java, a programming language for the implementation of concurrent programs. Flow Java adds powerful programming abstractions for automatic synchronization of concurrent programs to Java. The abstractions added are single assignment variables (logic variables) and futures (read-only views of logic variables).

The added abstractions conservatively extend Java with respect to types, parameter passing, and concurrency. Futures support secure concurrent abstractions and are essential for seamless integration of single assignment variables into Java. These abstractions allow for simple and concise implementation of high-level concurrent programming abstractions.

Flow Java is implemented as a moderate extension to the GNU GCJ/libjava Java compiler and runtime environment. The extension is not speci c to a particular implementation, it could easily be incorporated into other Java implementations.

The thesis presents three implementation strategies for single assignment variables. One strategy uses forwarding and dereferencing while the two others are variants of Taylor's scheme. Taylor's scheme represents logic variables as a circular list. The thesis presents a new adaptation of Taylor's scheme to a concurrent language using operating system threads.

The Flow Java system is evaluated using standard Java benchmarks. Evaluation shows that in most cases the overhead incurred by the extensions is between 10% and 50%. For some pathological cases the runtime increases by up to 150%. Concurrent programs making use of Flow Java's automatic synchronization, generally perform as good as corresponding Java programs. In some cases Flow Java programs outperform Java programs by as much as 33%.

APA, Harvard, Vancouver, ISO, and other styles
3

Drejhammar, Frej. "Flow Java : declarative concurrency for Java /." Licentiate thesis, Stockholm : Department of Microelectronics and Information Technology, Royal Institute of Technology, 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-287.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Bwogi, Andrew, and Tuncay Dagdelen. "Configuring Java Pathfinder for concurrent Java programs." Thesis, KTH, Skolan för datavetenskap och kommunikation (CSC), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-208369.

Full text
Abstract:
Software verification is a field of computer science dedicated to guar- antee that a program runs according to a formalized specification. Of various kinds of verification techniques model checking tries all possi- ble states of a program and makes sure each state satisfies a set of for- malized properties. Java Pathfinder (JPF) is a tool that automatically model checks Java bytecode. This report studies general configuration patterns for JPF that leads it to either terminate without errors or ter- minate with found concurrency bugs for different types of programs. The types considered are solutions to producer-consumer problems, barber shop problems, reader-writer problems and programs falling under the type server-client systems. The main part of the method is first a search for these types of programs using cloud-based revision control systems. Second, these programs are verified with the help of the JPF documentation, articles on the subject and online discus- sion groups. The results are configurations that lead to no errors, con- currency bugs and native method errors depending on the program verified. An important limitation of the report is the absence of large programs that challenge JPF’s state space handling. The resulting gen- eral configuration patterns found are applicable to small programs not using native methods. A pattern is also found for programs with na- tive methods, but here it is possible that the user must modify a model class in JPF.
Programverifikation är ett datalogiskt fält som säkerställer att pro- gram fungerar enligt en formaliserad specifikation. Modellkontroll är ett delområde i programverifikation som testar alla möjliga tillstånd i ett program för att se om de uppfyller en mängd formaliserade egen- skaper. Java Pathfinder (JPF) är ett verktyg som automatiskt kontrolle- rar bytekod i Java. Syftet med den här rapporten är att undersöka vil- ka generella konfigurationsmönster som finns för särskilda program- typer som leder till att JPF antingen terminerar utan fel eller med ett funnet samverkningsfel. Programtyperna som undersöks är lösningar till producer/consumer-problem, barber shop-problem, reader/wri- ter-problem och program som faller under typen server/klient-pro- gram. Metoden består i huvudsak först av sökning efter program i molnbaserade versionshanteringssystem. Sedan följer programkontroll med hjälp av JPF-dokumentation, artiklar om ämnet och diskussions- grupper online. Resultatet är ett antal konfigurationer som leder till inga fel, fel på grund av samtidig trådkörning och fel på grund av di- rekt körbar kod, beroende på det verifierade programmet. En viktig begränsning med rapporten är frånvaron av stora program som tes- tar JPFs hantering av stora tillståndsrymder. De funna generella kon- figurationerna är tillämpbara på små program som inte använder di- rekt körbar kod. En generell konfiguration hittades även för program som använder direkt körbar kod, men här måste användaren eventu- ellt skriva om en modellklass i JPF.
APA, Harvard, Vancouver, ISO, and other styles
5

Doyon, Stéphane. "On the security of Java, the Java bytecode verifier." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape7/PQDD_0004/MQ41890.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Romio, Giovanni. "Backport di una applicazione da Java 8 a Java 7." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2016. http://amslaurea.unibo.it/10481/.

Full text
Abstract:
In Java 8, ultimo aggiornamento ufficiale del linguaggio Java, sono state introdotte alcune nuove funzionalità che permettono l’integrazione di alcuni meccanismi legati ai linguaggi dinamici o funzionali, come le espressioni lambda, l’utilizzo degli stream e la dichiarazione di metodi statici all’interno di interfacce. Se si volesse installare un’applicazione scritta in Java 8 su Android, Dalvik VM, la JVM in esso presente, fallirà il processo di traduzione del bytecode. In questa tesi quindi esplorerò, sia ad alto livello che a basso livello, l’origine del problema e presenterò una soluzione di backporting per un’applicazione esistente.
APA, Harvard, Vancouver, ISO, and other styles
7

Kwon, Jagun. "Ravenscar-Java: Java Technology for High-Integrity Real-Time Systems." Thesis, University of York, 2006. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.485101.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Anders, Jörg. "Java MPEG1-Player." Universitätsbibliothek Chemnitz, 2003. http://nbn-resolving.de/urn:nbn:de:swb:ch1-200300738.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Batchelder, Michael Robert. "Java bytecode obfuscation." Thesis, McGill University, 2007. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=18300.

Full text
Abstract:
Programs written for machine execution will always be susceptible to information theft. This information can include trademarked algorithms, data embedded in the program, or even data the program accesses. As technology advances computer scientists are building more and more powerful tools for reverse-engineering such as decompilers.The Java programming language is particularly open to reverse-engineering attacks because of its well-defined, open, and portable binary format. We examine one area of better-securing the intellectual property of a Java program; obfuscation. Obfuscation of a program involves transforming the code of the program into a more complex, but semantically equivalent representation. This can include the addition of confusing control flow, the removal of certain information embedded in the program which is not explicitly required for execution, or the cloaking of data.Obfuscation is one of the only techniques available other than cryptological options. While many approaches to obfuscation are ultimately reversible, it nevertheless seriously hinders those attempting to steal information by increasing the computing time and power required by software to reverse-engineer the program and also severely increases the complexity of any source code that is recovered by the reverse-engineering.In this thesis we present a number of obfuscating transformations implemented within a new automatic tool we name the Java Bytecode Obfuscator (JBCO). We present empirical measures of the performance costs of these transformations in terms of execution speed and program size. Complexity measurements that gauge the effectiveness of the obfuscations are also given. Finally, we review the feasibility of each transformation by looking at source code generated from obfuscated bytecode by various decompilers.
Les programmes écrits pour l'exécution d'ordinateur seront toujours susceptibles au vol d'information. Cette information peut inclure des algorithmes de marque de commerce, des données incluses dans le programme, ou même des données concernant les accès de programme. Suivant les avancées technologiques, les informaticiens construisent des outils de plus en plus puissants pour l'ingénierie inverse telle que le décompilateur. Le langage de programmation de Java est particulièrement ouvert aux attaques de l'ingénierie inverse en raison de son format binaire bien défini, ouvert, et portatif. Nous recherches portent sur un domaine permettant de mieux sécuriser fixer la propriété intellectuelle des programmes en Java; obscurcissement. L'obscurcissement d'un programme implique de transformer le code du programme en une représentation plus complexe mais sémantiquement équivalente. Ceci peut inclure l'addition de l'écoulement embrouillant de commande, de la supression de certaines informations incluses dans les programmes dont l'exécution n'est pas spécifiquement exigée, ou de la dissimulation des données. Excepté les techniques cryptologique s, l'obscurcissement est l'une des seules techniques disponibles. Même si beaucoup de stratégies de l'obscurissment sont finalement réversibles, il gêne sérieusement ceux qui essayent de voler l'information en augmentant la durée de calcul et la puissance exigées par les logicels d'ingénierie inverse et augmente considérablement la complexité de n'importe quel code source récupere par cette technique. Dans cette thèse nous présentons un certain nombre de transformations d'obscurcissement mises en application dans un outil automatique que nous appelons le Java Bytecode Obfuscator (JBCO). Nous présentons des mesures empiriques des coûts d'exécution de ces transformations en termes de vitesse d'exécution et taille de programme. Des mesures de complexité qui mesurent l'efficacité des obscurc
APA, Harvard, Vancouver, ISO, and other styles
10

Bezděk, Pavel. "Gramatická evoluce – Java." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2009. http://www.nusl.cz/ntk/nusl-228412.

Full text
Abstract:
The object of my thesis is the realization of grammatical evolution in the Java programming language for solving problems of approximation of functions and synthesis of logical circuits. The application is practical used for testing and gathering data in context of using different purpose function and parallel grammatical evolution. The data are analyzed and evaluated.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Java"

1

R, Walde, ed. Java, Java, Java: Object-oriented problem solving. 3rd ed. Upper Saddle River, NJ: Pearson Prentice Hall, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Hutton, Peter. Java. (London): APA, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Ritchey, Tim. Java! Indianapolis: New Riders, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Schader, Martin, and Lars Schmidt-Thieme. Java. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/978-3-662-08043-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Louis, Dirk, and Peter Müller. Java. München: Carl Hanser Verlag GmbH & Co. KG, 2014. http://dx.doi.org/10.3139/9783446438347.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Java. Lincolnwood (Chicago), Ill: NTC/Contemporary Pub., Inc., 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Fisher, Timothy R. Java. Paris: CampusPress, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

1959-, Coatalem Jean-Luc, ed. Java. Amsterdam: Oog & Blik, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Java! Indianapolis, Ind: New Riders Pub., 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Hutton, Peter. Java. Edited by Allan Jeremy, Invernizzi Luca, and Hoefer Hans. [Hong Kong]: APA Publication, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Java"

1

Fischer, Clemens, and Dieter Meemken. "JaWA: Java with Assertions." In JIT’98 Java-Informations-Tage 1998, 49–58. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/978-3-642-59984-2_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Stärk, Robert F., Joachim Schmid, and Egon Börger. "The imperative core JavaI of Java." In Java and the Java Virtual Machine, 33–46. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-59495-3_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Shekhar, Shashi, and Hui Xiong. "Java." In Encyclopedia of GIS, 601. Boston, MA: Springer US, 2008. http://dx.doi.org/10.1007/978-0-387-35973-1_663.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Buchanan, W. J. "Java." In The Complete Handbook of the Internet, 1131–73. Boston, MA: Springer US, 2002. http://dx.doi.org/10.1007/978-0-306-48331-8_52.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Edwards, Stephen A. "Java." In Languages for Digital Embedded Systems, 165–76. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/978-1-4615-4325-1_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Rumpe, Bernhard. "Java." In Xpert.press, 237–44. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22413-3_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Hansmann, Uwe, Lothar Merk, Martin S. Nicklous, and Thomas Stober. "Java." In Pervasive Computing Handbook, 121–32. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-662-04318-9_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Weik, Martin H. "JAVA." In Computer Science and Communications Dictionary, 844. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_9664.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Tripiccione, Raffaele, Michael Philippsen, Rolf Riesen, and Arthur B. Maccabe. "Java." In Encyclopedia of Parallel Computing, 992. Boston, MA: Springer US, 2011. http://dx.doi.org/10.1007/978-0-387-09766-4_2075.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Rennie, Frank, and Keith Smyth. "Java." In Digital Learning: The Key Concepts, 89. 2nd ed. London: Routledge, 2019. http://dx.doi.org/10.4324/9780429425240-112.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Java"

1

Jacques-Silva, Gabriela, Regina Lúcia de O. Moraes, Taisy Silva Weber, and Eliane Martins. "Validando Sistemas Distribuídos Desenvolvidos em Java Utilizando Injeção de Falhas de Comunicação por Software." In Workshop de Testes e Tolerância a Falhas. Sociedade Brasileira de Computação - SBC, 2004. http://dx.doi.org/10.5753/wtf.2004.23379.

Full text
Abstract:
Aplicações distribuídas em Java usadas em sistemas de alta disponibilidade exigem que mecanismos de tolerância a falhas sejam validados, para não apresentarem um comportamento inesperado no momento em que são requisitados no ambiente operacional. Jaca é uma ferramenta de injeção de falhas para validação experimental de aplicações Java. Em sua primeira versão, Jaca apresentava três classes de falhas, baseadas em falhas de interface. Este trabalho apresenta a expansão do modelo de falhas de Jaca para falhas de comunicação. Essa extensão permite o uso dessa ferramenta na condução de experimentos de validação em sistemas distribuídos.
APA, Harvard, Vancouver, ISO, and other styles
2

Waldo, Jim. "Java." In the 19th international conference. New York, New York, USA: ACM Press, 1997. http://dx.doi.org/10.1145/253228.253539.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Cazzola, Walter, and Edoardo Vacchi. "@Java." In the 28th Annual ACM Symposium. New York, New York, USA: ACM Press, 2013. http://dx.doi.org/10.1145/2480362.2480679.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Barbuti, Roberto, and Stefano Cataudella. "Java bytecode verification on Java cards." In the 2004 ACM symposium. New York, New York, USA: ACM Press, 2004. http://dx.doi.org/10.1145/967900.967991.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Drysdale, Scot, Judith Hromcik, Mark Allen Weiss, and Reg Hahne. "Java in the morning...Java in the evening...Java in 2004." In the 34th SIGCSE technical symposium. New York, New York, USA: ACM Press, 2003. http://dx.doi.org/10.1145/611892.611909.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Cok, David R. "Specifying java iterators with JML and Esc/Java2." In the 2006 conference. New York, New York, USA: ACM Press, 2006. http://dx.doi.org/10.1145/1181195.1181210.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Schoeberl, Martin, and Juan Ricardo Rios. "Safety-critical Java on a Java processor." In the 10th International Workshop. New York, New York, USA: ACM Press, 2012. http://dx.doi.org/10.1145/2388936.2388946.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Lupoli, Shawn, and Heather Stephens. "Exploring Java Programming after Java Version 8." In SIGCSE 2024: The 55th ACM Technical Symposium on Computer Science Education. New York, NY, USA: ACM, 2024. http://dx.doi.org/10.1145/3626253.3633434.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Kwon, Jagun, Andy Wellings, and Steve King. "Ravenscar-Java." In the 2002 joint ACM-ISCOPE conference. New York, New York, USA: ACM Press, 2002. http://dx.doi.org/10.1145/583810.583825.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Cavé, Vincent, Jisheng Zhao, Jun Shirako, and Vivek Sarkar. "Habanero-Java." In the 9th International Conference. New York, New York, USA: ACM Press, 2011. http://dx.doi.org/10.1145/2093157.2093165.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Java"

1

Abi-Antoun, Marwan, and Jonathan Aldrich. JavaD: Bringing Ownership Domains to Mainstream Java. Fort Belvoir, VA: Defense Technical Information Center, May 2006. http://dx.doi.org/10.21236/ada456237.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Johnson, Anthony S. Java Analysis Studio. Office of Scientific and Technical Information (OSTI), October 1998. http://dx.doi.org/10.2172/9932.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Long, Fred. Software Vulnerabilities in Java. Fort Belvoir, VA: Defense Technical Information Center, October 2005. http://dx.doi.org/10.21236/ada443139.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Franco, J. Network Servers and Java,. Fort Belvoir, VA: Defense Technical Information Center, December 1996. http://dx.doi.org/10.21236/ada326051.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Varma, Ankush, and Shuvra S. Bhattacharyya. Java-through-C Compilation: An Enabling Technology for Java in Embedded Systems. Fort Belvoir, VA: Defense Technical Information Center, February 2004. http://dx.doi.org/10.21236/ada455085.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

League, Christopher, Valery Trifonov, and Zhong Shao. Type-Preserving Compilation of Featherweight Java. Fort Belvoir, VA: Defense Technical Information Center, January 2005. http://dx.doi.org/10.21236/ada436466.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Piszcz, Alan, and Kent Vidrine. Real-Time Java Commercial Product Assessment. Fort Belvoir, VA: Defense Technical Information Center, October 2000. http://dx.doi.org/10.21236/ada458007.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Conn, Eric S. JAVA-Based Performance Oriented Visualization System. Fort Belvoir, VA: Defense Technical Information Center, April 2003. http://dx.doi.org/10.21236/ada415539.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Friedman-Hill, E. J. Jess, the Java expert system shell. Office of Scientific and Technical Information (OSTI), November 1997. http://dx.doi.org/10.2172/565603.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Harkema, Marcel, Dick Quartel, Rob van der Mei, and Bart Gijsen. JPMT: A Java Performance Monitoring Tool. Centre for Telematics and Information Technology (CTIT), 2003. http://dx.doi.org/10.3990/1.5152400.

Full text
Abstract:
This paper describes our Java Performance Monitoring Toolkit (JPMT), which is developed for detailed analysis of the behavior and performance of Java applications. JPMT represents internal execution behavior of Java applications by event traces, where each event represents the occurrence of some activity, such as thread creation, method invocation, and locking contention. JPMT supports event filtering during and after application execution. Each event is annotated by high-resolution performance attributes, e.g., duration of locking contention and CPU time usage by method invocations. JPMT is an open toolkit, its event trace API can be used to develop custom performance analysis applications. JPMT comes with an event trace visualizer and a command-line event trace query tool for scripting purposes. The instrumentation required for monitoring the application is added transparently to the user during run-time. Overhead is minimized by only instrumenting for events the user is interested in and by careful implementation of the instrumentation itself.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Java' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography