Sciweavers

161 search results - page 22 / 33
» Fault localization based on information flow coverage
Sort
View
SAC
2008
ACM
13 years 7 months ago
Test generation and minimization with "basic" statecharts
Model-based testing as a black-box testing technique has grown in importance. The models used represent the relevant features of the system under consideration (SUC), and can also...
Fevzi Belli, Axel Hollmann
VLSID
2007
IEEE
154views VLSI» more  VLSID 2007»
14 years 7 months ago
Model Based Test Generation for Microprocessor Architecture Validation
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
Sreekumar V. Kodakara, Deepak Mathaikutty, Ajit Di...
MOBISYS
2010
ACM
13 years 9 months ago
Growing an organic indoor location system
Most current methods for 802.11-based indoor localization depend on surveys conducted by experts or skilled technicians. Some recent systems have incorporated surveying by users. ...
Jun-geun Park, Ben Charrow, Dorothy Curtis, Jonath...
ICDCS
2003
IEEE
14 years 23 days ago
A Generic Distributed Broadcast Scheme in Ad Hoc Wireless Networks
—We propose a generic framework for distributed broadcasting in ad hoc wireless networks. The approach is based on selecting a small subset of nodes to form a forward node set to...
Jie Wu, Fei Dai
JMIV
2006
176views more  JMIV 2006»
13 years 7 months ago
Segmentation of Vectorial Image Features Using Shape Gradients and Information Measures
In this paper, we propose to focus on the segmentation of vectorial features (e.g. vector fields or color intensity) using region-based active contours. We search for a domain that...
Ariane Herbulot, Stéphanie Jehan-Besson, St...