3758 search results - page 225 / 752 » A Complete Subsumption Algorithm |
89
Voted
VTC
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper evaluates the effect of the channel estimation inaccuracy on the performance of an HSDPA system. This study provides some results from system level simulations that have...
109
click to vote
FORMATS
2004
Springer
15 years 7 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
143
Voted
LATIN
2004
Springer
15 years 7 months ago
2004
Springer
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
DIS
1998
Springer
15 years 6 months ago
1998
Springer
SDS2 is a system to discover and identify the quantitative model consisting of simultaneous equations re
ecting the rst principles underlying the objective process through experi...
128
Voted
CLUSTER
2006
IEEE
15 years 6 months ago
2006
IEEE
One of the most important collective communication patterns used in scientific applications is the complete exchange, also called All-to-All. Although efficient complete exchange ...