3676 search results - page 682 / 736 » Scalable component abstractions |
106
click to vote
ICFP
2008
ACM
16 years 14 days ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
103
click to vote
EUROSYS
2009
ACM
15 years 9 months ago
2009
ACM
Many of today’s web sites contain substantial amounts of client-side code, and consequently, they act more like programs than simple documents. This creates robustness and perfo...
89
Voted
SOSP
2009
ACM
15 years 9 months ago
2009
ACM
Helios is an operating system designed to simplify the task of writing, deploying, and tuning applications for heterogeneous platforms. Helios introduces satellite kernels, which ...
157
Voted
TLDI
2010
ACM
15 years 9 months ago
2010
ACM
ML modules are a powerful language mechanism for decomposing programs into reusable components. Unfortunately, they also have a reputation for being “complex” and requiring fa...
101
Voted
IEAAIE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract Unipolar depression is a mental disorder characterized by a persistent low mood and loss of awareness or contentment in usual activities [1]. Despite the modern era of pha...