Sciweavers

22358 search results - page 4256 / 4472
» Software Performance Engineering
Sort
View
132
Voted
CORR
2010
Springer
210views Education» more  CORR 2010»
15 years 3 months ago
Test Case Generation for Object-Oriented Imperative Languages in CLP
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
Miguel Gómez-Zamalloa, Elvira Albert, Germ&...
CORR
2008
Springer
144views Education» more  CORR 2008»
15 years 3 months ago
Modular Compilation of a Synchronous Language
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
Annie Ressouche, Daniel Gaffé, Valér...
CORR
2010
Springer
126views Education» more  CORR 2010»
15 years 3 months ago
RDFViewS: A Storage Tuning Wizard for RDF Applications
In recent years, the significant growth of RDF data used in numerous applications has made its efficient and scalable manipulation an important issue. In this paper, we present RD...
François Goasdoué, Konstantinos Kara...
93
Voted
CORR
2008
Springer
97views Education» more  CORR 2008»
15 years 3 months ago
Voice-controlled Debugging of Spreadsheets
Developments in Mobile Computing are putting pressure on the software industry to research new modes of interaction that do not rely on the traditional keyboard and mouse combinat...
Derek Flood, Kevin McDaid
CORR
2008
Springer
227views Education» more  CORR 2008»
15 years 3 months ago
An experimental analysis of Lemke-Howson algorithm
We present an experimental investigation of the performance of the Lemke-Howson algorithm, which is the most widely used algorithm for the computation of a Nash equilibrium for bi...
Bruno Codenotti, Stefano De Rossi, Marino Pagan
« Prev « First page 4256 / 4472 Last » Next »