333 search results - page 32 / 67 » A code generation framework for Java component-based designs |
106
click to vote
FATES
2003
Springer
15 years 5 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
105
click to vote
PROCOMET
1998
15 years 1 months ago
1998
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
93
Voted
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...
104
click to vote
GECCO
2000
Springer
15 years 4 months ago
2000
Springer
This paper presents a novel evolvable hardware framework for the automated design of digital circuits for high performance applications. The technique evolves circuits correspondi...
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
A powerful approach to search is to try to learn a distribution of good solutions (in particular of the dependencies between their variables) and use this distribution as a basis ...