1901 search results - page 68 / 381 » Predicting Program Properties from |
FTDCS
1999
IEEE
15 years 3 months ago
1999
IEEE
In an object oriented, distributed environment, program maintenance, which has never been the most predictable task, becomes even more uncertain. Java's dynamic loading mecha...
101
click to vote
ICDCS
1998
IEEE
15 years 3 months ago
1998
IEEE
We introduce a new performance metric, called Load Balancing Factor (LBF), to assist programmers with evaluating different tuning alternatives. The LBF metric differs from traditi...
CONCURRENCY
2007
14 years 11 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
111
click to vote
BMCBI
2011
14 years 2 months ago
2011
Background: The identification of drug characteristics is a clinically important task, but it requires much expert knowledge and consumes substantial resources. We have developed ...
SGAI
2007
Springer
15 years 5 months ago
2007
Springer
In this paper we describe a novel technique which implements a spatiotemporal model as a set of sub-models based on first order logic. These sub-models model different, typicall...