Sciweavers

1433 search results - page 243 / 287
» An approach to detecting failures automatically
Sort
View
CPAIOR
2009
Springer
15 years 6 months ago
Learning How to Propagate Using Random Probing
Abstract. In constraint programming there are often many choices regarding the propagation method to be used on the constraints of a problem. However, simple constraint solvers usu...
Efstathios Stamatatos, Kostas Stergiou
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
15 years 6 months ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
CSB
2005
IEEE
206views Bioinformatics» more  CSB 2005»
15 years 5 months ago
Bioinformatic Insights from Metagenomics through Visualization
Cutting-edge biological and bioinformatics research seeks a systems perspective through the analysis of multiple types of high-throughput and other experimental data for the same ...
Susan L. Havre, Bobbie-Jo M. Webb-Robertson, Anuj ...
ETFA
2005
IEEE
15 years 5 months ago
Plug-and-play: bridging the semantic gap between application and transducers
Abstract – Plug-and-play is an important mechanism for achieving component integration and improving interoperability in smart transducer systems. While recent research in smart ...
Stefan Pitzek, Wilfried Elmenreich
UML
2005
Springer
15 years 5 months ago
Representing and Applying Design Patterns: What Is the Problem?
Design patterns embody proven solutions to recurring design problems. Ever since the gang of four popularized the concept, researchers have been trying to develop methods for repre...
Hafedh Mili, Ghizlane El-Boussaidi