399 search results - page 30 / 80 » Verification of System Level Model Transformations |
132
click to vote
DAC
1999
ACM
15 years 9 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...
133
click to vote
ISCAS
2005
IEEE
15 years 10 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 ...
185
click to vote
CIBSE
2008
ACM
15 years 7 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...
148
click to vote
PAMI
2002
15 years 4 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...
151
Voted
CSMR
2006
IEEE
15 years 11 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,...