2918 search results - page 37 / 584 » Design tools for reliability analysis |
TELSYS
2002
14 years 9 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
MSE
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper presents a PC based software running on PC dedicated to the training in sub-micron CMOS VLSI design. The software firstly consists in a HDL-based schematic editor with ...
SIGITE
2005
ACM
15 years 3 months ago
2005
ACM
Many undergraduate IT programs recognize that their graduates will find jobs as software developers. As such, software development (analysis and design) courses are often a core r...
KBS
2000
14 years 9 months ago
2000
: In this paper we present an interaction-oriented approach to the process of designing a document for the end-user. We emphasize exchange between subjects and the subjects' r...
CCGRID
2005
IEEE
15 years 3 months ago
2005
IEEE
Grid environments are ideal for executing applications that require a huge amount of computational work, both due to the big number of tasks to execute and to the large amount of ...