3889 search results - page 715 / 778 » The Use of Program Dependence Graphs in Software Engineering |
156
Voted
CSCW
2011
ACM
14 years 10 months ago
2011
ACM
Computer users rely on software tools to work effectively and efficiently, but it is difficult for users to be aware of all the tools that might be useful to them. While there a...
166
click to vote
PAM
2012
Springer
13 years 11 months ago
2012
Springer
Recent efforts in software-defined networks, such as OpenFlow, give unprecedented access into the forwarding plane of networking equipment. When building a network based on OpenFl...
134
click to vote
ISPASS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— This work concerns metrics for evaluating microarchitectural enhancements to improve processor lifetime reliability. A commonly reported reliability metric is mean time...
111
Voted
VMCAI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
143
click to vote
ISPASS
2005
IEEE
15 years 9 months ago
2005
IEEE
A wide spectrum of e-commerce (B2B/B2C), banking, financial trading and other business applications require the exchange of data to be highly secure. The Secure Sockets Layer (SSL...