1185 search results - page 171 / 237 » Implementing Functional Languages: a tutorial |
VLDB
1997
ACM
14 years 2 months ago
1997
ACM
We present a multi-dimensional database model, which we believe can serve as a conceptual model for On-Line Analytical Processing (OLAP)-based applications. Apart from providing t...
HOTOS
2007
IEEE
14 years 2 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
CW
2004
IEEE
14 years 1 months ago
2004
IEEE
In this paper we introduce a function-defined extension of Virtual Reality Modeling Language where analytical formulas are used for defining geometry and appearance of 3D shapes. ...
ARC
2008
Springer
14 years 6 days ago
2008
Springer
Abstract. In this paper, we present the PARO design tool for the automated hardware synthesis of massively parallel embedded architectures for given dataflow dominant applications....
DAGSTUHL
2007
13 years 11 months ago
2007
Abstract. In the last years, social and organizational aspects of agency have become a major issue in multi-agent systems’ research. Recent applications of MAS enforce the need o...