1112 search results - page 128 / 223 » Executing Abstract Test Cases |
110
click to vote
TACAS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this paper we prove that the transitive closure of a nondeterministic octagonal relation using integer counters can be expressed in Presburger arithmetic. The direct c...
118
click to vote
IRI
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— Conversational Case-Based-Reasoning (CCBR) provides a mixed-initiative dialog for guiding users to construct their problem description incrementally through a question-...
127
click to vote
HIPEAC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. High end routers are targeted at providing worst case throughput guarantees over latency. Caches on the other hand are meant to help latency not throughput in a tradition...
124
click to vote
PKC
2009
Springer
16 years 3 months ago
2009
Springer
Recently, the new Multibase Non-Adjacent Form (mbNAF) method was introduced and shown to speed up the execution of the scalar multiplication with an efficient use of multiple bases...
142
click to vote
ICPADS
2005
IEEE
15 years 8 months ago
2005
IEEE
This work presents a new comparison-based diagnosis model and a new algorithm, called Hi-Dif, based on this model. The algorithm is used for checking the integrity of systems with...