4799 search results - page 301 / 960 » Model Based Requirements Engineering for Embedded Software |
211
click to vote
RE
2008
Springer
15 years 6 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
156
click to vote
HIPEAC
2009
Springer
16 years 1 months ago
2009
Springer
In previous work the 3D-Wave parallelization strategy was proposed to increase the parallel scalability of H.264 video decoding. This strategy is based on the observation that inte...
188
click to vote
ICCD
2003
IEEE
16 years 3 months ago
2003
IEEE
With the circuit density available in today’s ASIC design systems, increased integration is possible creating more complexity in the design of a System on a Chip (SoC). IBM’s ...
195
click to vote
EDCC
2008
Springer
15 years 8 months ago
2008
Springer
This work addresses the problem of software fault diagnosis in complex safety critical software systems. The transient manifestations of software faults represent a challenging is...
183
click to vote
ENTCS
2008
15 years 6 months ago
2008
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...