10533 search results - page 56 / 2107 » Design in reliability for communication designs |
ASPDAC
2008
ACM
14 years 11 months ago
2008
ACM
100
click to vote
SPAA
2003
ACM
15 years 3 months ago
2003
ACM
Quantum computation has become an intriguing technology with which to attack difficult problems and to enhance system security. Quantum algorithms, however, have been analyzed un...
DAC
2006
ACM
15 years 10 months ago
2006
ACM
DAC
2002
ACM
15 years 10 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
CODES
2005
IEEE
15 years 3 months ago
2005
IEEE
With growing system complexities, system-level communication design is becoming increasingly important and advanced, network-oriented communication architectures become necessary....