4719 search results - page 460 / 944 » Newtonian program analysis |
210
click to vote
ICALP
2003
Springer
16 years 13 hour ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...
193
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper is concerned with the efficient execution of multiplesequence alignmentmethodsin a multipleclientenvironment. Multiple sequence alignment (MSA) is a computationally ex...
179
click to vote
MICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
Recently, graphics hardware architectures have begun to emphasize versatility, offering rich new ways to programmatically reconfigure the graphics pipeline. In this paper, we exp...
268
click to vote
OOIS
2001
Springer
15 years 11 months ago
2001
Springer
The accurate estimation of software development effort has major implications for the management of software development in the industry. Underestimates lead to time pressures tha...
175
click to vote
COMPSAC
1997
IEEE
15 years 11 months ago
1997
IEEE
We have investigated a fault injection-based technique for undermining the ability of software components to produce undesirable outputs into the state of the system. Undesirable ...