225 search results - page 23 / 45 » Model Based Test Generation for Microprocessor Architecture ... |
FGR
2006
IEEE
13 years 11 months ago
2006
IEEE
In this paper, we present our newly developed face expression modeling system for expression analysis and identification. Given a face image at a front view, a realistic facial mo...
ITP
2010
13 years 11 months ago
2010
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...
VLSID
2007
IEEE
14 years 8 months ago
2007
IEEE
Accurate electrical masking modeling represents a significant challenge in soft error rate analysis for combinational logic circuits. In this paper, we use table lookup MOSFET mode...
JPDC
2010
13 years 6 months ago
2010
Non-uniform memory architectures with cache coherence (ccNUMA) are becoming increasingly common, not just for large-scale high performance platforms but also in the context of mul...
FORTE
2004
13 years 9 months ago
2004
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...