1901 search results - page 57 / 381 » Predicting Program Properties from |
ICSE
2008
IEEE-ACM
15 years 12 months ago
2008
IEEE-ACM
Static analysis tools report software defects that may or may not be detected by other verification methods. Two challenges complicating the adoption of these tools are spurious f...
ISMB
2000
15 years 12 days ago
2000
We present a computational approach to predicting operons in the genomes of prokaryotic organisms. Our approach uses machine learning methods to induce predictive models for this ...
MICRO
2010
IEEE
14 years 9 months ago
2010
IEEE
Last-level caches (LLCs) are large structures with significant power requirements. They can be quite inefficient. On average, a cache block in a 2MB LRU-managed LLC is dead 86% of ...
CLOUDCOM
2009
Springer
15 years 2 months ago
2009
Springer
There is a rapid increase in the size of data centres (DCs) used to provide cloud computing services. It is commonly agreed that not all properties in the middleware that manages D...
95
Voted
MICCAI
1999
Springer
15 years 3 months ago
1999
Springer
Tactile imaging is a newly developed mechanical sensing technology for documenting the properties of hard lumps contained in soft tissue. An examiner strokes a scan head across tis...