Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 239,527,480 papers from all fields of science
Search
Sign In
Create Free Account
PicoJava
Known as:
Pico-Java
picoJava is a microprocessor specification dedicated to native execution of Java bytecode without the need for an interpreter or just-in-time…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
15 relations
C++
Central processing unit
GNU Assembler
IEEE Micro
Expand
Broader (1)
Java virtual machine
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Formal Model Extraction for Combinational Equivalence Checking
Guiling Zhang
,
D. Ouyang
,
Hongtao Bai
,
Hai-Lin Zeng
,
Tie-Min Ma
,
Yuehua Zhang
2012
Corpus ID: 18305190
In formal verification, the first step is to build a formal model. Most of the academic tools represent the designs in BLIF or…
Expand
2007
2007
Some VIS Benchmarks
2007
Corpus ID: 2901129
From the benchmark suite that comes with the state-of-the-art model checking environment VIS [10], we have selected the examples…
Expand
2006
2006
JMQ, un processeur Java de hautes performances
Maxime Palus
,
F. Anceau
2006
Corpus ID: 215849076
Le langage Java est tres utilise par les concepteurs d’applications mobiles et sans fil. Son execution sur les processeurs…
Expand
2006
2006
Etude et validation de l'architecture d'une machine java de hautes performances
Maxime Palus
2006
Corpus ID: 191030599
Le langage Java est tres utilise par les concepteurs d'applications mobiles et sans fil. Son execution sur les processeurs…
Expand
2001
2001
Making Java Work for Microcontroller Applications Java and Microcontroller Applications 100
S. A. Ito
,
L. Carro
,
R. Jacobi
2001
Corpus ID: 37031679
part of a new, promising computer systems market. However, applications based on devices embedded in consumer electronics have…
Expand
1999
1999
A Decoupled Translate Execute (DTE) Architecture to Improve Performance of Java Execution
R. Radhakrishnan
1999
Corpus ID: 17435938
Java is increasing in popularity in the software industry , and is being used to implement server and enterprise scale projects…
Expand