4895 search results - page 707 / 979 » Functional Quantum Programming |
128
Voted
CC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enum...
177
Voted
CMMR
2005
Springer
15 years 10 months 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...
110
Voted
FM
2005
Springer
15 years 10 months 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...
139
click to vote
HPCC
2005
Springer
15 years 10 months 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...
134
click to vote
ICA3PP
2005
Springer
15 years 10 months 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 ...