2841 search results - page 269 / 569 » Parameterised system design based on genetic algorithms |
152
click to vote
VC
2008
15 years 6 months ago
2008
We present a method for solving arbitrary systems of N nonlinear polynomials in n variables over an n-dimensional simplicial domain based on polynomial representation in the baryce...
181
click to vote
DSD
2010
IEEE
15 years 5 months ago
2010
IEEE
— In this paper we propose a new method of test patterns compression based on a design of a dedicated SAT-based ATPG (Automatic Test Pattern Generator). This compression method i...
152
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—It is well known that max-weight policies based on a queue backlog index can be used to stabilize stochastic networks, and that similar stability results hold if a delay index i...
195
click to vote
DASFAA
2005
IEEE
16 years 8 days ago
2005
IEEE
A novel approach for similarity search on the protein structure databases is proposed. PADS (Protein Alignment by Directional shape Signatures) incorporates the three dimensional ...
153
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...