2019 search results - page 393 / 404 » Programming with Shared Data Abstractions |
144
click to vote
CAV
2009
Springer
16 years 6 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...
152
click to vote
CPAIOR
2009
Springer
16 years 12 days 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...
157
click to vote
UM
2009
Springer
16 years 11 days 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...
177
click to vote
CLUSTER
2008
IEEE
16 years 9 days 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...
160
click to vote
ICS
2007
Tsinghua U.
15 years 12 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...