3706 search results - page 204 / 742 » System Description: E-KRHyper |
OSDI
2002
ACM
14 years 11 months ago
2002
ACM
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
SIGMOD
2005
ACM
14 years 11 months ago
2005
ACM
We present a prototype system, SPIDER, developed at AT&T Labs? Research, which supports flexible string attribute value matching in large databases. We discuss the design prin...
ISDA
2008
IEEE
14 years 5 months ago
2008
IEEE
This paper presents a comparative study of three popular, Evolutionary Algorithms (EA); Genetic Algorithms (GA), Particle Swarm Optimization (PSO) and Differential Evolution (DE) ...
ICECCS
2007
IEEE
14 years 5 months ago
2007
IEEE
We present first steps in the construction of formal models of NAND Flash memory, based on a recently emerged open standard for such devices. The model is at a level of abstracti...
ZUM
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ...