Tesis sobre el tema "JavaFX"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores tesis para su investigación sobre el tema "JavaFX".
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 tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Fratta, Luca. "La Piattaforma JavaFX". Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2010. http://amslaurea.unibo.it/1179/.
Texto completoKhodabandehloo, Elmira. "JavaFX Scene Graph Object Serialization". Thesis, KTH, Radio Systems Laboratory (RS Lab), 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-131221.
Texto completoDatavisualisering används för att analysera och uppfatta mönster i data. Ett användningsfall för visualisering är att grafiskt representera och jämföra simuleringsresultat. På Ericsson Research har en visualiseringplattform för att visualisera simuleringsresultat utvecklats som baserats på JavaFX 2. Tre konfigurationsfiler krävs för att skapa en applikation baserad på denna visualiseringsplattform: XML, FXML och CSS. Det nuvarande problemet är att för att utveckla en ny applikation så måste de tre konfigurationsfilerna skrivas för hand vilket är kräver mycket utvecklingstid. Syftet med denna studie är att minska mängden arbete som krävs för att konstruera en visualiseringapplikation genom att tillhandahålla en serialiseringsfunktion som gör det möjligt att spara applikationens layout till en FXML-fil medan programmet exekverar enbart genom att extrahera information ur det grafiska gränsnittets scengraf. I detta examensarbete har ett antal mjukvarubibliotek eller API: er som kan underlätta utvecklandet av en generisk FXML serialiseringsfunktion analyserats och de mest lovande alternativen enligt ett antal utvärderingsmetriker har identifierats. Med hjälp av en iterativ, design-orienterad forskningsmetod har en algoritm designats som är kapabel till att serialisera generiska Java-objekt, eller Java-bönor till FXML. Den föreslagna algoritmen har sedan utvärderats genom automatiserade mjukvarutester. Utvärderingen består av: analys av serialiseringsresultat, design av testfall, samt jämförelse av förväntade resultat och de faktiska resultaten med hjälp av enhetstest och uppmätt kodtäckning. Utvärderingen visar att serialiseringsalgoritmen ger resultat som motsvarar de ursprungliga FXML-filerna som utformats för att verifiera olika delar av FXML standarden. Därmed anses den föreslagna serialiseringsalgoritmen uppfylla de delar av FXML-specifikationen som kravställts och beaktats i detta examensarbete.
Piras, Stefania. "JavaFX e le applicazioni Web". Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2011. http://amslaurea.unibo.it/2406/.
Texto completoAlkhars, Abeer y Wasan Mahmoud. "Cross-Platform Desktop Development (JavaFX vs. Electron)". Thesis, Linnéuniversitetet, Institutionen för datavetenskap (DV), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-61313.
Texto completoÖrnberg, Dennis. "Comparison and implementation of graph visualization algorithms using JavaFX". Thesis, Linköpings universitet, Databas och informationsteknik, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-133071.
Texto completoMaltoni, Niccolò. "Progettazione object-oriented di un'interfaccia grafica JavaFX per il simulatore Alchemist". Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/14682/.
Texto completoRamadan, Jemal Saleh y Niclas Södermark. "Development of an Electronic Medical Record System". Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-177008.
Texto completoSofiaängen (http://sofiaangen.com/)is a psychotherapeutic day activities center and school located in Södermalm in Stockholm. Sofiaängen targets young peo-ple between the age of 14 and 20 and who have psychological orsocial prob-lems. The current system used by Sofiaängen for handling patient medical records is a Microsoft word file-system on a Mac server, which is neitherefficient norflex-ible. The objective of this bachelor thesis has therefore been to find the best way of implementing an EMRS as well asdesigning, developingand deployingthe selected solution. The work was divided into four different phases. The first phase was conduct-ing feasibility study where possible implementations (standalone and web based) were studied. The result was submitted to Sofiaängen so they couldmake a selection. The second,third and fourth phases were respectively de-signing, implementing (and testing) and deploying the selected solution. The selected solution was to implement the system as a standalone application. The system was implemented using the JavaFX platform andaMySQL data-base server. We used an iterative software developmentmodel in order to implement the functional requirements incrementally andin doing so we were able to evaluate our work early, before the next set of requirements were implemented after get-tingfeedback on the development from Sofiaängen. The Degree project has resulted in an EMRS which fulfills all of the functional and look-and-feel requirements required by Sofiaängen.
Nilsson, Michael. "Konfigurationsverktyg för SIA". Thesis, Örebro universitet, Institutionen för naturvetenskap och teknik, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-51597.
Texto completoThis report describes the development of an application used to configure integrations used by Sigma Integration Architecture (SIA). The application is aimed towards Sigma personnel unfamiliar with the integration architecture, as it provides the user with various help elements in an effort to ease the configuration process and lower the entry barrier for creating and editing integrations. Using Java's reflection API in combination with dynamic proxies, the application is able to perform validation and simulation of integration pipelines before they are used for production. We also include a cache mechanism to speed up the process, and provide experimental verification of caching performance. The application is developed as two separate parts, consisting of a back end written in Java, and a web-based front end created with AngularJS.
Wilhelmsson, Jonas. "Rich Internet Application Platforms : En utvärderingsstudie av Adobe Flex, JavaFX och HTML5". Thesis, Linköpings universitet, Institutionen för datavetenskap, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-73281.
Texto completoMihajlovic, Vuksa. "Sviluppo di interfacce grafiche moderne in Kotlin e JavaFX: evoluzione della UI del simulatore Alchemist". Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2020. http://amslaurea.unibo.it/21648/.
Texto completoМиколюк, Юрій Миронович. "Розробка інформаційно-електронної системи для контролю відвідуваності та успішності студентів «iJournal» на основі технології JavaFX". Master's thesis, ТНТУ ім. І Пулюя, 2019. http://elartu.tntu.edu.ua/handle/lib/30667.
Texto completoGessi, Luca. "Sviluppo di una piattaforma software per acquisizione dati da un sistema di misura di impedenze". Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2015. http://amslaurea.unibo.it/8997/.
Texto completoJansson, Martin y Simon Petersson. "Object detection and single-board computers : En förstudie gjord på Saab AB". Thesis, Linnéuniversitetet, Institutionen för datavetenskap och medieteknik (DM), 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-75981.
Texto completoSaab is currently using an old and complex system to perform tests of their products. The system is based on filming from different angles which will be merged to one film from which Saab can analyze the results of their products. Single-board computers is something that have become increasingly popular in the recent years, therefore, we are to investigate whether it is possible or not to replace the older systems with SBCs and cameras.We will also investigate whether the BeagleBoard is capable of detecting objects while filming, synchronizing, encoding and saving the video for later use.The result showed that the processor isn’t powerful enough to handle object identification without full hardware support. Instead, it needs to be performed afterwards by a computer which will identify objects in the video. A better method has been proposed to make object identification smarter and learning, which will work better in Saab’s case and their future work.
Flatscher, Rony G. "Anatomy of a GUI (Graphical User Interface) Application for Rexx Programmers". Rexx Language Association, 2018. http://epub.wu.ac.at/6875/2/201803%2DAnatomyOfGUI%2DArticle.pdf.
Texto completoPuligheddu, Giacomo. "Tweet Tracker: analisi e visualizzazione di tweet geolocalizzati". Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2020.
Buscar texto completoSund, Daniel. "Comparison of Visualization Algorithms for Graphs and Implementation of Visualization Algorithm for Multi-Touch table using JavaFX". Thesis, Linköpings universitet, Databas och informationsteknik, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-133167.
Texto completoCasadio, Elisa. "Train your mind - Software per il training cognitivo nell'invecchiamento sano e patologico". Master's thesis, Alma Mater Studiorum - Università di Bologna, 2019. http://amslaurea.unibo.it/18439/.
Texto completoCasadio, Elisa. "Revisione e refactoring dell'interfaccia utente del simulatore Alchemist". Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2016. http://amslaurea.unibo.it/12310/.
Texto completoPlačko, Michal. "Sledování lidské postavy ve videosekvenci". Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2014. http://www.nusl.cz/ntk/nusl-220561.
Texto completoKilic, Türkbey. "Vidareutveckling av ett journalsystem : Hur ett gammalt projekt återupptas". Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-210641.
Texto completoSofiaängen is a psychotherapeutic day school and school located at Södermalm in Stockholm. Sofiaängen is aimed at young people between 13-20 years with mental and social problems. Sofiaängen needed a complete journal system to facilitate their work routines with records of patient treatments. Their current system is not completed and needed further development. Thus, the work was divided into two parts, first to develop a proposal for a general process model for managing an unfinished IT system to the academy and then to deliver a fully functioning journal system for Sofiaängen. The thesis has resulted in a proposal for a general process model for handling unfinished projects as well as a fully functioning journal system for Sofiaängen, which can be put into operation immediately.
Černocký, Petr. "Webové rozhraní pro komunikaci s uzly bezdrátové senzorové sítě". Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2011. http://www.nusl.cz/ntk/nusl-218960.
Texto completoKoya, Bharath Kumar. "Sched-ITS: An Interactive Tutoring System to Teach CPU Scheduling Concepts in an Operating Systems Course". Wright State University / OhioLINK, 2017. http://rave.ohiolink.edu/etdc/view?acc_num=wright1495656458526149.
Texto completoArfwedson, Pontus. "Creating a usable analysis application built on an existing visualization platform". Thesis, Uppsala universitet, Signaler och System, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-323423.
Texto completoNeužil, Antonín. "Nástroj pro práci s Objektově orientovanými Petriho sítěmi". Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2020. http://www.nusl.cz/ntk/nusl-417201.
Texto completoJonsson, Daniel. "Layout and configuration tools for visualization software". Thesis, Linköpings universitet, Medie- och Informationsteknik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-106951.
Texto completoGruppioni, Laura. "Progetto e sviluppo di un software per l'esecuzione del workflow analitico su immagini e dati generati da una piattaforma di analisi cellulare". Master's thesis, Alma Mater Studiorum - Università di Bologna, 2022.
Buscar texto completoJurčík, Michal. "Modelování elastických a neelastických kolizí". Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2013. http://www.nusl.cz/ntk/nusl-220296.
Texto completoTschantz, Matthew S. "Javari : adding reference immutability to Java". Thesis, Massachusetts Institute of Technology, 2006. http://hdl.handle.net/1721.1/42117.
Texto completoIncludes bibliographical references (leaves 129-133).
This paper describes a programming language, Javari, that is capable of expressing and enforcing immutability constraints. The specific constraint expressed is that the abstract state of the object to which an immutable reference refers cannot be modified using that reference. The abstract state is (part of) the transitively reachable state: that is, the state of the object and all state reachable from it by following references. The type system permits explicitly excluding fields from the abstract state of an object. For a statically type-safe language, the type system guarantees reference immutability. The type system is distinguishes the notions of assignability and mutability; integrates with Java's generic types and with multi-dimensional arrays; provides a mutability polymorphism approach to avoiding code duplication; and has type-safe support for reflection and serialization. This paper describes a core calculus including formal type rules for the language. Additionally, this paper describes a type inference algorithm that can be used convert existing Java programs to Javari. Experimental results from a prototype implementation of the algorithm are presented.
by Matthew S. Tschantz.
M.Eng.
Nevřela, Marek. "Systém pro sledování využití mobilních aplikací". Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2017. http://www.nusl.cz/ntk/nusl-363833.
Texto completoMartins, Duarte João Figueira. "JavaCO – uma variante do Java com um sistema de tipos baseado em covariância". Master's thesis, Faculdade de Ciências e Tecnologia, 2010. http://hdl.handle.net/10362/4590.
Texto completoQuando se compara a linguagem Eiffel com a linguagem Java, a diferença com mais impacto no estilo de programação é o facto de a primeira permitir métodos com argumentos covariantes, isto é, permitir a especialização do tipo dos argumentos à medida que se desce na hierarquia. Esta possibilidade é uma vantagem porque permite modelar determinados aspectos do mundo real de forma mais directa e intuitiva. Mas também há uma desvantagem que justifica a raridade desta opção na generalidade das linguagens modernas: o facto de criar complicações ao nível da tipificação estática dos programas. O objectivo deste trabalho é criar uma variante do Java, chamada JavaCO, cujo sistema de tipos será baseado em covariância, à imagem do sistema de tipos da linguagem Eiffel. A introdução de um novo tipo genérico “This”, servirá para aumentar a utilidade prática do mecanismo de covariância. Espera-se assim proporcionar uma experiência de programação similar à da linguagem Eiffel, mas num ambiente de programação Java, usando as ferramentas e bibliotecas do Java. A nova linguagem será implementada através da tradução para Java puro. A implementação seguirá as linhas da definição semântica e consistirá num tradutor escrito usando a ferramenta SableCC. O tradutor fará alguma análise estática dos programas de entrada; contudo, os aspectos mais essenciais da nova linguagem serão implementados por recurso a tipificação dinâmica (na mesma linha do Eiffel “clássico”).
Beckwith, Robaire Stephen. "The ecology and behaviour of the Javan black langur, in lower montane rain forest, West Java". Thesis, University of Cambridge, 1995. https://www.repository.cam.ac.uk/handle/1810/252001.
Texto completoFransson, Lina. "Fine scale habitat and movement patterns of javan slow loris (Nycticebus javanicus) in Cipaganti, West Java, Indonesia". Thesis, Uppsala universitet, Institutionen för biologisk grundutbildning, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-348817.
Texto completoSvoboda, Pavel. "Komunikační klient v JavaMe". Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2009. http://www.nusl.cz/ntk/nusl-218191.
Texto completoAnders, Jörg. "JAVA3D am Beispiel eines Getriebemodells". Universitätsbibliothek Chemnitz, 2001. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-200100340.
Texto completoJaneček, Aleš. "Vývoj SIP klienta v JavaME". Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2008. http://www.nusl.cz/ntk/nusl-217494.
Texto completoObdržálek, Petr. "Video na vyžádání v JavaME". Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2009. http://www.nusl.cz/ntk/nusl-218196.
Texto completoNešpor, Zdeněk. "Sledování objektu ve videosekvenci". Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2013. http://www.nusl.cz/ntk/nusl-220323.
Texto completoFrancisco, 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.
Texto completoA 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.
Silva, Bernardo Natividade Vargas da y 97-99160-3713. "Territorialidade Korubo no Vale do Javari – AM". Universidade Federal do Amazonas, 2017. http://tede.ufam.edu.br/handle/tede/6132.
Texto completoApproved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-02-02T18:31:54Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação_ Bernardo Vargas da Silva.pdf: 4544482 bytes, checksum: 1d3f3ba4191d581c16f302158171252c (MD5)
Made available in DSpace on 2018-02-02T18:31:55Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação_ Bernardo Vargas da Silva.pdf: 4544482 bytes, checksum: 1d3f3ba4191d581c16f302158171252c (MD5) Previous issue date: 2017-11-17
CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
This dissertation is the result of an interdisciplinary study of the territorial configuration and territoriality expressed by the indigenous people Korubo in the last 50 years. The indigenous people named by us Korubo are speakers of a language of the Pano family and live in the Indigenous Territory Vale do Javari, in the far west of the Brazilian state of Amazonas. They are currently local groups that present different levels of interaction with the national society, from situations of isolation to relationships of permanent contact. Over the last decades, the Korubo have acted with deep resilience and resistance, mainly in reaction to the onslaught of developmentist fronts over their territory. During a part of the second half of the twentieth century, these people occupied a territorial unit based on the interfluvial rivers Ituí and Itaquaí, this last tributary of the Javari river, and explicitly showed the intention of not establishing permanent contact with the surrounding society. It is estimated that from the late 1980s processes of dispersion of local Korubo groups have been developed. This caused a geographic isolation between some of them, interrupting flows of contact due to new social and territorial arrangements. The contact consolidation events between the National Indian Foundation (FUNAI) and some of these local groups in the last 21 years revealed, among other things, the close kinship relations between individuals of the newly contacted groups and still important aspects that served to understand the aspects of their splits and dispersions. The methodology of this research is based on the cross-referencing of the information collected by the bibliographic and documentary investigation, the Korubo narratives and the work that I performed as a field indigenist by the Vale do Javari Ethno-Environmental Protection Front (FPEVJ), a unit of FUNAI that investigates and protects the territory and the culture of the isolated indigenous peoples and recently contacted of the Indigenous Territory Vale do Javari. As a result of this investigation, I present the forms that the Korubo appropriates their territory and the dilemmas that the indigenous of this ethnic group have been facing in the contemporary context.
Este trabalho é o resultado de um estudo interdisciplinar sobre a configuração territorial e a territorialidade expressada pelos índios Korubo nos últimos 50 anos. O povo indígena denominado por nós de Korubo são falantes de uma língua da família Pano e vivem na Terra Indígena Vale do Javari, no extremo ocidente do estado do Amazonas. Constituem atualmente grupos locais que apresentam diferentes níveis de interação com a sociedade nacional, desde situações de isolamento até relações de contato permanente. Ao longo das últimas décadas, os Korubo atuaram com profunda resiliência e resistência, principalmente na reação às investidas das frentes desenvolvimentistas sobre seu território. Durante uma parte da segunda metade do século XX, estes indígenas ocupavam uma unidade territorial baseada no interflúvio dos rios Ituí e Itaquaí, este último afluente do rio Javari, e explicitamente demonstravam a intenção de não estabelecer contato permanente com a sociedade envolvente. Estima-se que a partir do final da década de 1980 desenvolvem-se processos de dispersão de grupos locais Korubo, o que ocasionou um isolamento geográfico entre alguns deles, interrompendo fluxos de contato devido a novos arranjos sociais e territoriais. Os eventos de consolidação de contato entre a Fundação Nacional do Índio (FUNAI) e alguns destes grupos locais nos últimos 21 anos, revelou entre outras coisas, as estreitas relações de parentesco entre sujeitos dos grupos recém-contatados e ainda importantes aspectos que serviram para entender a forma que as cisões e dispersões entre os grupos locais ocorreram. A metodologia desta investigação baseia-se no cruzamento das informações levantadas pela pesquisa bibliográfica e documental, com as narrativas dos Korubo contatados e pelo trabalho que executei como indigenista de campo pela Frente de Proteção Etnoambiental Vale do Javari (FPEVJ), unidade da FUNAI que investiga, promove e protege o território e a cultura dos povos indígenas isolados e de recente contato da Terra Indígena Vale do Javari. Como resultado deste estudo, apresento as formas que os Korubo se apropriam de seu território e os dilemas que os indígenas desta etnia vêm enfrentando no contexto contemporâneo.
Kubina, Tomáš. "Rozhraní pro skupinové odesílání SMS v JavaME". Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2008. http://www.nusl.cz/ntk/nusl-217718.
Texto completoDrejhammar, 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.
Texto completoThis 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%.
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.
Texto completoBwogi, Andrew y 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.
Texto completoProgramverifikation ä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.
Paes, Filho Jose C. "JAVAMIX : a tactical decision to evaluate minefield clearance plans". Thesis, Monterey, California. Naval Postgraduate School, 2001. http://hdl.handle.net/10945/2496.
Texto completoBrazilian Navy author
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.
Texto completoRomio, 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/.
Texto completoGoh, Okehee. "Scheduling garbage collection of JavaVM on embedded real-time systems". [Florida] : State University System of Florida, 2001. http://etd.fcla.edu/etd/uf/2001/ank7111/thesis3.pdf.
Texto completoTitle from first page of PDF file. Document formatted into pages; contains xi, 75 p.; also contains graphics. Vita. Includes bibliographical references (p. 72-74).
Gupta, Pankaj. "The Design and Implementation of a Prolog Parser Using Javacc". Thesis, University of North Texas, 2002. https://digital.library.unt.edu/ark:/67531/metadc3251/.
Texto completoNurvianto, Sandy [Verfasser], Sven [Akademischer Betreuer] Herzog, Imron Muhammad Akademischer Betreuer] Ali y Mechthild [Gutachter] [Roth. "The Ecology of Javan Asiatic Wild Dog (Cuon alpinus javanicus, Pallas 1811) in Baluran National Park, East Java, Indonesia / Sandy Nurvianto ; Gutachter: Mechthild Roth ; Sven Herzog, Muhammad Ali Imron". Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2018. http://d-nb.info/1226811426/34.
Texto completoKwon, 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.
Texto completo