421 search results - page 8 / 85 » Staged concurrent program analysis |
LCPC
2007
Springer
14 years 1 months ago
2007
Springer
ISSTA
1996
ACM
13 years 12 months ago
1996
ACM
CORR
2011
Springer
13 years 2 months ago
2011
Springer
DILS
2005
Springer
14 years 1 months ago
2005
Springer
We have been developing a system for comparing multiple genomes, PLATCOM, where users can choose genomes of their choice freely and perform analysis of the selected genomes with a...
KBS
2000
13 years 7 months ago
2000
In design, problem analysis is as important as solution synthesis. Strategic knowledge is required not only for constructing a solution but also for framing a problem. While exter...