Sciweavers

2351 search results - page 327 / 471
» A Method of Requirement Inconsistency Analysis
Sort
View
78
Voted
CODES
2008
IEEE
14 years 12 months ago
Specification-based compaction of directed tests for functional validation of pipelined processors
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...
Heon-Mo Koo, Prabhat Mishra
NIPS
2008
14 years 11 months ago
Spectral Clustering with Perturbed Data
Spectral clustering is useful for a wide-ranging set of applications in areas such as biological data analysis, image processing and data mining. However, the computational and/or...
Ling Huang, Donghui Yan, Michael I. Jordan, Nina T...
SDM
2008
SIAM
164views Data Mining» more  SDM 2008»
14 years 11 months ago
Randomizing Social Networks: a Spectrum Preserving Approach
Understanding the general properties of real social networks has gained much attention due to the proliferation of networked data. The nodes in the network are the individuals and...
Xiaowei Ying, Xintao Wu
BILDMED
2009
161views Algorithms» more  BILDMED 2009»
14 years 11 months ago
Estimation of Inner Lung Motion Fields by Non-linear Registration
Abstract. Detailed analysis of breathing dynamics, as motivated by radiotherapy of lung tumors, requires accurate estimates of inner lung motion fields. We present an evaluation an...
René Werner, Jan Ehrhardt, Alexander Schmid...
CORR
2006
Springer
138views Education» more  CORR 2006»
14 years 10 months ago
Applying and Combining Three Different Aspect Mining Techniques
Abstract. Understanding a software system at source-code level requires understanding the different concerns that it addresses, which in turn requires a way to identify these conce...
Mariano Ceccato, Marius Marin, Kim Mens, Leon Moon...