1678 search results - page 173 / 336 » An ASM Specification of C |
110
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
Access and retrieval of meteorological and oceanographic data from heterogeneous sources in a distributed system presents many issues. Effective bandwidth utilization is important...
171
click to vote
WWW
2001
ACM
16 years 6 months ago
2001
ACM
Web applications are growing in demand, complexity and size, thus making it difficult to systematically design and maintain general web applications. To aid in fulfilling these di...
250
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
124
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
Scientists, engineers, and educators commonly need to make graphs that quickly illustrate quantitative ideas yet are not based on specific data sets. We call these graphs quantita...
181
click to vote
PPOPP
2009
ACM
16 years 6 months ago
2009
ACM
This paper presents a system deployed on parallel clusters to manage a collection of parallel simulations that make up a computational study. It explores how such a system can ext...