1237 search results - page 63 / 248 » Strictness and Totality Analysis |
231
click to vote
MCAM
2007
Springer
16 years 13 days ago
2007
Springer
This paper presents a novel data organizing and delivery framework for P2P media streaming which is aware of media content. In this framework, the media data is partitioned GOP by ...
143
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
Accurate gate-level static timing analysis in the presence of RC loads has become an important problem for modern deep-submicron designs. Non-capacitive loads are usually analyzed...
143
click to vote
LOPSTR
1998
Springer
15 years 10 months ago
1998
Springer
Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure online termination of program analysis, specialisation and transformation t...
151
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
159
click to vote
LREC
2010
15 years 7 months ago
2010
Particular uses of PNs with sense extension are focussed on and inspected taking into account the presence of PNs in lexical semantic databases and electronic corpora. Methodology...