1179 search results - page 74 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
140
Voted
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
We have already proposed using evolutionary computation to adjust the voice quality conversion parameters, and we have reported that this approach produces results that are not onl...
142
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
We consider a two-hop wireless network where a transmitter communicates with a receiver via M relays with an amplify-and-forward (AF) protocol. Recent works have shown that sophis...
147
Voted
CODES
2008
IEEE
15 years 5 months ago
2008
IEEE
The capacity of flash-memory storage systems grows at a speed similar to many other storage systems. In order to properly manage the product cost, vendors face serious challenges ...
117
click to vote
ICCD
1995
IEEE
15 years 7 months ago
1995
IEEE
We describe thedesign of a high performance asynchronous SCSI Small Computer Systems Interface controller data path and the associated control circuits. The data path is an asyn...
121
Voted
JLP
2008
15 years 3 months ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...