399 search results - page 30 / 80 » Verification of System Level Model Transformations |
108
click to vote
DAC
1999
ACM
15 years 6 months ago
1999
ACM
We present our practical experience in the modeling and integration of cycle/phase-accurate instruction set architecture (ISA) models of digital signal processors (DSPs) with othe...
112
click to vote
ISCAS
2005
IEEE
15 years 8 months ago
2005
IEEE
—Systems on chip are more and more heterogeneous and include software, analog/RF and digital hardware, and non-electronic components such as sensors or actuators. The design and ...
158
Voted
CIBSE
2008
ACM
15 years 4 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
116
click to vote
PAMI
2002
15 years 2 months ago
2002
A modular system to recognize handwritten numerical strings is proposed. It uses a segmentation-based recognition approach and a Recognition and Verification strategy. The approach...
129
click to vote
CSMR
2006
IEEE
15 years 8 months ago
2006
IEEE
Software-intensive systems evolve continuously under the pressure of new and changing requirements, generally leading to an increase in overall system complexity. In this respect,...