4315 search results - page 163 / 863 » Sorting in linear time |
CAV
2004
Springer
14 years 2 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...
ASIAN
2003
Springer
14 years 2 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 ...
DATE
2002
IEEE
14 years 2 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...
ICRA
1998
IEEE
14 years 1 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...
AISC
2006
Springer
14 years 28 days 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...