1356 search results - page 190 / 272 » The ideal of verified software |
134
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
Complex embedded systems consist of hardware and software components from different domains, such as control and signal processing, many of them supplied by different IP vendors. ...
173
click to vote
ISCC
2002
IEEE
15 years 11 months ago
2002
IEEE
We believe that existing wire solutions such as HomePNA2.0 and HomePlug and wireless solution such as HomeRF are the most promising solutions, because of its cost-effectiveness. H...
141
click to vote
LCPC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Many parallel programs are written in a single-program, multipledata (SPMD) style, in which synchronization is provided using collective operations that all threads execu...
173
click to vote
UML
2001
Springer
15 years 10 months ago
2001
Springer
Software developers spend most of their time modifying and maintaining existing products. This is because systems, and consequently their design, are in perpetual evolution before ...
184
click to vote
ISSRE
2000
IEEE
15 years 10 months ago
2000
IEEE
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...