2897 search results - page 515 / 580 » Test Case Integration: From Components to Systems |
265
click to vote
SSDBM
2011
IEEE
14 years 7 months ago
2011
IEEE
Database technology remains underused in science, especially in the long tail the small labs and individual researchers that collectively produce the majority of scienti c output...
100
click to vote
CGO
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we investigate the benefit of scheduling non-critical loads for a higher latency during software pipelining. "Noncritical" denotes those loads that have s...
193
click to vote
LPAR
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
147
Voted
IPL
2010
15 years 2 months ago
2010
In the Max Lin-2 problem we are given a system S of m linear equations in n variables over F2 in which Equation j is assigned a positive integral weight wj for each j. We wish to ...
128
click to vote
KBSE
2002
IEEE
15 years 9 months ago
2002
IEEE
Commercial tools are heavily used, relatively cheap, well maintained, and provide powerful functionalities. However, composing these tools in order to build larger applications ra...