5330 search results - page 131 / 1066 » The Performability Tool P'ility |
205
click to vote
BIB
2010
15 years 7 months ago
2010
PathwayTools is a production-quality software environment for creating a type of model-organism database called a Pathway/Genome Database (PGDB). A PGDB such as EcoCyc integrates ...
195
click to vote
SIGOPS
2010
15 years 5 months ago
2010
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
207
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
309
Voted
POPL
2008
ACM
16 years 7 months ago
2008
ACM
An ad hoc data source is any semistructured data source for which useful data analysis and transformation tools are not readily available. Such data must be queried, transformed a...
205
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...