3507 search results - page 407 / 702 » Slicing for architectural analysis |
202
click to vote
MTV
2005
IEEE
16 years 1 months ago
2005
IEEE
Our mutation based validation paradigm (MVP) is a validation environment for high-level microprocessor implementations. To be able to efficiently identify and analyze the architec...
211
Voted
RTCSA
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper describes a context information acquisition framework for a personal device that equips a variety of sensors. The framework captures context information about a user an...
202
click to vote
EPIA
2005
Springer
16 years 29 days ago
2005
Springer
We propose a methodology to monitor the quality of the meta-data used to describe content in web portals. It is based on the analysis of the meta-data using statistics, visualizati...
173
click to vote
KES
2005
Springer
16 years 28 days ago
2005
Springer
Current techniques for automated composition use a single algorithm, focusing on one aspect of musical generation. In our system we make use of several algorithms, distributed usin...
165
click to vote
ASPDAC
2004
ACM
16 years 26 days ago
2004
ACM
- A new analytical model for high-frequency noise in RF active CMOS mixers such as single-balanced and double-balanced architectures is presented. The analysis includes the contrib...