238 search results - page 37 / 48 » Constraint Solving and Symbolic Execution |
PLISP
1989
15 years 2 months ago
1989
Speculative computing is a technique to improve the execution time of certain applications by starting some computations before it is known that the computations are required. A s...
89
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Distance bounding protocols are used by nodes in wireless networks for the crucial purpose of estimating their distances to other nodes. Past efforts to analyze these protocols hav...
82
Voted
JSC
2010
14 years 9 months ago
2010
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. This should be naturally ...
111
click to vote
TWC
2010
14 years 5 months ago
2010
This paper deals with distributed demodulation of space-time transmissions of a common message from a multiantenna access point (AP) to a wireless sensor network. Based on local me...
89
Voted
AUTOMATICA
2007
14 years 11 months ago
2007
Optimal control problems for constrained linear systems with a linear cost can be posed as multiparametric linear programs with a parameter in the cost, or equivalently the right-...