999 search results - page 158 / 200 » On the Decidability of Functional Uncertainty |
CF
2007
ACM
14 years 23 days ago
2007
ACM
The transition to multithreaded, multi-core designs places a greater responsibility on programmers and software for improving performance; thread-level parallelism (TLP) will be i...
ICDCS
2010
IEEE
14 years 21 days ago
2010
IEEE
—This paper presents the CONTRACT framework to address a fundamental deficiency of the IP network control plane, namely the lack of coordination between an IGP and other control...
ESOP
2007
Springer
14 years 20 days ago
2007
Springer
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...
HPCA
1995
IEEE
14 years 10 days ago
1995
IEEE
Information on the behavior of programs is essential for deciding the number and nature of functional units in high performance architectures. In this paper, we present studies on...
ICDT
1995
ACM
14 years 10 days ago
1995
ACM
A tuple t1 of relation R subsumes tuple t2 of R, with respect to a query Q if for every database, tuple t1 derives all, and possibly more, answers to query Q than derived by tuple ...