7121 search results - page 32 / 1425 » Functions as Session-Typed Processes |
PADL
2005
Springer
14 years 2 months ago
2005
Springer
We present an application of functional programming in the domain of sound generation and processing. We use the lazy language Clean to define purely functional stream generators,...
NIPS
2004
13 years 10 months ago
2004
Gaussian processes are usually parameterised in terms of their covariance functions. However, this makes it difficult to deal with multiple outputs, because ensuring that the cova...
EPEW
2006
Springer
14 years 20 days ago
2006
Springer
In this paper, we introduce FPS, a mechanism to define performance measures for stochastic process algebra models. FPS is a functional performance specification language which desc...
COOPIS
2004
IEEE
14 years 23 days ago
2004
IEEE
In this paper we present an implementation of a constraint solving module, CLP(Flex), for dealing with unification in an equality theory for terms with flexible arity function symb...
CAISE
2006
Springer
14 years 22 days ago
2006
Springer
ion level of Change Subject of Change Properties of Change Type Instance Functional Perspective Organizational Perspective Extent Behavioral Perspective Informational Perspective O...