5634 search results - page 124 / 1127 » About Abstract Classes |
164
click to vote
POPL
2003
ACM
15 years 11 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
CCGRID
2001
IEEE
15 years 2 months ago
2001
IEEE
TACO (Topologies and Collections) is a template library that introduces the flavour of distributed data parallel processing by means of reusable topology classes and C++ s. This p...
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
Concurrent programs are difficult to write, reason about, re-use, and maintain. In particular, for system-level ions that use a shared memory abstraction for thread or process syn...
AMAI
2005
Springer
14 years 11 months ago
2005
Springer
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Our programs reason about t...
DCC
2006
IEEE
15 years 10 months ago
2006
IEEE
We construct various classes of low-density parity-check codes using point-line incidence structures in the classical projective plane PG(2, q). Each incidence structure is based ...