3951 search results - page 381 / 791 » Automatic amortized analysis |
166
click to vote
SSS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. For large distributed systems built from inexpensive components, one expects to see incessant failures. This paper proposes two models for such faults and analyzes two we...
147
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper proposes a novel approach to performance testing, called Virtual Capture and Replay (VCR), that couples a capture-and-replay technique with the checkpointing capabiliti...
157
click to vote
ADAEUROPE
2008
Springer
16 years 1 months ago
2008
Springer
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
165
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
We describe a simple and efficient algorithm for proving the termination of a class of loops with nonlinear assignments to variables. The method is based on divergence testing fo...
170
click to vote
AUSDM
2007
Springer
16 years 28 days ago
2007
Springer
In the course of reviewing existing automatic term recognition techniques for applications in ontology learning, we came across four issues which can be improved upon. We proposed...