Sciweavers

420 search results - page 20 / 84
» A Small Test Generator for Large Designs
Sort
View
60
Voted
TCIAIG
2011
111views more  TCIAIG 2011»
14 years 7 months ago
Launchpad: A Rhythm-Based Level Generator for 2-D Platformers
—Launchpad is an autonomous level generator that is based on a formal model of 2-D platformer level design. Levels are built out of small segments called “rhythm groups,” whi...
Gillian Smith, Jim Whitehead, Michael Mateas, Mike...
162
Voted
ISMIS
2005
Springer
15 years 6 months ago
Statistical Database Modeling for Privacy Preserving Database Generation
Abstract. Testing of database applications is of great importance. Although various studies have been conducted to investigate testing techniques for database design, relatively fe...
Xintao Wu, Yongge Wang, Yuliang Zheng
99
Voted
FMICS
2006
Springer
15 years 4 months ago
Test Coverage for Loose Timing Annotations
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
Claude Helmstetter, Florence Maraninchi, Laurent M...
115
Voted
DAC
2010
ACM
15 years 3 months ago
Efficient fault simulation on many-core processors
Fault simulation is essential in test generation, design for test and reliability assessment of integrated circuits. Reliability analysis and the simulation of self-test structure...
Michael A. Kochte, Marcel Schaal, Hans-Joachim Wun...
110
Voted
FUIN
2008
98views more  FUIN 2008»
15 years 19 days ago
A Restarted Strategy for Efficient Subsumption Testing
We study runtime distributions of subsumption testing. On graph data randomly sampled from two different generative models we observe a gradual growth of the tails of the distribut...
Ondrej Kuzelka, Filip Zelezný