1781 search results - page 335 / 357 » Visualizing program execution using user abstractions |
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...
FOSSACS
2001
Springer
14 years 18 hour ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
BMCBI
2010
13 years 7 months ago
2010
Background: Minimotifs are short peptide sequences within one protein, which are recognized by other proteins or molecules. While there are now several minimotif databases, they a...
CSE
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract--Much of modern software development consists of assembling together existing software components and writing the glue code that integrates them into a unified application...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
This project addressed the conceptual fundamentals of data storage, investigating techniques for provision of highly generic storage facilities that can be tailored to produce var...