4542 search results - page 889 / 909 » Design patterns for data structures |
171
Voted
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
158
Voted
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Core-cell stability represents the ability of the core-cell to keep the stored data. With the rapid development of semiconductor memories, their test is becoming a major concern...
193
Voted
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
179
Voted
INFOCOM
2008
IEEE
16 years 23 days ago
2008
IEEE
—Evaluation of network security is an essential step in securing any network. This evaluation can help security professionals in making optimal decisions about how to design secu...
177
Voted
CCS
2007
ACM
16 years 16 days ago
2007
ACM
An alarming trend in malware attacks is that they are armed with stealthy techniques to detect, evade, and subvert malware detection facilities of the victim. On the defensive sid...