Sciweavers

Share
20 search results - page 1 / 4
» Input space splitting for OpenCL
Sort
View
COMPSAC
2009
IEEE
10 years 11 months ago
Software Input Space Modeling with Constraints among Parameters
—This paper considers the task of software test case generation from a large space of values of input parameters. The purpose of the paper is to create a model of software input ...
Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poor...

Publication
400views
9 years 11 months ago
Partitioning Histopathological Images: An Integrated Framework for Supervised Color-Texture Segmentation and Cell Splitting
For quantitative analysis of histopathological images, such as the lymphoma grading systems, quantification of features is usually carried out on single cells before categorizing...
Hui Kong, Metin Gurcan, and Kamel Belkacem-Boussai...
DEXA
2008
Springer
117views Database» more  DEXA 2008»
10 years 6 months ago
Space-Partitioning-Based Bulk-Loading for the NSP-Tree in Non-ordered Discrete Data Spaces
Properly-designed bulk-loading techniques are more efficient than the conventional tuple-loading method in constructing a multidimensional index tree for a large data set. Although...
Gang Qian, Hyun-Jeong Seok, Qiang Zhu, Sakti Prama...
CDC
2008
IEEE
123views Control Systems» more  CDC 2008»
10 years 10 months ago
Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization
— Given an initial set of a nonlinear system with uncertain parameters and inputs, the set of states that can possibly be reached is computed. The approach is based on local line...
Matthias Althoff, Olaf Stursberg, Martin Buss
ICCAD
1997
IEEE
127views Hardware» more  ICCAD 1997»
10 years 8 months ago
OPTIMIST: state minimization for optimal 2-level logic implementation
We present a novel method for state minimization of incompletely-specified finite state machines. Where classic methods simply minimize the number of states, ours directly addre...
Robert M. Fuhrer, Steven M. Nowick
books