1942 search results - page 63 / 389 » Speeding Up XTR |
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checkin...
118
click to vote
RTCSA
2009
IEEE
15 years 8 months ago
2009
IEEE
—Sensor processing is a common task within many embedded system domains, such as in control systems, the sensor feedback is used for actuator control. In this paper we have surve...
114
click to vote
AMR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. This article explores the feasibility of a market-ready, mobile pattern recognition system based on the latest findings in the field of object recognition and currently a...
128
click to vote
PAKDD
2007
ACM
15 years 8 months ago
2007
ACM
We present a framework for mining frequent trajectories, which are translated and/or rotated with respect to one another. We then discuss a multiresolution methodology, based on th...
132
click to vote
CCR
2004
15 years 1 months ago
2004
IP address lookup is challenging for high performance routers because it requires a longest matching prefix at speeds of up to 10 Gbps (OC-192). Existing solutions have poor updat...