4469 search results - page 345 / 894 » Dynamic Program Slicing |
170
click to vote
PPOPP
2011
ACM
14 years 5 months ago
2011
ACM
In recent years, GPUs have emerged as an extremely cost-effective means for achieving high performance. Many application developers, including those with no prior parallel program...
123
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
152
click to vote
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
Writes via unchecked pointer dereferences rank high among vulnerabilities most often exploited by malicious code. The most common attacks use an unchecked string copy to cause a b...
124
click to vote
LPAR
2001
Springer
15 years 7 months ago
2001
Springer
When it comes to building robot controllers, highlevel programming arises as a feasible alternative to planning. The task then is to verify a high-level program by finding a lega...
138
Voted
FASE
2006
Springer
15 years 6 months ago
2006
Springer
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...