115 search results - page 19 / 23 » : Compiling problem specifications into SAT |
CASES
2008
ACM
13 years 10 months ago
2008
ACM
Automatic vectorization of programs for partitioned-ALU SIMD (Single Instruction Multiple Data) processors has been difficult because of not only data dependency issues but also n...
BERTINORO
2005
Springer
14 years 1 months ago
2005
Springer
Fractal proteins are an evolvable method of mapping genotype to phenotype through a developmental process, where genes are expressed into proteins comprised of subsets of the Mande...
ECOOPW
1999
Springer
14 years 7 days ago
1999
Springer
Abstract. In Aspect-Oriented Programming we decompose a problem into a number of functional components as well as a number of aspects and then we compose these components and aspec...
WETICE
1998
IEEE
14 years 6 days ago
1998
IEEE
Intelligence, collaboration and mobility are the main important features in designing agents for electronic commercial systems. But very few systems permit to implement agents whi...
ECMDAFA
2010
Springer
13 years 11 months ago
2010
Springer
Domain Specific Modeling Languages (DSML) are more and more used to handle high level concepts, and thus bring complex software development under control. The increasingly recurrin...