1518 search results - page 198 / 304 » Rapid Embedded Hardware Software System Generation |
149
click to vote
ECMDAFA
2009
Springer
15 years 1 months ago
2009
Springer
Technological and business changes influence the evolution of software systems. When this happens, the software artifacts may need to be adapted to the changes. This need is rapidl...
143
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
Simulation of transaction level models (TLMs) is an established embedded systems design technique. Its use cases include virtual prototyping for early software development, platfo...
118
click to vote
EWSPT
2001
Springer
15 years 8 months ago
2001
Springer
The emerging field of mobile computing (MC) studies systems in which computational components may change locations. In terms of hardware, mobile work is usually across heterogene...
120
click to vote
CODES
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
149
click to vote
DAGM
2006
Springer
15 years 6 months ago
2006
Springer
In the last twenty years many approaches for contact-free measurement techniques for object surfaces and approaches for 3d object reconstruction have been proposed; but often they ...