385 search results - page 43 / 77 » Verified Code Generation for Embedded Systems |
141
click to vote
VLSISP
1998
15 years 1 months ago
1998
We study the problem of representing images within a multimedia Database Management System (DBMS), in order to support fast retrieval operations without compromising storage e cien...
134
click to vote
CSFW
2009
IEEE
15 years 5 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
143
click to vote
CSREAESA
2004
15 years 3 months ago
2004
The growing software content in various battery-driven embedded systems has led to significant interest in technologies for energy-efficient embedded software. While lowenergy sof...
114
click to vote
DSN
2006
IEEE
15 years 5 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...
158
click to vote
CSREAESA
2008
15 years 3 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...