645 search results - page 18 / 129 » Pure patterns type systems |
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents our compilation strategy to produce efficient code for pattern matching in the CDuce compiler, taking into account static information provided by the type syst...
108
click to vote
ICAPR
2001
Springer
15 years 4 months ago
2001
Springer
In this paper we propose a Neural Net-PMRS hybrid for forecasting time-series data. The neural network model uses the traditional MLP architecture and backpropagation method of tr...
103
click to vote
EUROMICRO
2005
IEEE
15 years 5 months ago
2005
IEEE
When an organization faces new types of collaboration, for example after a company merger, there is a need to integrate the existing software. Two main process challenges are how ...
SCP
2008
14 years 11 months ago
2008
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...
ER
2001
Springer
15 years 4 months ago
2001
Springer
: In electronic commerce, two fundamental types of models are business models and process models. While a business model is concerned with value exchanges between actors, a process...