1730 search results - page 247 / 346 » Algebra and Computation |
137
click to vote
ICTAC
2007
Springer
15 years 10 months ago
2007
Springer
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LT...
139
click to vote
ETS
2006
IEEE
15 years 10 months ago
2006
IEEE
A central problem in built-in self test (BIST) is how to efficiently generate a small set of test vectors that detect all targeted faults. We propose a novel solution that uses l...
143
click to vote
SEW
2006
IEEE
15 years 10 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
126
click to vote
COMPGEOM
2006
ACM
15 years 10 months ago
2006
ACM
Abstract This paper describes an algorithm for generating a guaranteed intersectionfree interpolation sequence between any pair of compatible polygons. Our algorithm builds on prio...
138
click to vote
PEWASUN
2006
ACM
15 years 10 months ago
2006
ACM
Understanding the performance of backoff algorithms in multihop ad hoc networks is a key feature to design efficient Medium Access Protocols for wireless networks. The 802.11 bac...