5707 search results - page 744 / 1142 » Symbolic Simulation - Techniques and Applications |
215
click to vote
ISSRE
2003
IEEE
16 years 26 days ago
2003
IEEE
Many architecture–based software reliability models were proposed in the past. Regardless of the accuracy of these models, if a considerable uncertainty exists in the estimates ...
187
click to vote
PDP
2003
IEEE
16 years 26 days ago
2003
IEEE
As general-purpose parallel computers are increasingly being used to speed up different VLSI applications, the development of parallel algorithms for circuit testing, logic minimi...
193
click to vote
ITICSE
2003
ACM
16 years 25 days ago
2003
ACM
This paper presents HTTPExplorer, an interactive tool to explore the Hypertext Transfer Protocol. The intention is to use the tool in a course on web-based applications to support...
172
click to vote
WWW
2003
ACM
16 years 25 days ago
2003
ACM
: Domain name system (DNS) is a primary identification mechanism for Internet applications. However, DNS resolutions often take an unbearably long time, and this could seriously i...
191
click to vote
ICCBR
2003
Springer
16 years 24 days ago
2003
Springer
Abstract. This paper presents an approach of case mining to automatically discover case bases from large datasets in order to improve both the speed and the quality of case based r...