2470 search results - page 153 / 494 » Liveness-Preserving Simulation Relations |
90
Voted
CDC
2008
IEEE
15 years 2 months ago
2008
IEEE
This work outlines two approaches for small unmanned aerial vehicles (UAVs) performing surveillance with fixed cameras. Small UAVs present significant control challenges, due to re...
104
Voted
ASPDAC
2005
ACM
15 years 2 months ago
2005
ACM
- This paper presents a novel approach for fast transient analysis of buffered hybrid structured clock networks. The new method applies structure reduction and relaxed hierarchical...
130
Voted
GLOBECOM
2007
IEEE
15 years 2 months ago
2007
IEEE
- How to prolong the lifetime of wireless sensor networks is one of the most important design issues. In order to tackle this issue, we propose an energy-efficient polynomial regre...
117
click to vote
ECOWS
2008
Springer
15 years 2 months ago
2008
Springer
In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method t...
100
click to vote
ESA
2008
Springer
15 years 2 months ago
2008
Springer
Cuckoo hashing holds great potential as a high-performance hashing scheme for real applications. Up to this point, the greatest drawback of cuckoo hashing appears to be that there...