Sciweavers

2062 search results - page 12 / 413

» Hardware Objects for Java

43

DATE
2000
IEEE

60views Hardware» more DATE 2000»

System Design Based on Single Language and Single-Chip Java ASIP Microcontroller

15 years 1 months ago

System Design Based on Single Language and Single-Chip Java ASIP Microcontroller

Download www.date-conference.com

Sérgio Akira Ito, Luigi Carro, Ricardo Pezz...

claim paper

Read More »

52

DATE
1999
IEEE

66views Hardware» more DATE 1999»

Specification and Validation of Distributed IP-Based Designs with JavaCAD

15 years 1 months ago

Specification and Validation of Distributed IP-Based Designs with JavaCAD

Download www.sti.uniurb.it

Marcello Dalpasso, Alessandro Bogliolo, Luca Benin...

claim paper

Read More »

47

CAV
1999
Springer

85views Hardware» more CAV 1999»

Java Bytecode Verification by Model Checking

15 years 1 months ago

Java Bytecode Verification by Model Checking

Download www.vs.inf.ethz.ch

David A. Basin, Stefan Friedrich, Joachim Posegga,...

claim paper

Read More »

67

AICCSA
2006
IEEE

119views Hardware» more AICCSA 2006»

The Indeterministic Behavior of Scoped Memory in Real-Time Java

15 years 1 months ago

The Indeterministic Behavior of Scoped Memory in Real-Time Java

Download dsa-research.com

M. Teresa Higuera-Toledano

claim paper

Read More »

106

Voted

CARDIS
2000
Springer

173views Hardware» more CARDIS 2000»

Smart Tools for Java Cards

15 years 1 months ago

Smart Tools for Java Cards

Download www.cs.yale.edu

This article describes a Java Card programming environment which to a large extent is generated from formal speciﬁcations of the syntax and semantics of Java Card, the JCRE (Jav...

Isabelle Attali, Denis Caromel, Carine Courbis, Lu...

claim paper

Read More »

« Prev « First page 12 / 413 Last » Next »