5330 search results - page 273 / 1066 » The Performability Tool P'ility |
217
click to vote
WOSP
2005
ACM
16 years 29 days ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
217
click to vote
ASPLOS
2008
ACM
15 years 9 months ago
2008
ACM
Device drivers commonly execute in the kernel to achieve high performance and easy access to kernel services. However, this comes at the price of decreased reliability and increas...
208
click to vote
DILS
2005
Springer
16 years 28 days 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...
194
click to vote
BMCBI
2005
15 years 7 months ago
2005
Background: Taxon specific hybridization probes in combination with a variety of commonly used hybridization formats nowadays are standard tools in microbial identification. A fre...
147
click to vote
ICSE
2009
IEEE-ACM
16 years 8 months ago
2009
IEEE-ACM
Null dereference is a commonly occurring defect in Java programs, and many static-analysis tools identify such defects. However, most of the existing tools perform a limited inter...