Sciweavers

8671 search results - page 347 / 1735
» A generator for hierarchical problems
Sort
View
IJON
2008
100views more  IJON 2008»
15 years 6 months ago
EvOL-Neuron: Neuronal morphology generation
Virtual neurons are essential in computational neuroscience to study the relation between neuronal form and function. One way of obtaining virtual neurons is by algorithmic genera...
Ben Torben-Nielsen, Karl Tuyls, Eric O. Postma
CORR
2011
Springer
140views Education» more  CORR 2011»
15 years 1 months ago
Sampling-rate-aware noise generation
In this paper we consider the generation of discrete white noise. Despite this seems to be a simple problem, common noise generator implementations do not deliver comparable resul...
Henning Thielemann
ICCAD
2007
IEEE
86views Hardware» more  ICCAD 2007»
16 years 3 months ago
Stimulus generation for constrained random simulation
Constrained random simulation is the main workhorse in today’s hardware verification flows. It requires the random generation of input stimuli that obey a set of declaratively...
Nathan Kitchen, Andreas Kuehlmann
ISCIS
2009
Springer
16 years 1 months ago
Using a SAT solver to generate checking sequences
—Methods for software testing based on Finite State Machines (FSMs) have been researched since the early 60’s. Many of these methods are about generating a checking sequence fr...
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Y...
ICST
2008
IEEE
16 years 1 months ago
Efficient Test Data Generation for Variables with Complex Dependencies
This paper introduces a new method for generating test data that combines the benefits of equivalence partitioning, boundary value analysis and cause-effect analysis. It is suitab...
Armin Beer, Stefan Mohacsi