6197 search results - page 406 / 1240 » Sandbridge Software Tools |
155
click to vote
VLSID
2008
IEEE
16 years 7 months ago
2008
IEEE
With increasing adoption of Electronic System Level (ESL) tools, effective design and validation time has reduced to a considerable extent. Cosimulation is found to be a principal...
157
click to vote
CSMR
2009
IEEE
16 years 1 months ago
2009
IEEE
It is important to focus on security aspects during the development cycle to deliver reliable software. However, locating security faults in complex systems is difficult and ther...
171
click to vote
ISEUD
2009
Springer
16 years 1 months ago
2009
Springer
The paper is a case study of customer-initiated software product development. We have observed and participated in system development activities in a commercial software house (com...
179
click to vote
TAICPART
2006
IEEE
16 years 25 days ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
160
click to vote
ERLANG
2006
ACM
16 years 24 days ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...