1755 search results - page 192 / 351 » An efficient simulation algorithm based on abstract interpre... |
152
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract--Physical transceiver implementations for multipleinput multiple-output (MIMO) wireless communication systems suffer from transmit-RF (Tx-RF) impairments. In this paper, w...
178
click to vote
JSAC
2006
15 years 6 months ago
2006
High-speed packet content inspection and filtering devices rely on a fast multi-pattern matching algorithm which is used to detect predefined keywords or signatures in the packets....
180
click to vote
EUC
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents real-time scheduling techniques for reducing the response time of aperiodic tasks scheduled with real-time periodic tasks on multiprocessor systems. Two proble...
185
click to vote
IFIP
2001
Springer
15 years 11 months ago
2001
Springer
: One of the most important problems in SOC platforms design is that of defining strategies for tuning the parameters of a parameterized system so as to obtain the Pareto-optimal s...
168
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...