2593 search results - page 293 / 519 » On Two Problems of Nano-PLA Design |
105
click to vote
SIAMCO
2010
14 years 9 months ago
2010
Abstract. The problem of reliably transmitting a real-valued random vector through a digital noisy channel is relevant for the design of distributed estimation and control techniqu...
SPIN
2010
Springer
14 years 9 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
100
click to vote
SPIN
2010
Springer
14 years 9 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
117
click to vote
TIP
2010
14 years 9 months ago
2010
In this paper we model the components of the compressive sensing (CS) problem, i.e., the signal acquisition process, the unknown signal coefficients and the model parameters for ...
TLT
2010
14 years 9 months ago
2010
—It seems self-evident that life for teachers would be simplified if there existed a large corpus of relevant resources that was available for them to reuse and for inquisitive s...