3256 search results - page 432 / 652 » Applications of Formal Methods to System Design and Verifica... |
211
click to vote
ANCS
2010
ACM
15 years 3 months ago
2010
ACM
As we move forward towards the next generation of wireless protocols, the push for a better radio physical layer is ever increasing. Conventional radio architectures are limited t...
174
Voted
HYBRID
2001
Springer
15 years 10 months ago
2001
Springer
It has been observed that there are a variety of situations in which the most popular hybrid simulation methods can fail to properly detect the occurrence of discrete events. In th...
315
click to vote
EUROPKI
2009
Springer
15 years 3 months ago
2009
Springer
Efficient zero-knowledge proofs of knowledge (ZK-PoK) are basic building blocks of many cryptographic applications such as identification schemes, group signatures, and secure mult...
145
click to vote
DAC
2006
ACM
16 years 6 months ago
2006
ACM
For statistical timing and power analysis that are very important problems in the sub-100nm technologies, stochastic analysis of power grids that characterizes the voltage fluctua...
146
click to vote
ATAL
1999
Springer
15 years 9 months ago
1999
Springer
We propose a methodology that can be used to compare and evaluate Artificial Intelligence architectures and is motivated by fundamental properties required by general intelligent ...