1890 search results - page 297 / 378 » A component model for building systems software |
119
click to vote
TVLSI
2008
14 years 10 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
SEFM
2005
IEEE
15 years 4 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
100
click to vote
STEP
2003
IEEE
15 years 4 months ago
2003
IEEE
With the rapid changes that occur in the area of Web technologies, the porting and adaptation of existing Web applications into new platforms that take advantage of modern technol...
CP
2008
Springer
15 years 14 days ago
2008
Springer
The Cell BE processor provides both scalable computation power and flexibility, and it is already being adopted for many computational intensive applications like aerospace, defens...
SIGSOFT
2004
ACM
15 years 11 months ago
2004
ACM
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...