5015 search results - page 354 / 1003 » Model Checking a Path |
192
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
Recent years have seen an increasing interest in end-to-end available bandwidth estimation. A number of estimation techniques and tools have been developed during the last few year...
154
click to vote
DBPL
1991
Springer
15 years 10 months ago
1991
Springer
We present a functional DBPL in the style of FP that facilitates the definition of precise semantics and opens up opportunities for far-reaching optimizations. The language is int...
212
click to vote
JVCA
2010
15 years 5 months ago
2010
We present a new algorithm to generate plausible motions for high-DOF human-like articulated figures in constrained environments with multiple obstacles. Our approach is general ...
199
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
190
click to vote
PLDI
2006
ACM
16 years 17 days ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...