2062 search results - page 180 / 413 » Hardware Objects for Java |
ICECCS
1995
IEEE
14 years 27 days ago
1995
IEEE
Large and complex software systems contain a variety of entities objects and a complex control system transformationfunction . The pure object-orienteddesign and structured des...
ASPDAC
2008
ACM
13 years 11 months ago
2008
ACM
Abstract-- In this paper we present the first bus-aware microarchitectural floorplanning. Our goal is to study the impact of bus routability on other important floorplanning object...
CADE
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
DAC
2002
ACM
14 years 10 months ago
2002
ACM
This paper introduces an FPGA IP evaluation and delivery system that operates within Java applets. The use of such applets allows designers to create, evaluate, test, and obtain F...
CAV
2009
Springer
14 years 10 months ago
2009
Springer
Active testing has recently been introduced to effectively test concurrent programs. Active testing works in two phases. It first uses predictive off-the-shelf static or dynamic pr...