4315 search results - page 163 / 863 » Sorting in linear time |
123
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
111
click to vote
ASIAN
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...
134
click to vote
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
Many approaches recently proposed for high-speed asynchronous pipelines are applicable only to linear datapaths. However, real systems typically have non-linearities in their data...
111
click to vote
ICRA
1998
IEEE
15 years 7 months ago
1998
IEEE
Planar linear motors Sawyer motors have been used in industry as open-loop stepping motors, but their robustness and versatility has been limited. Using a sensor recently integrat...
108
click to vote
AISC
2006
Springer
15 years 6 months ago
2006
Springer
In program analysis and verification, there are some constraints that have to be processed repeatedly. A possible way to speed up the processing is to find some relations among the...