Filters








19,222 Hits in 6.0 sec

Building a push-button RESOLVE verifier: Progress and challenges

Murali Sitaraman, Bruce Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather Harton, Wayne Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith (+1 others)
<span title="2010-04-14">2010</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/oeimezgcfbas7drzmyhogjmlb4" style="color: black;">Formal Aspects of Computing</a> </i> &nbsp;
Current versions of the RESOLVE verifier generate verification conditions (VCs) for the correctness of component-based software in a modular fashionone component at a time.  ...  A central objective of the verifying compiler grand challenge is to develop a push-button verifier that generates proofs of correctness in a syntax-driven fashion similar to the way an ordinary compiler  ...  Translating verified RESOLVE components to Java is the topic of [SHF09] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00165-010-0154-3">doi:10.1007/s00165-010-0154-3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c4qbniaoave4tpevnhrr4a2y3a">fatcat:c4qbniaoave4tpevnhrr4a2y3a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922050349/http://web.cse.ohio-state.edu/~weide.1/rsrg/documents/2011/11SAABBFFHHKKSW.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/21/11/211170b9d6638c24f985a816e52340f5cac348cf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00165-010-0154-3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions

Alessandro Coglio, Allen Goldberg
<span title="">2001</span> <i title="Wiley"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/o454xj4tdjfllm3oragfkdrffi" style="color: black;">Concurrency and Computation</a> </i> &nbsp;
In the course of our work in developing formal specifications for components of the Java Virtual Machine (JVM), we have uncovered subtle bugs in the bytecode verifier of Sun's Java 2 SDK 1.2.  ...  By posting constraints instead of resolving and loading classes, the bytecode verifier in our solution has a cleaner interface with the rest of the JVM, and allows lazier loading.  ...  INTRODUCTION We are currently developing mathematical specifications for critical components of the Java Virtual Machine (JVM), including the bytecode verifier [1, 2, 3, 4] and the class loading mechanisms  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/cpe.596">doi:10.1002/cpe.596</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rpcilkxcanhsljfibedrznottq">fatcat:rpcilkxcanhsljfibedrznottq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050825232340/http://www.kestrel.edu:80/HTML/projects/java/ccpe01.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ab/1e/ab1e295a53575a88291d2cddad4f6a5aa459f647.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1002/cpe.596"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> wiley.com </button> </a>

Reconstruction of Type Information from Java Bytecode for Component Compatibility

Jaroslav Bauml, Premek Brada
<span title="">2011</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
In this paper we describe a representation of Java language types suitable for checking component compatibility.  ...  The presented approach applies various bytecode handling techniques to reconstruct a representation of the Java types contained in a component implementation, using different sources of class data.  ...  Component Dependency Resolving with Checks The last application scenario we mention is the process of resolving the components with additional subtyping checks.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2011.02.002">doi:10.1016/j.entcs.2011.02.002</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sm5aptbmlzgy5dnjjc55zo7su4">fatcat:sm5aptbmlzgy5dnjjc55zo7su4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170928152248/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/687/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTU3MTA2NjExMTAwMDM5OQ%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/75/63/75631c7a71dd25097790b4bbcfcd3440e00719a0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.entcs.2011.02.002"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

Automatic code generation from unified modelling language sequence diagrams

Debasish Kundu, Rajib Mall, Debasis Samanta
<span title="2013-02-01">2013</span> <i title="Institution of Engineering and Technology (IET)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/nutmzv4t7favpn2jtq3bycxowe" style="color: black;">IET Software</a> </i> &nbsp;
Based on the coding strategy an algorithm is proposed to generate code from UML diagrams using some intermediate steps. The main objective of this paper is to generate the code from UML diagram. .  ...  This paper represents an approach to generate efficient and compact executable code from UML diagram.  ...  It consists of two components known as interpreter and code generator. The interpreter generates table from the DSL while code generator generates Java code from the transition table.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1049/iet-sen.2011.0080">doi:10.1049/iet-sen.2011.0080</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/es2vvdvqajgbhphdtxxllgktyq">fatcat:es2vvdvqajgbhphdtxxllgktyq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809073036/http://www.ijesrt.com/issues%20pdf%20file/Archives-2014/January-2014/79.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e7/00/e7002358f6b86268661bd4847795ff0a1d66625e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1049/iet-sen.2011.0080"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Natural Language Processing: A Chat Bot Application

Yadnyesh Dubla, Sweety Wade, Nagnath Ipper
<span title="2016-04-05">2016</span> <i title="Zenodo"> Zenodo </i> &nbsp;
The paper presents a technology demonstrator to verify a proposed framework required to support such a bot (Spring framework). Communication structure uses wildfly server for clients communication.  ...  By introducing an artificial brain, the web based bot generates customised user responses, aligned to desired character.  ...  This approach of hiding JAVA component from end user creates illusion of simplicity.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.48880">doi:10.5281/zenodo.48880</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hkcjab757jg4pihrcy6fpcykfa">fatcat:hkcjab757jg4pihrcy6fpcykfa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200301191825/https://zenodo.org/record/48880/files/31.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/71/a8/71a8f5041c579fc32d3f250aa89d9fe2a6978ac8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.48880"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> zenodo.org </button> </a>

Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping? [chapter]

Jason Kirschenbaum, Bruce Adcock, Derek Bronish, Hampton Smith, Heather Harton, Murali Sitaraman, Bruce W. Weide
<span title="">2009</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they rarely require a substantive  ...  A careful empirical analysis of hundreds of verification conditions (VCs) for a library of component-client code shows the level of sophistication each proof requires, and suggests how to use the results  ...  Figures 3 through 6 show example VCs generated by the method discussed in Section 2.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-04211-9_4">doi:10.1007/978-3-642-04211-9_4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7zex2x7a4vdunksvvw5jioz5me">fatcat:7zex2x7a4vdunksvvw5jioz5me</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120714013857/http://www.cse.ohio-state.edu/~weide/rsrg/documents/2009/09KABSHSW.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d8/51/d851a3b7a8b9f520e9a7c196abec6c502e2ea0d5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-04211-9_4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Java processor with hardware-support object-oriented instructions

Tan Yiyu, Lo Wan Yiu, Yau Chi Hang, Richard Li, Anthony S. Fong
<span title="">2006</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/brvj2ugukfgvhevdy5lwzvdy6m" style="color: black;">Microprocessors and microsystems</a> </i> &nbsp;
Java programs are compiled into Java Bytecodes, which are executed in the Java virtual machine.  ...  In this paper, a novel Java processor named jHISC is proposed, which mainly targets Java applications in the small embedded devices.  ...  When an object is accessed, the related operand descriptor is read from the operand descriptor table to verify whether the object is resolved or not, then the specific object header is accessed through  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.micpro.2005.12.007">doi:10.1016/j.micpro.2005.12.007</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/g5yz5st44nccbfco6kjlsiie2y">fatcat:g5yz5st44nccbfco6kjlsiie2y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809025426/http://www.cs.wm.edu/~kemper/cs654/slides/sdarticle.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/1f/8d/1f8d888fa1802f2b92e570ee18076923f32220f8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.micpro.2005.12.007"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Distributed virtual machines

Emin Gün Sirer, Robert Grimm, Brian N. Bershad, Arthur J. Gregory, Sean McDirmid
<span title="">1998</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5mp2dg67onhjhm7g25cydvve2y" style="color: black;">Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications - EW 8</a> </i> &nbsp;
Modern virtual machines, such as Java and Inferno, are emerging as network computing platforms.  ...  State of the art virtual machines are still monolithic, that is, they are comprised of closely-coupled service components, which are thus replicated over all computers in an organization.  ...  Sean McDirmid implemented parts of our verifier. Bibek Pandey collected the list of applets that were used in our performance evaluation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/319195.319198">doi:10.1145/319195.319198</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigopsE/SirerGBGM98.html">dblp:conf/sigopsE/SirerGBGM98</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6chop26mwrezdkonirjrjbfl24">fatcat:6chop26mwrezdkonirjrjbfl24</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20040901064430/http://www.cs.cornell.edu:80/people/egs/papers/kimera-tr98-09-01.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/87/db/87db93667d870777e8ea8858a33e74b43e3e3a02.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/319195.319198"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Towards an industrial grade IVE for Java and next generation research platform for JML

Patrice Chalin, Robby, Perry R. James, Jooyong Lee, George Karabotsos
<span title="2010-06-15">2010</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zzy5ovlifvatfirg4js7u4uetq" style="color: black;">International Journal on Software Tools for Technology Transfer (STTT)</a> </i> &nbsp;
A main issue with current tools is their architecture; the cost of keeping up with the evolution of Java is prohibitively high, e.g., Java 5 has yet to be fully supported.  ...  Tool support for the Java Modeling Language (JML) is a very pressing problem.  ...  Acknowledgments This article is an extension of our earlier work presented as the Second IFIP Working Conference on Verified Software: Theories, Tools, and Experiments [16] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10009-010-0164-8">doi:10.1007/s10009-010-0164-8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ganm3hsp6ffyzgidvgb53wfasa">fatcat:ganm3hsp6ffyzgidvgb53wfasa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706025059/http://formal.korea.ac.kr/~jlee/papers/sttt10.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b6/78/b67844314e8ec3ca18e21c792102a9c95bb39ec6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10009-010-0164-8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Development of a Java-based unified and flexible natural language discourse system

Philip Hanna, Ian O'Neill, Darryl Stewart, Behrang Qasemizadeh
<span title="">2009</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jkof62xj4faelkewz45n46rrqe" style="color: black;">Proceedings of the 7th International Conference on Principles and Practice of Programming in Java - PPPJ &#39;09</a> </i> &nbsp;
Use of XML schemas assists this component interaction.  ...  This paper outlines the design and development of a Java-based, unified and flexible natural language dialogue system that enables users to interact using natural language, e.g. speech.  ...  Through the use of Java"s Validator and Schema instances it was readily possible to verify that the source XML met the specification defined within the relevant schema, thereby significantly reducing the  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1596655.1596659">doi:10.1145/1596655.1596659</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/pppj/HannaOSQ09.html">dblp:conf/pppj/HannaOSQ09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/a3zpdqzxrnashbdwuzydnhdjae">fatcat:a3zpdqzxrnashbdwuzydnhdjae</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719190555/https://pure.qub.ac.uk/portal/files/590524/Development%20of%20a%20Java-based%20Unified%20and%20Flexible%20Natural%20Language%20Discourse%20System.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0b/5b/0b5bd44de2e4847ed03732249f273f11f0e4c75c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1596655.1596659"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A java virtual machine architecture for very small devices

Nik Shaylor, Douglas N. Simon, William R. Bush
<span title="">2003</span> <i title="ACM Press"> Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems - LCTES &#39;03 </i> &nbsp;
For portability and ease of debugging, the entire system is written in the Java language, with key components automatically translated into C and compiled for the target device.  ...  The resulting system will run on the next generation of smart cards, and has performance comparable to the reference CLDC implementation available from Sun™.  ...  These symbolic references must be resolved sooner or later through some lookup process.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/780737.780738">doi:10.1145/780737.780738</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/l3v4addz4vanpfwqu4d4usrlwu">fatcat:l3v4addz4vanpfwqu4d4usrlwu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070416220943/http://www.iro.umontreal.ca/~feeley/cours/ift6232/doc/pres2/jvm-for-very-small-devices.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/73/f4/73f463ed130fc77fc5e892c92ecf797e8a3dd1fd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/780737.780738"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A java virtual machine architecture for very small devices

Nik Shaylor, Douglas N. Simon, William R. Bush
<span title="2003-07-11">2003</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
For portability and ease of debugging, the entire system is written in the Java language, with key components automatically translated into C and compiled for the target device.  ...  The resulting system will run on the next generation of smart cards, and has performance comparable to the reference CLDC implementation available from Sun™.  ...  These symbolic references must be resolved sooner or later through some lookup process.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/780731.780738">doi:10.1145/780731.780738</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ylmiwgu7mjfrbcmo2e4nw3oqfe">fatcat:ylmiwgu7mjfrbcmo2e4nw3oqfe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070416220943/http://www.iro.umontreal.ca/~feeley/cours/ift6232/doc/pres2/jvm-for-very-small-devices.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/73/f4/73f463ed130fc77fc5e892c92ecf797e8a3dd1fd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/780731.780738"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

A java virtual machine architecture for very small devices

Nik Shaylor, Douglas N. Simon, William R. Bush
<span title="">2003</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6dcohyzfhveypik7x4entpurlu" style="color: black;">Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems - LCTES &#39;03</a> </i> &nbsp;
For portability and ease of debugging, the entire system is written in the Java language, with key components automatically translated into C and compiled for the target device.  ...  The resulting system will run on the next generation of smart cards, and has performance comparable to the reference CLDC implementation available from Sun™.  ...  These symbolic references must be resolved sooner or later through some lookup process.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/780732.780738">doi:10.1145/780732.780738</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/lctrts/ShaylorSB03.html">dblp:conf/lctrts/ShaylorSB03</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lcfferlzpna3hibn3ysezgadc4">fatcat:lcfferlzpna3hibn3ysezgadc4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070416220943/http://www.iro.umontreal.ca/~feeley/cours/ift6232/doc/pres2/jvm-for-very-small-devices.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/73/f4/73f463ed130fc77fc5e892c92ecf797e8a3dd1fd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/780732.780738"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Binary component adaptation [chapter]

Ralph Keller, Urs Hölzle
<span title="">1998</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
With its flexibility, relative simple implementation, and low overhead, binary component adaptation could significantly improve the reusability of Java components.  ...  Binary component adaptation (BCA) allows components to be adapted and evolved in binary form and on-the-fly (during program loading).  ...  In a standard implementation of the JVM (Java Virtual Machine), this internal representation would be passed on to the verifier.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0054097">doi:10.1007/bfb0054097</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/r7zimjxodbedjfv3dsmru37b3e">fatcat:r7zimjxodbedjfv3dsmru37b3e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812092314/http://hoelzle.org/publications/TRCS97-20.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/39/05/3905bb8a2f5940974325be5f65870b602cb2e975.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0054097"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Analyzing Distributed Java Applications by Automatic Centralization

Lei Ma, Cyrille Artho, Hiroyuki Sato
<span title="">2013</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ma4kgqf4lnhyfahyj2jlhr2usy" style="color: black;">2013 IEEE 37th Annual Computer Software and Applications Conference Workshops</a> </i> &nbsp;
Centralization is a general solution, which transforms multiprocess applications into a single-process one that can be directly analyzed by such existing tools.  ...  In this paper, we adopt centralization as a general framework for analyzing distributed applications. We propose and solve the essential issue of a class version conflict during centralization.  ...  Secondly, these components can be assigned to different machines. Finally, the functional components exchange information through the network.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/compsacw.2013.137">doi:10.1109/compsacw.2013.137</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/compsac/MaAS13.html">dblp:conf/compsac/MaAS13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tkh4mjdr4bd2jdjoioptj3ijdu">fatcat:tkh4mjdr4bd2jdjoioptj3ijdu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922050430/http://kth.diva-portal.org/smash/get/diva2:1060447/FULLTEXT01" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7b/b8/7bb88bc7609973c1ecab7b8026ef032038db3ae8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/compsacw.2013.137"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 19,222 results