8810 search results - page 149 / 1762 » Open. Closed. Open |
173
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...
139
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
Clock synchronization is one of the most basic building blocks for many applications in computer science and engineering. The purpose of clock synchronization is to provide the con...
154
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
As modern supercomputing systems reach the peta-flop performance range, they grow in both size and complexity. This makes them increasingly vulnerable to failures from a variety ...
147
click to vote
MHCI
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes collaborative work between industry and academia aimed at supporting the design and assessment of a transcoding service to support mobile phone internet brows...
160
click to vote
OSS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract The reuse of Open Source Software components available on the Internet is playing a major role in the development of Component Based Software Systems. Nevertheless, the sp...