5015 search results - page 758 / 1003 » Model Checking a Path |
169
click to vote
ISPASS
2009
IEEE
16 years 1 months ago
2009
IEEE
Insights into branch predictor organization and operation can be used in architecture-aware compiler optimizations to improve program performance. Unfortunately, such details are ...
170
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
In previous work, we showed that using a lattice instead of the 1-best path to represent both the query and the utterance being searched is beneficial for spoken keyword spotting...
259
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—The paper deals with efficient distribution of timely information to flows of mobile devices. We consider the case where a set of Information Dissemination Devices (IDDs) broa...
169
click to vote
ROBOCUP
2009
Springer
16 years 1 months ago
2009
Springer
Fast-paced dynamic environments like robot soccer require highly responsive and dynamic locomotion. We present an implementation of an omnidirectional ZMP-based walk engine for the...
163
click to vote
CISS
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper we estimate the end-to-end total bandwidth (BW) and available bandwidth (ABW) of a path between a pair of nodes in an IEEE 802.11b ad hoc network, both as function...