5228 search results - page 973 / 1046 » Case Studies for Software Engineers |
120
click to vote
TAP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
120
click to vote
ASPDAC
2009
ACM
15 years 8 months ago
2009
ACM
— Multiprocessors on a chip are the reality of these days. Semiconductor industry has recognized this approach as the most efficient in order to exploit chip resources, but the ...
112
click to vote
ACSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
Users commonly download, patch, and use applications such as email clients, office applications, and media-players from the Internet. Such applications are run with the user’s ...
109
click to vote
DSD
2008
IEEE
15 years 7 months ago
2008
IEEE
Effective mapping of multimedia applications on massively parallel embedded systems is a challenging demand in the domain of compiler design. The software implementations of emerg...
117
click to vote
HICSS
2008
IEEE
15 years 7 months ago
2008
IEEE
Defining requirements is one of the most critical activities in the development of software intensive systems. The EasyWinWin system has been very good in capturing initial requir...