34 search results - page 3 / 7 » Industrial Applications of Software Synthesis via Category T... |
CODES
2006
IEEE
13 years 11 months ago
2006
IEEE
System-on-chip communication architectures have a significant impact on the performance and power consumption of modern multiprocessor system-on-chips (MPSoCs). However, customiza...
SIGSOFT
2009
ACM
14 years 6 days ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
GECCO
2007
Springer
13 years 11 months ago
2007
Springer
The success of a genetic programming system in solving a problem is often a function of the available computational resources. For many problems, the larger the population size an...
GECCO
2005
Springer
13 years 11 months ago
2005
Springer
Evolutionary Algorithms (EAs) have been largely applied to optimisation and synthesis of controllers. In spite of several successful applications and competitive solutions, the st...
EMSOFT
2007
Springer
13 years 11 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...