80 search results - page 13 / 16 » Automated backward error analysis for numerical code |
116
click to vote
CASCON
2003
14 years 11 months ago
2003
Any attempt at automated software analysis or modification must be preceded by a comprehension step, i.e. parsing. This task, while often considered straightforward, can in fact ...
100
click to vote
WECWIS
2007
IEEE
15 years 4 months ago
2007
IEEE
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Adaptive Demodulation (ADM) is a newly proposed rate-adaptive system which operates without requiring Channel State Information (CSI) at the transmitter (unlike adaptive modulatio...
ISBI
2006
IEEE
15 years 11 months ago
2006
IEEE
Analysis of elastic laminae provides vital information on both the gross and fine structures of the arterial wall, which is vital to assess issues such as mechanical damage caused...
SIGSOFT
2007
ACM
15 years 11 months ago
2007
ACM
In this paper, we propose a technique for leveraging historical field failure records in conjunction with automated static analysis alerts to determine which alerts or sets of ale...