3256 search results - page 302 / 652 » Applications of Formal Methods to System Design and Verifica... |
171
click to vote
ACMACE
2005
ACM
15 years 8 months ago
2005
ACM
Exhibitions at a scientific museum are usually difficult for ordinary school pupils. To improve the issues of current explanation systems, we use Personal Data Assistant (PDA) dev...
214
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Small area and code size are two critical design issues in most of embedded system designs. In this paper, we tackle these issues by customizing forwarding networks and instructio...
166
click to vote
TCOM
2008
15 years 6 months ago
2008
This letter proposes a novel Walsh coded training signal design and decoding method to estimate the channel response in MIMO-OFDM systems. The Walsh coded training signals, designe...
131
click to vote
ISPD
1998
ACM
15 years 11 months ago
1998
ACM
This paper describes an important new facility for timing-driven design applications within the new CHDStd standard for a SEMATECH design system for large complex chips. We first ...
183
click to vote
SAC
2005
ACM
16 years 6 days ago
2005
ACM
Many biological information systems rely on relational database management systems (RDBMS) to manage high-throughput biological data. While keeping these data well archived, organ...