5591 search results - page 464 / 1119 » Design patterns: between programming and software design |
236
Voted
HYBRID
2010
Springer
15 years 9 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
206
Voted
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
Bid-based Genetic Programming (GP) provides an elegant mechanism for facilitating cooperative problem decomposition without an a priori speciļ¬cation of the number of team member...
197
Voted
ECCC
2007
15 years 7 months ago
2007
Program checking, program self-correcting and program selftesting were pioneered by [Blum and Kannan] and [Blum, Luby and Rubinfeld] in the mid eighties as a new way to gain conļ¬...
219
Voted
PAISI
2009
Springer
16 years 1 months ago
2009
Springer
Discovering a representative set of theme patterns from a large amount of text for interpreting their meaning has always been concerned by researches of both data mining and inform...
172
click to vote
ISQED
2010
IEEE
16 years 2 months ago
2010
IEEE
āDouble patterning lithography (DPL) provides an attractive alternative or a supplementary method to enable the 32nm and 22nm process nodes, relative to costlier technology optio...