Sciweavers

5855 search results - page 233 / 1171
» Test generation and minimization with
Sort
View
CIMCA
2006
IEEE
16 years 1 months ago
Reducing the Size of If-Then Rules Generated from Data Tables with Graded Attributes
Presented is a method for reducing the size of if-then rules generated from data tables with graded attributes. Data tables with graded attributes represent data structures descri...
Radim Belohlávek, Vilém Vychodil
SPIRE
2005
Springer
16 years 24 days ago
Faster Generation of Super Condensed Neighbourhoods Using Finite Automata
We present a new algorithm for generating super condensed neighbourhoods. Super condensed neighbourhoods have recently been presented as the minimal set of words that represent a p...
Luís M. S. Russo, Arlindo L. Oliveira
CHI
2004
ACM
16 years 7 months ago
Science at the Speed of Thought
Abstract. In this paper we describe a virtual laboratory that is designed to accelerate scientific exploration and discovery by minimizing the time between the generation of a scie...
Judith Ellen Devaney, Steven G. Satterfield, John ...
JSS
2007
169views more  JSS 2007»
15 years 7 months ago
MDABench: Customized benchmark generation using MDA
This paper describes an approach for generating customized benchmark suites from a software architecture description following a Model Driven Architecture (MDA) approach. The benc...
Liming Zhu, Ngoc Bao Bui, Yan Liu, Ian Gorton
MTDT
2003
IEEE
105views Hardware» more  MTDT 2003»
16 years 17 days ago
A Testability-Driven Optimizer and Wrapper Generator for Embedded Memories
Memory cores (especially SRAM cores) used on a system chip usually come from a memory compiler. Commercial memory compilers have their limitation— a large memory may need to be ...
Rei-Fu Huang, Li-Ming Denq, Cheng-Wen Wu, Jin-Fu L...