Sciweavers

6248 search results - page 79 / 1250
» Programming in a data factory
Sort
View
80
Voted
POPL
2012
ACM
13 years 10 months ago
Canonicity for 2-dimensional type theory
nvenient way of pattern-matching against abstract data types. Publications: Dissertation
Daniel R. Licata, Robert Harper
MCMASTER
1993
15 years 6 months ago
A Systolizing Compilation Scheme for Nested Loops with Linear Bounds
With the recent advances in massively parallel programmable processor networks, methods for the infusion of massive MIMD parallelism into programs have become increasingly relevant...
Michael Barnett, Christian Lengauer
149
Voted
AFP
2008
Springer
236views Formal Methods» more  AFP 2008»
15 years 8 months ago
A Tutorial on Parallel and Concurrent Programming in Haskell
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
Simon L. Peyton Jones, Satnam Singh
100
Voted
HCI
2007
15 years 4 months ago
Whole-System Programming of Adaptive Ambient Intelligence
Ambient intelligence involves synthesising data from a range of sources in order to exhibit meaningful adaptive behaviour without explicit user direction, driven by inputs from lar...
Simon Dobson, Paddy Nixon
EUSFLAT
2001
100views Fuzzy Logic» more  EUSFLAT 2001»
15 years 3 months ago
Fuzzy modelling using fuzzy mathematical programming
In this paper we will describe several methods that solve, using mathematical programming, different problems that, although can be used in others fields in the fuzzy modelling co...
José Manuel Cadenas, M. Carmen Garrido, J. ...