8197 search results - page 1192 / 1640 » Adaptive functional programming |
216
click to vote
CMMR
2005
Springer
16 years 8 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...
137
click to vote
FM
2005
Springer
16 years 7 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...
159
click to vote
ICA3PP
2005
Springer
16 years 7 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 ...
156
click to vote
ICALP
2005
Springer
16 years 7 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...
164
click to vote
ICALP
2005
Springer
16 years 7 days ago
2005
Springer
Trevisan has shown that constructions of pseudo-random generators from hard functions (the Nisan-Wigderson approach) also produce extractors. We show that constructions of pseudo-r...