4719 search results - page 301 / 944 » Spreadsheet functional programming |
148
click to vote
TACAS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
157
click to vote
PPPJ
2003
ACM
15 years 12 months ago
2003
ACM
Building distributed systems is an inherently difficult and complex task. Modern middleware architectures assist developers ding abstractions that hide transport layer functionali...
174
Voted
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Initial results have been achieved for automatic synthesis of MEMS system-level lumped parameter models using genetic programming and bond graphs. This paper first discusses the ne...
151
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Many evolutionary computation search spaces require fitness assessment through the sampling of and generalization over a large set of possible cases as input. Such spaces seem par...
186
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
The notion of evolvability has been put forward to describe the“core mechanism”of natural and artificial evolution. Recently, studies have revealed the influence of the envi...