1111 search results - page 176 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
127
click to vote
IJIIDS
2010
14 years 9 months ago
2010
Abstract. This paper presents the semantics of database mappings in the relational database (DB) category, based on the power-view monad T and monadic algebras. The semantics can b...
120
click to vote
ESORICS
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Diagnostic and classification algorithms play an important role in data analysis, with applications in areas such as health care, fault diagnostics, or benchmarking. Bran...
142
Voted
COMPSAC
2011
IEEE
14 years 2 months ago
2011
IEEE
Abstract—Statistical fault localization techniques find suspicious faulty program entities in programs by comparing passed and failed executions. Existing studies show that such ...
127
Voted
VECPAR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper presents PerWiz, a performance prediction tool for improving the performance of message passing programs. PerWiz focuses on locating where a significant impro...
ECLIPSE
2005
ACM
15 years 4 months ago
2005
ACM
In this paper we describe NaCIN, an Eclipse plug-in that records a developer’s code navigation activity and produces sets of elements potentially implementing different concerns...