4835 search results - page 869 / 967 » Refactoring Functional Programs |
101
Voted
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
Growing transistor counts, limited power budgets, and the breakdown of voltage scaling are currently conspiring to create a utilization wall that limits the fraction of a chip tha...
125
click to vote
CCGRID
2009
IEEE
15 years 9 months ago
2009
IEEE
Cloud computing systems fundamentally provide access to large pools of data and computational resources through a variety of interfaces similar in spirit to existing grid and HPC ...
121
Voted
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
208
Voted
WAIM
2009
Springer
15 years 8 months ago
2009
Springer
StreetTiVo is a project that aims at bringing research results into the living room; in particular, a mix of current results in the areas of Peer-to-Peer XML Database Management Sy...
144
Voted
CALCO
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Monads are a well-established tool for modelling various computational effects. They form the semantic basis of Moggi’s computational metalanguage, the metalanguage of ...