2774 search results - page 464 / 555 » Query-Driven Program Testing |
ICS
2009
Tsinghua U.
14 years 1 months ago
2009
Tsinghua U.
Single-particle 3D reconstruction from cryo-electron microscopy (cryo-EM) images is a kernel application of biological molecules analysis, as the computational requirement of whic...
SLE
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Model-Driven Software Development is based on standardised models that are refined, transformed and eventually translated into executable code using code generators. How...
ICDT
2001
ACM
14 years 1 months ago
2001
ACM
In information-integration systems, source relations often have limitations on access patterns to their data; i.e., when one must provide values for certain attributes of a relatio...
OOIS
2001
Springer
14 years 1 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...
PACT
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. This paper describes a mechanism for “fusing” concurrent invocations of exclusive methods. The target of our work is object-oriented languages with concurrent extensi...