5109 search results - page 897 / 1022 » On Learning Limiting Programs |
121
click to vote
ASPLOS
1996
ACM
15 years 7 months ago
1996
ACM
: One of the fundamental limits to high-performance, high-reliability file systems is memory's vulnerability to system crashes. Because memory is viewed as unsafe, systems per...
138
click to vote
TACS
1994
Springer
15 years 7 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
127
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
A data structure is presented for the Mergeable Dictionary abstract data type, which supports the following operations on a collection of disjoint sets of totally ordered data: Pr...
164
click to vote
DLS
2007
15 years 7 months ago
2007
Although the C-based interpreter of Python is reasonably fast, implementations on the CLI or the JVM platforms offers some advantages in terms of robustness and interoperability. ...
126
click to vote
CF
2006
ACM
15 years 6 months ago
2006
ACM
The slowing pace of commodity microprocessor performance improvements combined with ever-increasing chip power demands has become of utmost concern to computational scientists. As...