1342 search results - page 231 / 269 » MEMS Design And Verification |
102
click to vote
GECCO
2006
Springer
15 years 1 months ago
2006
Springer
The impact of learning on evolution in dynamic environments undergoes recognized stages of the Baldwin Effect although its cause is not clear. To identify it experimentally, we de...
121
click to vote
ATS
2001
IEEE
15 years 1 months ago
2001
IEEE
Testing and diagnosis are important issues in system-onchip (SOC) development, as more and more embedded cores are being integrated into the chips. In this paper we propose a buil...
CLUSTER
2001
IEEE
15 years 1 months ago
2001
IEEE
This paper describes GulfStream, a scalable distributed software system designed to address the problem of managing the network topology in a multi-domain server farm. In particul...
EUROCRYPT
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. When designing password-authenticated key exchange protocols (as opposed to key exchange protocols authenticated using cryptographically secure keys), one must not allow ...
CAV
1997
Springer
15 years 1 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...