Sciweavers

3238 search results - page 330 / 648
» On the Computational Interpretation of Negation
Sort
View
MFCS
1998
Springer
15 years 11 months ago
Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation
Abstract. We provide concise abstract code for running the Java Virtual Machine (JVM) to execute compiled Java programs, and define a general compilation scheme of Java programs to...
Egon Börger, Wolfram Schulte
PPSN
1998
Springer
15 years 11 months ago
On Risky Methods for Local Selection under Noise
The choice of the selection method used in an evolutionary algorithm may have considerable impacts on the behavior of the entire algorithm. Therefore, earlier work was devoted to t...
Günter Rudolph
IPPS
1997
IEEE
15 years 11 months ago
Extensible Message Passing Application Development and Debugging with Python
We describe how we have parallelized Python, an interpreted object oriented scripting language, and used it to build an extensible message-passing molecular dynamics application f...
David M. Beazley, Peter S. Lomdahl
EMMCVPR
1997
Springer
15 years 11 months ago
SAR Image Registration and Segmentation Using an Estimated DEM
Abstract. Synthetic aperture radar SAR images are notoriously di cult to interpret. Segmentation is simpli ed if a digital map is available, to which the image can be registered....
Chris A. Glasbey
ICPP
1993
IEEE
15 years 10 months ago
Meta-State Conversion
Abstract — In MIMD (Multiple Instruction stream, Multiple Data stream) execution, each processor has its own state. Although these states are generally considered to be independe...
Henry G. Dietz, G. Krishnamurthy