1835 search results - page 227 / 367 » Functional Programming of Behavior-Based Systems |
140
Voted
CC
2004
Springer
15 years 10 months ago
2004
Springer
An important issue in embedded systems design is the size of programs. As computing devices decrease in size, yet with more and more functions, better code size optimizations are i...
154
Voted
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
Guided Abstraction Simplification Roberto Giacobazzi1 and Francesco Ranzato2 1 University of Verona, Italy 2 University of Padova, Italy Abstract. In static analysis, approximation...
159
click to vote
CG
2002
Springer
15 years 4 months ago
2002
Springer
Gentropy is a genetic programming system that evolves two-dimensional procedural textures. It synthesizes textures by combining mathematical and image manipulation functions into ...
153
click to vote
TSE
2002
15 years 4 months ago
2002
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...
225
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...