2019 search results - page 393 / 404 » Programming with Shared Data Abstractions |
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Contract-based property checkers hold the potential for precise, scalable, and incremental reasoning. However, it is difficult to apply such checkers to large program mod...
CPAIOR
2009
Springer
14 years 2 months ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
UM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Words mean different things to different people, and capturing these differences is often a subtle art. These differences are often “a matter of perspective,” and...
CLUSTER
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—Emerging 64bitOS’s supply a huge amount of memory address space that is essential for new applications using very large data. It is expected that the memory in connect...
ICS
2007
Tsinghua U.
14 years 1 months ago
2007
Tsinghua U.
Positive results from new object-oriented tools for scientific programming are reported. Using template classes, abstractions of matrix representations are available that subsume...