7082 search results - page 1276 / 1417 » A framework for mobile evaluation |
146
click to vote
PVLDB
2010
15 years 4 months ago
2010
We report on a query compilation technique that enables the construction of alternative efficient query providers for Microsoft’s Language Integrated Query (LINQ) framework. LIN...
160
click to vote
RV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a new approach for developing robust software applications that breaks dependences on the failed parts of an application’s execution to allow the rest of the...
187
click to vote
SCP
2010
15 years 4 months ago
2010
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...
175
click to vote
SERA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract—With the growing complexity of software applications, there is an increasing demand for solutions to distribute workload into server pools. Grid Computing provides power...
183
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...