2362 search results - page 288 / 473 » Programming in Standard ML |
168
click to vote
CMMR
2005
Springer
15 years 9 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...
133
click to vote
CP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this article we will present some problems that have weak symmetries. In contrast to a proper symmetry, a weak symmetry acts only on a subset of the variables and pres...
133
click to vote
FPGA
2005
ACM
15 years 9 months ago
2005
ACM
We present an automatic logic synthesis method targeted for highperformance asynchronous FPGA (AFPGA) architectures. Our method transforms sequential programs as well as high-leve...
128
click to vote
ICA3PP
2005
Springer
15 years 9 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 ...
115
Voted
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...