Sciweavers

419 search results - page 19 / 84
» Heuristic design of property maps
Sort
View
CIKM
2010
Springer
13 years 7 months ago
Automatic schema merging using mapping constraints among incomplete sources
Schema merging is the process of consolidating multiple schemas into a unified view. The task becomes particularly challenging when the schemas are highly heterogeneous and autono...
Xiang Li 0002, Christoph Quix, David Kensche, Sand...
DATE
2010
IEEE
149views Hardware» more  DATE 2010»
14 years 2 months ago
Efficient decision ordering techniques for SAT-based test generation
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
Mingsong Chen, Xiaoke Qin, Prabhat Mishra
ECSA
2010
Springer
13 years 11 months ago
Impact Evaluation for Quality-Oriented Architectural Decisions regarding Evolvability
Abstract. Quality goals have to be under a special consideration during software architectural design. Evolvability constitutes a quality goal with a special relevance for business...
Stephan Bode, Matthias Riebisch
BILDMED
2009
175views Algorithms» more  BILDMED 2009»
13 years 11 months ago
Adapted Transfer Function Design for Coronary Artery Evaluation
We present an approach for adapted transfer function (TF) specification to highlight pathologic changes of the coronary artery vessel wall based on contrast medium-enhanced compute...
Sylvia Glaßer, Steffen Oeltze, Anja Hennemut...
HIPEAC
2007
Springer
14 years 4 months ago
A Throughput-Driven Task Creation and Mapping for Network Processors
Abstract. Network processors are programmable devices that can process packets at a high speed. A network processor is typified by multithreading and heterogeneous multiprocessing...
Lixia Liu, Xiao-Feng Li, Michael K. Chen, Roy Dz-C...