518 search results - page 56 / 104 » Specification, Implementation, and Validation of Object-Orie... |
MBEES
2010
14 years 8 months ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...
DAC
2009
ACM
15 years 4 months ago
2009
ACM
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
105
click to vote
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
108
click to vote
WSTFEUS
2003
IEEE
15 years 3 months ago
2003
IEEE
SCA (Software Communication Architecture), which has been adopted as a SDR (Software Defined Radio) Forum standard, provides a framework that successfully exploits common design p...
ERSA
2006
14 years 11 months ago
2006
This paper deals with the question of task communication and configuration dynamic management in the context of hardware and software implementations. Our approach is based on a c...