15792 search results - page 200 / 3159 » Computational Abstraction Steps |
262
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
Concurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable feature is its support for first-class synchronous ope...
148
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Abstract. There are a range of abstractions used for both modelling and proof modern computational systems. While these abstractions may have been devised for specific purposes, t...
166
click to vote
ISPAN
2009
IEEE
16 years 25 days ago
2009
IEEE
As demand for grid and cloud computing solutions increases, the need for user oriented software to provide access to theses resources also increases. Until recently the use of com...
168
click to vote
SIGGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
This paper addresses the fundamental problem of computing stable medial representations of 3D shapes. We propose a spatially adaptive classification of geometric features that yi...
161
click to vote
SIGMETRICS
2003
ACM
15 years 11 months ago
2003
ACM
In this paper we present results from a detailed measurement study of TCP (Transmission Control Protocol) running over a wireless link. Our primary goal was on obtaining a breakdo...