Sciweavers

1937 search results - page 2 / 388

» Adaptation-based programming in java

90

JAVA
2000
Springer

117views Programming Languages» more JAVA 2000»

JavaNws: the network weather service for the desktop

15 years 7 months ago

JavaNws: the network weather service for the desktop

Download www.cs.ucsb.edu

Chandra Krintz, Richard Wolski

claim paper

Read More »

133

JAVA
2001
Springer

142views Programming Languages» more JAVA 2001»

Automatic translation of Fortran to JVM bytecode

15 years 8 months ago

Automatic translation of Fortran to JVM bytecode

Download icl.cs.utk.edu

Keith Seymour, Jack Dongarra

claim paper

Read More »

142

JAVA
1999
Springer

101views Programming Languages» more JAVA 1999»

An Event-Based Structural Operational Semantics of Multi-Threaded Java

15 years 8 months ago

An Event-Based Structural Operational Semantics of Multi-Threaded Java

Download www.dsi.uniroma1.it

Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...

claim paper

Read More »

114

JAVA
1999
Springer

92views Programming Languages» more JAVA 1999»

The Operational Semantics of a Java Secure Processor

15 years 8 months ago

The Operational Semantics of a Java Secure Processor

Download www.imamu.edu.sa

Pieter H. Hartel, Michael J. Butler, Moshe Levy

claim paper

Read More »

153

CAV
2012
Springer

270views Hardware» more CAV 2012»

Automated Termination Proofs for Java Programs with Cyclic Data

13 years 6 months ago

Automated Termination Proofs for Java Programs with Cyclic Data

Download verify.rwth-aachen.de

Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: ﬁrst, Java programs are automatically transformed to term rewrite systems...

Marc Brockschmidt, Richard Musiol, Carsten Otto, J...

claim paper

Read More »

« Prev « First page 2 / 388 Last » Next »