7961 search results - page 288 / 1593 » Input-Output Model Programs |
134
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
Bid-based Genetic Programming (GP) provides an elegant mechanism for facilitating cooperative problem decomposition without an a priori specification of the number of team member...
157
click to vote
TCAD
2008
15 years 4 months ago
2008
We present an efficient optimization scheme for gate sizing in the presence of process variations. Our method is a worst-case design scheme, but it reduces the pessimism involved i...
145
click to vote
SEFM
2009
IEEE
15 years 11 months ago
2009
IEEE
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate...
117
click to vote
ESEM
2009
ACM
15 years 11 months ago
2009
ACM
Software development is a complex and error-prone task. An important factor during the development of complex systems is the understanding of the dependencies that exist between d...
130
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
We introduce a novel approach to the smart execution of scenario-based models of reactive systems, such as those resulting from the multi-modal inter-object language of live sequen...