1071 search results - page 84 / 215 » Programming with enumerable sets of structures |
124
Voted
SIGPLAN
2002
15 years 2 months ago
2002
We describe the design of a rule-based language for expressing changes to Haskell programs in a systematic and reliable way. The update language essentially offers update commands...
162
click to vote
TACAS
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. Automated verification of multi-threaded programs is difficult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
124
Voted
LION
2009
Springer
15 years 9 months ago
2009
Springer
We present a new knowledge-based Model Quality Assessment Program (MQAP) at the residue level which evaluates single protein structure models. We use a tree representation of the ...
105
click to vote
GECCO
2003
Springer
15 years 7 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...
126
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
A structured approach to parallel programming allows to construct applications by composing skeletons, i.e., recurring patterns of task- and data-parallelism. First academic and co...