347 search results - page 42 / 70 » Acute: high-level programming language design for distribute... |
122
click to vote
PPOPP
2011
ACM
14 years 14 days ago
2011
ACM
In recent years, GPUs have emerged as an extremely cost-effective means for achieving high performance. Many application developers, including those with no prior parallel program...
81
Voted
IADIS
2004
14 years 11 months ago
2004
A distributed monitoring system has been developed, which is organized with network cameras, an integrated web/mail server, web-based clients including high-performance cellular p...
90
Voted
PLDI
2003
ACM
15 years 2 months ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
JAVA
1999
Springer
15 years 1 months ago
1999
Springer
Exploiting our experience developing the WebFlow system, we designed the Gateway system to provide seamless and secure access to computational resources at ASC MSRC. The Gateway f...
105
click to vote
SCP
2008
14 years 9 months ago
2008
Google's MapReduce programming model serves for processing large data sets in a massively parallel manner. We deliver the first rigorous description of the model including it...