Sciweavers

2897 search results - page 118 / 580
» Test Case Integration: From Components to Systems
Sort
View
CCIA
2005
Springer
14 years 3 months ago
Integrating information sources for recommender systems
This paper presents a Multi-agent System and a Methodology to select and to integrate heterogenous and distributed information sources to make recommendations. A set of intrinsic c...
Silvana Aciar, Josefina López Herrera, Jose...
MICCAI
2005
Springer
14 years 11 months ago
Physiological System Identification with the Kalman Filter in Diffuse Optical Tomography
Abstract. Diffuse optical tomography (DOT) is a noninvasive imaging technology that is sensitive to local concentration changes in oxyand deoxyhemoglobin. When applied to functiona...
Solomon Gilbert Diamond, Theodore J. Huppert, Vill...
EMSOFT
2008
Springer
13 years 12 months ago
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shash...
SIGSOFT
2004
ACM
14 years 11 months ago
Scaling regression testing to large software systems
When software is modified, during development and maintenance, it is regression tested to provide confidence that the changes did not introduce unexpected errors and that new feat...
Alessandro Orso, Nanjuan Shi, Mary Jean Harrold
DATE
2010
IEEE
149views Hardware» more  DATE 2010»
14 years 3 months ago
Integrated end-to-end timing analysis of networked AUTOSAR-compliant systems
—As Electronic Control Units (ECUs) and embedded software functions within an automobile keep increasing in number, the scale and complexity of automotive embedded systems is gro...
Karthik Lakshmanan, Gaurav Bhatia, Ragunathan Rajk...