6960 search results - page 755 / 1392 » Continuity Analysis of Programs |
213
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
The need for automated software engineering tools and techniques continues to grow as the size and complexity of studied systems and analysis techniques increase. Software enginee...
209
click to vote
ASPLOS
2006
ACM
16 years 1 months ago
2006
ACM
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
170
click to vote
RECOMB
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. While nonribosomal peptides (NRPs) are of tremendous pharmacological importance, there is currently no technology capable of highthroughput sequencing of NRPs. Difficulti...
192
click to vote
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
164
click to vote
ESOP
2005
Springer
16 years 23 days ago
2005
Springer
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...