4139 search results - page 575 / 828 » Designing and Implementing Combinator Languages |
225
Voted
ICFP
2006
ACM
16 years 7 months ago
2006
ACM
This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional&q...
192
Voted
PERCOM
2007
ACM
16 years 7 months ago
2007
ACM
Context-awareness (CA) enables the development of personalized pervasive services. Current context-aware infrastructures focus on middleware solutions to support acquisition, usag...
186
click to vote
FPGA
2010
ACM
16 years 4 months ago
2010
ACM
d hardware design from behavior-level abstraction has drawn wide interest in FPGA-based acceleration and configurable computing research field. However, for many high-level progra...
184
click to vote
CCS
2009
ACM
16 years 2 months ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
225
click to vote
MODELS
2009
Springer
16 years 2 months ago
2009
Springer
Electronic Health Records (EHR) have been proposed as a means for managing the technical and organisational complexity that arises in modern healthcare. Different EHR systems are...