6796 search results - page 476 / 1360 » Java for Embedded Systems |
189
click to vote
ISORC
2005
IEEE
15 years 12 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
161
click to vote
HPDC
1999
IEEE
15 years 10 months ago
1999
IEEE
Advances in network technology continue to improve the communication performance of workstation and PC clusters, making high-performance workstation-clustercomputing increasingly ...
161
click to vote
DSN
2006
IEEE
15 years 10 months ago
2006
IEEE
Cyclic redundancy codes (CRCs) are widely used in network transmission and data storage applications because they provide better error detection than lighter weight checksum techn...
178
Voted
HIPC
2000
Springer
15 years 10 months ago
2000
Springer
Embedded systems consisting of the application program ROM, RAM, the embedded processor core and any custom hardware on a single wafer are becoming increasingly common in areas suc...
214
click to vote
CSREAESA
2008
15 years 7 months ago
2008
A group testing-based BIST technique to identify faulty hard cores in FPGA devices is presented. The method provides for isolation of faults in embedded cores as demonstrated by ex...