Sciweavers

4199 search results - page 347 / 840
» Generalizing Data in Natural Language
Sort
View
GECCO
2007
Springer
276views Optimization» more  GECCO 2007»
16 years 26 days ago
Automatic mutation test input data generation via ant colony
Fault-based testing is often advocated to overcome limitations of other testing approaches; however it is also recognized as being expensive. On the other hand, evolutionary algor...
Kamel Ayari, Salah Bouktif, Giuliano Antoniol
SIGCSE
2005
ACM
109views Education» more  SIGCSE 2005»
16 years 8 days ago
Exploring XML for data exchange in the context of an undergraduate database curriculum
The relationship between XML and database management systems has become an important topic for coverage at the undergraduate level. This paper presents an approach to teaching the...
Suzanne W. Dietrich, Susan Darling Urban, Hua Ma, ...
SAC
2008
ACM
15 years 6 months ago
A service architecture for sensor data provisioning for context-aware mobile applications
One of the main issues that inhibit the development of contextaware mobile applications is the lack of systematic methods for sensor data acquisition. This lack, however, is a res...
Bernardo Gonçalves, José Gonç...
EMSOFT
2009
Springer
16 years 1 months ago
Probabilistic modeling of data cache behavior
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
Vinayak Puranik, Tulika Mitra, Y. N. Srikant
SIGSOFT
2006
ACM
16 years 19 days ago
Interpolation for data structures
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
Deepak Kapur, Rupak Majumdar, Calogero G. Zarba