Java bytecode to native code translation: the Caffeine prototype and preliminary results

2002 ◽  
Author(s):  
C.-H.A. Hsieh ◽  
J.C. Gyllenhaal ◽  
W.W. Hwu
Keyword(s):  
Preliminary Results ◽  
Java Bytecode ◽  
Native Code

scholarly journals MATLAB-Like Scripting of Java Scientific Libraries in ScalaLab

2014 ◽  
Vol 22 (3) ◽  
pp. 187-199
Author(s):  
Stergios Papadimitriou ◽  
Seferina Mavroudi ◽  
Kostas Theofilatos ◽  
Spiridon Likothanasis
Keyword(s):  
Software Development ◽  
Scientific Computation ◽  
The Core ◽  
Java Bytecode ◽  
Front End ◽  
Average Scientist ◽  
Native Code ◽  
Scientific Libraries

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

OCaml-Java: The Java Virtual Machine as the target of an OCaml compiler

2016 ◽  
Vol 26 ◽  
Author(s):  
XAVIER CLERC
Keyword(s):  
Virtual Machine ◽  
Java Virtual Machine ◽  
Garbage Collector ◽  
Main Design ◽  
Java Bytecode ◽  
Multiple Cores ◽  
Memory Footprint ◽  
Native Code ◽  
Technological Challenge

AbstractThis article presents how the compiler from the OCaml-Java project generates Java bytecode from OCaml sources. Targeting the Java Virtual Machine (JVM) is a technological challenge, but gives access to a platform where OCaml can leverage multiple cores and access numerous libraries. We present the main design choices regarding the runtime and the various optimizations performed by the compiler that are crucial to get decent performance on a JVM. The challenge is indeed not only to generate bytecode but to generate efficient bytecode, and to provide a runtime library whose memory footprint does not impede the efficiency of the garbage collector. We focus on the strategies that differ from the original OCaml compiler, as the constraints are quite different on the JVM when compared to native code. The level of performance reached by the OCaml-Java compiler is assessed through benchmarks, comparing with both the original OCaml implementation and the Scala language.

scholarly journals SAT-based termination analysis using monotonicity constraints over the integers

2011 ◽  
Vol 11 (4-5) ◽  
pp. 503-520 ◽  
Author(s):  
MICHAEL CODISH ◽  
IGOR GONOPOLSKIY ◽  
AMIR M. BEN-AMRAM ◽  
CARSTEN FUHS ◽  
JÜRGEN GIESL
Keyword(s):  
Ranking Function ◽  
Size Change ◽  
Trade Off ◽  
Termination Analysis ◽  
Preliminary Results ◽  
Java Bytecode ◽  
Front End ◽  
Monotonicity Constraints ◽  
Good Trade

AbstractWe describe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a nontrivial extension of the well-known size-change termination method. While deciding termination for systems of monotonicity constraints is PSPACE complete, we focus on a well-defined and significant subset, which we call MCNP (for “monotonicity constraints in NP”), designed to be amenable to a SAT-based solution. Our technique is based on the search for a special type of ranking function defined in terms of bounded differences between multisets of integer values. We describe the application of our approach as the back end for the termination analysis of Java Bytecode. At the front end, systems of monotonicity constraints are obtained by abstracting information, using two different termination analyzers:AProVEandCOSTA. Preliminary results reveal that our approach provides a good trade-off between precision and cost of analysis.

The O–C diagrams of minor planets − a new approach to modelling the rotation

1999 ◽  
Vol 173 ◽  
pp. 185-188
Author(s):  
Gy. Szabó ◽  
K. Sárneczky ◽  
L.L. Kiss
Keyword(s):  
Error Analysis ◽  
Time Dependence ◽  
Theoretical Work ◽  
Minor Planet ◽  
Minor Planets ◽  
New Approach ◽  
Preliminary Results ◽  
Ccd Observations

AbstractA widely used tool in studying quasi-monoperiodic processes is the O–C diagram. This paper deals with the application of this diagram in minor planet studies. The main difference between our approach and the classical O–C diagram is that we transform the epoch (=time) dependence into the geocentric longitude domain. We outline a rotation modelling using this modified O–C and illustrate the abilities with detailed error analysis. The primary assumption, that the monotonity and the shape of this diagram is (almost) independent of the geometry of the asteroids is discussed and tested. The monotonity enables an unambiguous distinction between the prograde and retrograde rotation, thus the four-fold (or in some cases the two-fold) ambiguities can be avoided. This turned out to be the main advantage of the O–C examination. As an extension to the theoretical work, we present some preliminary results on 1727 Mette based on new CCD observations.

Cyclic Evolution of Sunspots: Gleaning New Results from Old Data

2000 ◽  
Vol 179 ◽  
pp. 163-165
Author(s):  
S. K. Solanki ◽  
M. Fligge ◽  
P. Pulkkinen ◽  
P. Hoyng
Keyword(s):  
Sunspot Number ◽  
Sunspot Cycle ◽  
Preliminary Results ◽  
Butterfly Diagram

AbstractThe records of sunspot number, sunspot areas and sunspot locations gathered over the centuries by various observatories are reanalysed with the aim of finding as yet undiscovered connections between the different parameters of the sunspot cycle and the butterfly diagram. Preliminary results of such interrelationships are presented.

Systematic effects in observed parallaxes

1978 ◽  
Vol 48 ◽  
pp. 31-35
Author(s):  
R. B. Hanson
Keyword(s):  
Error Estimates ◽  
Zero Point ◽  
Absolute Zero ◽  
Apparent Magnitude ◽  
Coherent System ◽  
Preliminary Results ◽  
General Catalogue ◽  
Systematic Effects ◽  
New Evidence ◽  
Right Ascension

Several outstanding problems affecting the existing parallaxes should be resolved to form a coherent system for the new General Catalogue proposed by van Altena, as well as to improve luminosity calibrations and other parallax applications. Lutz has reviewed several of these problems, such as: (A) systematic differences between observatories, (B) external error estimates, (C) the absolute zero point, and (D) systematic observational effects (in right ascension, declination, apparent magnitude, etc.). Here we explore the use of cluster and spectroscopic parallaxes, and the distributions of observed parallaxes, to bring new evidence to bear on these classic problems. Several preliminary results have been obtained.

Quantitative Measurements on the Ion Etching of TMV

1973 ◽  
Vol 31 ◽  
pp. 336-337
Author(s):  
Irwin Bendet ◽  
Nabil Rizk
Keyword(s):  
Electron Microscope ◽  
Tobacco Mosaic Virus ◽  
Mosaic Virus ◽  
Ion Current ◽  
Beam Diameter ◽  
Ion Etching ◽  
Preliminary Results ◽  
Quantitative Measurements ◽  
Monitoring Devices

Preliminary results reported last year on the ion etching of tobacco mosaic virus indicated that the diameter of the virus decreased more rapidly at 10KV than at 5KV, perhaps reaching a constant value before disappearing completely.In order to follow the effects of ion etching on TMV more quantitatively we have designed and built a second apparatus (Fig. 1), which incorporates monitoring devices for measuring ion current and vacuum as well as accelerating voltage. In addition, the beam diameter has been increased to approximately 1 cm., so that ten electron microscope grids can be exposed to the beam simultaneously.

Granular bainite or granular ferrite? A preliminary TEM investigation of an HSLA-100 steel

1991 ◽  
Vol 49 ◽  
pp. 584-585
Author(s):  
R. Varughese ◽  
S. W. Thompson ◽  
P. R. Howell
Keyword(s):  
Room Temperature ◽  
Transformation Products ◽  
Accurate Description ◽  
Granular Bainite ◽  
Preliminary Results ◽  
The Past ◽  
Light Micrograph ◽  
Multiphase Reaction ◽  
Detailed Nature

Ever since Habraken and Economopoulos first employed the term granular bainite to classify certain unconventional transformation products in continuously cooled steels, the term has been widely accepted and used, despite the lack of a clear consensus as to the detailed nature of the transformation products which constitute granular bainite. This paper presents the preliminary results of a TEM investigation of an 0.04 wt% C, copper-containing steel (designated HSLA-100). It is suggested that the term granular ferrite rather than granular bainite is a more accurate description of this multiphase reaction product.Figure 1 is a light micrograph of a sample which had been air-cooled from 900°C to room temperature. The microstructure is typical of that which has been termed granular bainite in the past and appears to consist of equiaxed ferritic grains together with other minor transformation products. In order to examine these structures in more detail, both continuously cooled and isothermally transformed and quenched materials have been examined with TEM. Granular bainite has been found in virtually all samples.

Sign in / Sign up

Export Citation Format

Share Document