358 search results - page 16 / 72 » A Verification Methodology for Model Fields |
FMCAD
2004
Springer
15 years 1 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...
TSMC
2011
14 years 4 months ago
2011
—Developmental robotics is also known as epigenetic robotics. We propose in this paper that there is one substantial difference between developmental robotics and epigenetic robo...
TCAD
2008
14 years 9 months ago
2008
The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources. Hence, ...
82
Voted
SG
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. In the field of the architectural heritage, the representation of artefacts, particularly for communication purposes, has benefited from the development of computer-based...
AH
2008
Springer
15 years 3 months ago
2008
Springer
The Generic Adaptation Framework research project aims to develop a new reference model for the adaptive hypermedia research field. The new model will consider new developments, t...