2062 search results - page 324 / 413 » Hardware Objects for Java |
PICS
2001
13 years 9 months ago
2001
A first television system based on the Autosophy information theory is now being tested. The new television marks a major theoretical break from conventional television based on t...
SBACPAD
2004
IEEE
13 years 9 months ago
2004
IEEE
Seismic tomography enables to model the internal structure of the Earth. In order to improve the precision of existing models, a huge amount of acquired seismic data must be analy...
ATVA
2010
Springer
13 years 9 months ago
2010
Springer
We study recursive timed automata that extend timed automata with recursion. Timed automata, as introduced by Alur and Dill, are finite automata accompanied by a finite set of real...
ETS
2010
IEEE
13 years 9 months ago
2010
IEEE
It was shown in the past that ATPG based on the Boolean Satisfiability problem is a beneficial complement to traditional ATPG techniques. Its advantages can be observed especially ...
ASAP
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract—The demand for biomedical implants keeps increasing. However, most of the current implant design methodologies involve custom-ASIC design. The SiMS project aims to chang...