4095 search results - page 272 / 819 » How to test a tree |
164
Voted
POPL
2008
ACM
16 years 1 months ago
2008
ACM
The subtyping test consists of checking whether a type t is a descendant of a type r (Agrawal et al. 1989). We study how to perform such a test efficiently, assuming a dynamic hie...
111
Voted
ISCAS
2002
IEEE
15 years 5 months ago
2002
IEEE
—Network aware multimedia delivery applications are a class of applications that provide certain level of quality of service (QoS) guarantees to end users while not assuming unde...
148
Voted
SOQUA
2007
15 years 1 months ago
2007
When choosing a testing technique, practitioners want to know which one will detect the faults that matter most to them in the programs that they plan to test. Do empirical evalua...
102
click to vote
LATIN
2010
Springer
15 years 7 months ago
2010
Springer
For a static array A of n totally ordered objects, a range minimum query asks for the position of the minimum between two specified array indices. We show how to preprocess A into...
77
Voted
ICECCS
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper we summarize parallel algorithms for enumerative model checking of properties formulated in linear time temporal logic (LTL) as well as a fragment of the µcalculus ...