10055 search results - page 1441 / 2011 » Structured programming using processes |
126
click to vote
IFL
2001
Springer
15 years 9 months ago
2001
Springer
The parallel-functional language Eden extends Haskell with constructs to explicitly define and communicate processes. These extensions allow the easy definition of skeletons as h...
148
click to vote
NIME
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we describe our efforts towards the development of live performance computer-based musical instrumentation. Our design criteria include initial ease of use coupled w...
134
click to vote
IJCNN
2000
IEEE
15 years 9 months ago
2000
IEEE
The well-known backpropagation (BP) derivative computation process for multilayer perceptrons (MLP) learning can be viewed as a simplified version of the Kelley-Bryson gradient f...
152
click to vote
CCS
1998
ACM
15 years 9 months ago
1998
ACM
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
167
Voted
FOSSACS
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...