16190 search results - page 2777 / 3238 » Applicative programming with effects |
168
Voted
CSREAESA
2009
15 years 4 months ago
2009
Two embedded processor based fault injection case studies are presented which are applicable to Field Programmable Gate Arrays (FPGAs) and FPGA cores in configurable System-on-Chip...
144
Voted
GG
2010
Springer
15 years 4 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
117
click to vote
DASFAA
2009
IEEE
15 years 4 months ago
2009
IEEE
The problem of identifying deviating patterns in XML repositories has important applications in data cleaning, fraud detection, and stock market analysis. Current methods determine...
FUNGAMES
2008
15 years 4 months ago
2008
This paper describes the development of a game application for seniors to train their memory and learning abilities. From an initial co-discovery evaluation participants were found...
171
Voted
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
Evolutionary testing denotes the use of evolutionary algorithms, e.g., Genetic Algorithms (GAs), to support various test automation tasks. Since evolutionary algorithms are heuris...