Sciweavers

6894 search results - page 357 / 1379
» Generation Problems
Sort
View
SIGGRAPH
2010
ACM
15 years 5 months ago
Structure-based ASCII art
The wide availability and popularity of text-based communication channels encourage the usage of ASCII art in representing images. Existing tone-based ASCII art generation methods...
Xuemiao Xu, Linling Zhang, Tien-Tsin Wong
SPIN
2010
Springer
15 years 5 months ago
Experimental Comparison of Concolic and Random Testing for Java Card Applets
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
Kari Kähkönen, Roland Kindermann, Keijo ...
ICST
2009
IEEE
15 years 4 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
IJON
2010
199views more  IJON 2010»
15 years 4 months ago
DFS-generated pathways in GA crossover for protein structure prediction
Genetic Algorithms (GAs), as nondeterministic conformational search techniques, are promising for solving protein structure prediction (PSP) problems. The crossover operator of a ...
Tamjidul Hoque, Madhu Chetty, Andrew Lewis, Abdul ...
WSC
1997
15 years 8 months ago
A Simulation-Based Finite Capacity Scheduling System
This paper describes the methodology of a finite capacity scheduling system which uses an objectoriented discrete event simulation as its engine. The scheduling system is develop...
Alexander J. Weintraub, Andrew Zozom Jr., Thom J. ...