6197 search results - page 380 / 1240 » Sandbridge Software Tools |
166
click to vote
CAV
2005
Springer
16 years 9 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
159
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
It is widely recognized that in order to make performance validation an integrated activity along the software lifecycle it is crucial to be supported from automated approaches. E...
170
click to vote
MSR
2006
ACM
16 years 22 days ago
2006
ACM
In the current trend of software engineering, software systems are viewed as clusters of overlapping structures representing various concerns, covering heterogeneous artifacts lik...
143
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
An automated web based tool for assigning HIV-1 pure and recombinant subtypes within unaligned sequences is presented. The system combines the BLAST search algorithm and the recom...
184
click to vote
IWPC
2006
IEEE
16 years 24 days ago
2006
IEEE
JIRiSS (Information Retrieval based Software Search for Java) is a software exploration tool that uses an indexing engine based on an information retrieval method. JIRiSS is imple...