4743 search results - page 678 / 949 » Introduction to Functional Programming |
213
click to vote
CMMR
2005
Springer
16 years 4 days ago
2005
Springer
The pureCMusic (pCM++) framework gives the possibility to write a piece of music in terms of an algorithmic-composition-based program -also controlled by data streaming from extern...
134
click to vote
FM
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
171
click to vote
HPCC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The Ubiquitous Web requires novel programming paradigms and distributed architectures for the support of advanced services to a multitude of user devices and profiles. I...
157
Voted
ICA3PP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Measurement and modelling of distributions of data communication times is commonly done for telecommunication networks, but this has not previously been done for message ...
155
click to vote
ICALP
2005
Springer
16 years 4 days ago
2005
Springer
We develop a new method for estimating the discrepancy of tensors associated with multiparty communication problems in the “Number on the Forehead” model of Chandra, Furst and...