1080 search results - page 46 / 216 » Improving Software Inspections by Using Reading Techniques |
TCAD
2008
14 years 9 months ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
117
click to vote
ICST
2009
IEEE
14 years 7 months ago
2009
IEEE
Penetration testing is widely used to help ensure the security of web applications. It discovers vulnerabilities by simulating attacks from malicious users on a target application...
128
click to vote
HPDC
2012
IEEE
13 years 15 hour ago
2012
IEEE
Consider a multithreaded parallel application running inside a multicore virtual machine context that is itself hosted on a multi-socket multicore physical machine. How should the...
VAMOS
2007
Springer
15 years 3 months ago
2007
Springer
Using a product line approach allows companies realize significant improvements in time-to-market, cost, productivity, and quality. One fundamental problem in software product lin...
103
click to vote
CODES
2009
IEEE
15 years 4 months ago
2009
IEEE
Since flash memory has many attractive characteristics such as high performance, non-volatility, low power consumption and shock resistance, it has been widely used as storage med...