Sciweavers

645 search results - page 84 / 129
» Pure patterns type systems
Sort
View
HIPS
1998
IEEE
15 years 7 months ago
Constructive and Adaptable Distributed Shared Memory
Distributed shared memory (DSM) is a paradigm for programming distributed systems, which provides an alternative to the message passing model. DSM offers the agents of the system ...
Jordi Bataller, José M. Bernabéu-Aub...
PAAPP
2006
141views more  PAAPP 2006»
15 years 3 months ago
Algorithmic optimizations of a conjugate gradient solver on shared memory architectures
OpenMP is an architecture-independent language for programming in the shared memory model. OpenMP is designed to be simple and in terms of programming abstractions. Unfortunately,...
Henrik Löf, Jarmo Rantakokko
ICFP
2010
ACM
15 years 3 months ago
ReCaml: execution state as the cornerstone of reconfigurations
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
Jérémy Buisson, Fabien Dagnat
TGC
2007
Springer
15 years 9 months ago
A Protocol Compiler for Secure Sessions in ML
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
Ricardo Corin, Pierre-Malo Deniélou
CHI
2006
ACM
16 years 3 months ago
NutriStat: tracking young child nutrition
Our childhood eating patterns strongly affect our lifelong health. Recently, type II diabetes emerged as a national health crisis in America that can be prevented almost entirely ...
Victor Hanson-Smith, Daya C. Wimalasuriya, Andrew ...