5863 search results - page 511 / 1173 » Calculating Functional Programs |
247
click to vote
CAD
2004
Springer
15 years 7 months ago
2004
Springer
: LOGO is a programming language incorporating turtle graphics, originally devised for teaching computing to young children in elementary and middle schools. Here we advocate the u...
195
click to vote
IJON
2002
15 years 7 months ago
2002
NEURObjects is a set of C++ library classes for neural network development, exploiting the potentialities of object-oriented design and programming. The main goal of the library c...
215
click to vote
FMCAD
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
194
click to vote
PLSA
1994
15 years 11 months ago
1994
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...
217
click to vote
CN
2008
15 years 7 months ago
2008
This paper deals with a congestion control framework for elastic and real-time traffic, where the user's application is associated with a utility function. We allow users to ...