3820 search results - page 395 / 764 » Bounded Model Debugging |
148
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract-- This paper concerns the multiple access performance of spreading codes used in the downlink of multicarrier code-division multiple-access (MC-CDMA). Complex-valued sprea...
138
click to vote
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
145
click to vote
VISUALIZATION
1995
IEEE
15 years 8 months ago
1995
IEEE
We propose a new approach to the automatic generation of triangular irregular networks from dense terrain models. We have developed and implemented an algorithm based on the greed...
144
click to vote
ASIACRYPT
2008
Springer
15 years 6 months ago
2008
Springer
Every public-key encryption scheme has to incorporate a certain amount of randomness into its ciphertexts to provide semantic security against chosen ciphertext attacks (IND-CCA). ...
142
click to vote
COMPGEOM
2005
ACM
15 years 6 months ago
2005
ACM
An open question in Exact Geometric Computation is whether there are transcendental computations that can be made “geometrically exact”. Perhaps the simplest such problem in c...