Sciweavers

1937 search results - page 2 / 388

» Adaptation-based programming in java

7

JAVA
2000
Springer

117views Programming Languages» more JAVA 2000»

JavaNws: the network weather service for the desktop

13 years 9 months ago

JavaNws: the network weather service for the desktop

Download www.cs.ucsb.edu

Chandra Krintz, Richard Wolski

claim paper

Read More »

16

JAVA
2001
Springer

142views Programming Languages» more JAVA 2001»

Automatic translation of Fortran to JVM bytecode

13 years 10 months ago

Automatic translation of Fortran to JVM bytecode

Download icl.cs.utk.edu

Keith Seymour, Jack Dongarra

claim paper

Read More »

17

JAVA
1999
Springer

101views Programming Languages» more JAVA 1999»

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

13 years 10 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 »

14

JAVA
1999
Springer

92views Programming Languages» more JAVA 1999»

The Operational Semantics of a Java Secure Processor

13 years 10 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 »

21

CAV
2012
Springer

270views Hardware» more CAV 2012»

Automated Termination Proofs for Java Programs with Cyclic Data

11 years 8 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 »