Sciweavers

5343 search results - page 40 / 1069
» Keyword programming in java
Sort
View
CARDIS
2000
Springer
173views Hardware» more  CARDIS 2000»
14 years 2 days ago
Smart Tools for Java Cards
This article describes a Java Card programming environment which to a large extent is generated from formal specifications of the syntax and semantics of Java Card, the JCRE (Jav...
Isabelle Attali, Denis Caromel, Carine Courbis, Lu...
ATAL
2008
Springer
13 years 9 months ago
A flexible framework for verifying agent programs
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
Louise A. Dennis, Berndt Farwer, Rafael H. Bordini...
CONCURRENCY
2000
101views more  CONCURRENCY 2000»
13 years 7 months ago
Wide-area parallel programming using the remote method invocation model
Java's support for parallel and distributed processing makes the language attractive for metacomputing applications, such as parallel applications that run on geographically ...
Rob van Nieuwpoort, Jason Maassen, Henri E. Bal, T...
JAVA
2000
Springer
13 years 11 months ago
A Java fork/join framework
This paper describes the design, implementation, and performance of a Java framework for supporting a style of parallel programming in which problems are solved by (recursively) s...
Doug Lea
COMPSAC
2000
IEEE
14 years 4 days ago
Dependence Analysis of Java Bytecode
Understanding program dependencies in a computer program is essential for many software engineering tasks such as program understanding, testing, debugging, reverse engineering, a...
Jianjun Zhao