Sciweavers

805 search results - page 17 / 161
» Description and Simulation of Hardware Software Systems with...
Sort
View
155
Voted
JTRES
2010
ACM
15 years 2 months ago
Developing safety critical Java applications with oSCJ/L0
We present oSCJ, an implementation of the draft of Safety Critical Java (SCJ) specification. SCJ is designed to make Java amenable to writing mission- and safety-critical software...
Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang...
98
Voted
ISSS
2002
IEEE
133views Hardware» more  ISSS 2002»
15 years 6 months ago
Efficient Simulation of Synthesis-Oriented System Level Designs
Modeling for synthesis and modeling for simulation seem to be two competing goals in the context of C++-based modeling frameworks. One of the reasons is while most hardware system...
Rajesh K. Gupta, Sandeep K. Shukla, Nick Savoiu
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
15 years 7 months ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
ISORC
2005
IEEE
15 years 7 months ago
EarlGray: A Component-Based Java Virtual Machine for Embedded Systems
EarlGray is a component-based Java virtual machine (JVM) that can be configured to satisfy various kinds of requirements for building future information appliances and embedded s...
Hiroo Ishikawa, Tatsuo Nakajima
107
Voted
DATE
1997
IEEE
107views Hardware» more  DATE 1997»
15 years 6 months ago
Acceleration of behavioral simulation on simulation specific machines
Behavioral simulation is faster than gate-level logic simulation, however, the simulation speed is too slow for large systems. Simulation specific machines accelerated simulation ...
Minoru Shoji, Fumiyasu Hirose, Shintaro Shimogori,...