402 search results - page 7 / 81 » Automatic Abstraction for Worst-Case Analysis of Discrete Sy... |
DAC
2005
ACM
14 years 8 months ago
2005
ACM
Existing Full-wave Model Order Reduction (FMOR) approaches are based on Expanded Taylor Series Approximations (ETAS) of the oscillatory full-wave system matrix. The accuracy of su...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— In this paper, we have investigated the maximumlikelihood (ML) receivers for the fast frequency-hopped binary frequency-shift-keying (FFH/BFSK) spread-spectrum communic...
APLAS
2005
ACM
14 years 1 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
CSUR
1999
13 years 7 months ago
1999
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
GECON
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. In distributed computer networks where resources are under decentralized control, selfish users will generally not work towards one common goal, such as maximizing the o...