1131 search results - page 166 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
135
click to vote
FLOPS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
103
click to vote
TROB
2002
15 years 3 days ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
215
click to vote
POPL
2005
ACM
16 years 24 days ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
134
Voted
CEC
2011
IEEE
14 years 14 days ago
2011
IEEE
—Constrained Genetic Programming (CGP) is a method of searching the Genetic Programming search space non-uniformly, giving preferences to certain subspaces according to some heur...
82
Voted
DAC
2002
ACM
16 years 1 months ago
2002
ACM
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...