418 search results - page 54 / 84 » GUI Inspection from Source Code Analysis |
101
click to vote
CADE
2008
Springer
16 years 2 days ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...
SIGSOFT
2005
ACM
16 years 15 days ago
2005
ACM
We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying e...
115
Voted
BMCBI
2010
14 years 9 months ago
2010
Background: Bioinformatics is confronted with a new data explosion due to the availability of high throughput DNA sequencers. Data storage and analysis becomes a problem on local ...
135
click to vote
BMCBI
2004
14 years 11 months ago
2004
Background: When publishing large-scale microarray datasets, it is of great value to create supplemental websites where either the full data, or selected subsets corresponding to ...
BMCBI
2010
14 years 9 months ago
2010
Background: The opportunities for bacterial population genomics that are being realised by the application of parallel nucleotide sequencing require novel bioinformatics platforms...