1524 search results - page 274 / 305 » Operational Semantics of Hybrid Systems |
114
click to vote
SI3D
2003
ACM
15 years 2 months ago
2003
ACM
In this paper we develop an interactive 3D browser for large topographic maps using a visual display augmented by a haptic, or force feedback, display. The extreme size of our dat...
COMSWARE
2007
IEEE
15 years 1 months ago
2007
IEEE
This paper proposes a middleware to reduce the and consistency are usually poor since they depend on cell consumption of network resources and optimize the provision of size; GPS t...
NSDI
2008
15 years 13 hour ago
2008
We present Hubble, a system that operates continuously to find Internet reachability problems in which routes exist to a destination but packets are unable to reach the destinatio...
109
click to vote
ASPLOS
2008
ACM
14 years 11 months ago
2008
ACM
Standard concurrency control mechanisms offer a trade-off: Transactional memory approaches maximize concurrency, but suffer high overheads and cost for retrying in the case of act...
112
Voted
TIP
1998
14 years 9 months ago
1998
—We propose novel discrete cosine transform (DCT) pseudophase techniques to estimate shift/delay between two onedimensional (1-D) signals directly from their DCT coefficients by...