1585 search results - page 71 / 317 » A framework for computer-aided validation |
109
click to vote
IJAHUC
2011
14 years 3 months ago
2011
: We propose and investigate the Internet Protocol version 6 (IPv6) enabled mobility framework to improve the user mobility experience in heterogenous wireless networks. The framew...
DAC
2008
ACM
16 years 26 days ago
2008
ACM
Since process and environmental variations can no longer be ignored in high-performance microprocessor designs, it is necessary to develop techniques for computing the sensitiviti...
116
click to vote
ICCAD
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper introduces a CAD framework for co-simulation of hybrid circuits containing CMOS and SET (Single Electron Transistor) devices. An improved analytical model for SET is al...
ICMCS
2007
IEEE
15 years 6 months ago
2007
IEEE
Contextual information is important for sequence modeling. Hidden Markov Models (HMMs) and extensions, which have been widely used for sequence modeling, make simplifying, often u...
114
click to vote
SEUS
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper we present a distributed Hardware-in-the-Loop (HiL) simulation approach that supports the verification and validation activities in an integrated architecture as rec...