26151 search results - page 15 / 5231 » Parameterized system design |
JOT
2010
13 years 6 months ago
2010
GECCO
2003
Springer
14 years 27 days ago
2003
Springer
Abstract. Since typical evolutionary design systems encode only a single artifact with each individual, each time the objective changes a new set of individuals must be evolved. Wh...
DAC
2005
ACM
14 years 8 months ago
2005
ACM
System-level design methods specifically targeted towards multimedia applications have recently received a lot of attention. Multimedia workloads are known to have a high degree o...
CONCUR
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...
MOC
2010
13 years 2 months ago
2010
We consider a parameterized family of Thue equations of degree 16. By reducing this family to a system of Pell equations and linear relations, we are able to solve this family.